Sciweavers

567 search results - page 35 / 114
» Play the Language: Play Coreference
Sort
View
TABLEAUX
1998
Springer
15 years 8 months ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer
LREC
2010
420views Education» more  LREC 2010»
15 years 5 months ago
Towards a Motivated Annotation Schema of Collocation Errors in Learner Corpora
Collocations play a significant role in second language acquisition. In order to be able to offer efficient support to learners, an NLP-based CALL environment for learning colloca...
Margarita Alonso Ramos, Leo Wanner, Orsolya Vincze...
LREC
2008
108views Education» more  LREC 2008»
15 years 5 months ago
Exploiting Lexical Resources for Disambiguating CJK and Arabic Orthographic Variants
The orthographical complexities of Chinese, Japanese, Korean (CJK) and Arabic pose a special challenge to developers of NLP applications. These difficulties are exacerbated by the...
Jack Halpern
IJCAI
2001
15 years 5 months ago
Ontology Reasoning in the SHOQ(D) Description Logic
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
Ian Horrocks, Ulrike Sattler
BSL
2006
73views more  BSL 2006»
15 years 4 months ago
Nonstandard arithmetic and reverse mathematics
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard ari...
H. Jerome Keisler