Evaluation of EPILOG: A reasoner for episodic logic

Commonsense 2009 - Proceedings of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning

Volumn , Issue , 2009, Pages 103-108

  Morbini, Fabrizio ^a   Schubert, Lenhart ^a  

^a UNIVERSITY OF ROCHESTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS;

FIRST ORDER LOGIC; KNOWLEDGE BASE; LOGICAL LANGUAGE; NATURAL LANGUAGE APPLICATIONS; REASONERS; STATE OF THE ART; TPTP LIBRARY; UNIQUE FEATURES;

COMPUTER CIRCUITS;

EID: 79959760114     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Hwang, C., and Schubert, L. 1993. Episodic logic: A situational logic for natural language processing. In P. Aczel
2. D. Israel, Y. K., and Peters, S., eds., Situation Theory and its Applications, volume 3. Stanford, CA: Center for the Study of Language and Information. 303-338.
3. Morbini, F., and Schubert, L. K. 2008. Metareasoning as an integral part of commonsense and autocognitive reasoning. In Metareasoning 08, 155-162.
4. Ramachandran, D.; Reagan, P.; and Goolsbey, K. 2005. First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology.
5. Schaeffer, S.; Hwang, C.; de Haan, J.; and Schubert, L. 1993. EPILOG, the computational system for episodic logic: User's guide. Technical report, Dept. of Computing Science, Univ. of Alberta.
6. Schubert, L., and Hwang, C. 2000. Episodic Logic meets Little Red Riding Hood: A comprehensive, natural representation for language understanding. In Iwanska, L., and Shapiro, S., eds., Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language. Menlo Park, CA: MIT/AAAI Press. 111-174.
7. Schubert, L. K.; Schaeffer, S.; Hwang, C. H.; and de Haan, J. 1993. EPILOG: The Computational System for Episodic Logic. USER GUIDE.