First-order reasoning for Attempto Controlled English

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7175 LNAI, Issue , 2012, Pages 73-94

  Fuchs, Norbert E ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

ACE; Attempto Controlled English; controlled natural language; first order reasoning; RACE

Indexed keywords

ACE; ATTEMPTO CONTROLLED ENGLISH; CONTROLLED NATURAL LANGUAGE; FIRST-ORDER; RACE;

USER INTERFACES;

QUERY PROCESSING;

EID: 84863921193     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31175-8_5     Document Type: Conference Paper

References (8)

1. Manthey, R., Bry, F.: SATCHMO: A Theorem Prover Implemented in Prolog. In: Lusk, E., Overbeek, R. (eds.) CADE 1988. LNCS, vol. 310, pp. 415-434. Springer, Heidelberg (1988)
2. Bry, F., Yahya, A.: Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. Journal of Automated Reasoning 25, 35-82 (2000)
3. Basin, D., D'Agostino, M., Gabbay, D.M., Matthews, S., Viganò, L. (eds.): Labelled Deduction. Applied Logic Series, vol. 17. Springer (2000)
4. Bos, J.: Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13, 139-157 (2004)
5. Pratt-Hartmann, I., Third, A.: More fragments of language. Notre Dame Journal of Formal Logic 47(2), 151-177 (2006)
6. Mandl, M.: Zur Komplexität des Erfüllbarkeitsproblems von Sprachfragmenten, Hauptseminar Kontrollierte Sprache CIS, SS 2010. Universität München (2010)
7. Fuchs, N.E., Kaljurand, K., Kuhn, T.: Discourse Representation Structures for ACE 6.6, Technical Report ifi-2010.0010, Department of Informatics, University of Zurich (2010)
8. Schwertel, U.: Plural Semantics for Natural Language Understanding - A Computational Proof-Theoretic Approach, PhD thesis, University of Zurich (2004)