First-orderized researchcyc : Expressivity and efficiency in a common-sense ontology

AAAI Workshop - Technical Report

Volumn WS-05-01, Issue , 2005, Pages 33-40

  Ramachandran, Deepak ^a   Reagan, Pace ^b   Goolsbey, Keith ^b  

^a University of Illinois at Urbana Champaign   (United States)

^b CYCORP INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON-SENSE KNOWLEDGE; CONTEXT SYSTEMS; CYC ONTOLOGY;

FORMAL LANGUAGES; LOGIC PROGRAMMING; NATURAL LANGUAGE PROCESSING SYSTEMS;

KNOWLEDGE BASED SYSTEMS;

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

References (12)

1. Boolos, G. 1984. To be is to be the value of a variable (or to be some values of some variables). Journal of Philosophy 81:430-449.
2. Buvac, S. 1996. Quantificational logic of context. In Proceedings of the Thirteenth National Conference on Artificial Intelligence.
3. Giunchiglia, F. 1993. Contextual reasoning. Epistemologia XVI:345-364.
4. Lenat, D., and Guha, R. 1990. Building Large Knowledge Based Systems. Reading, Mass.: Addison Wesley.
5. McCarthy, J. 1986. Notes on formalizing contexts. In Kehler, T., and Rosenschein, S., eds., Proceedings of the Fifth National Conference on Artificial Intelligence, 555-560. Los Altos, California: Morgan Kaufmann.
6. Niles, I., and Pease, A. 2001. Towards a standard upper ontology. In Welty, C., and Smith, B., eds., Proceedings of the 2nd International Conference on Formal Ontology in Information Systems(FOIS-2001).
7. Pelletier, F.; Sutcliffe, G.; and Suttner, C. 2002. The Development of CASC. AI Communications 15(2-3):79-90.
8. Reif, W., and Schellhorn, G. 1997. Theorem proving in large theories. In Bonacina, M. P., and Furbach, U., eds., Int. Workshop on First-Order Theorem Proving, FTP'97, 119-124. Johannes Kepler Universität, Linz (Austria).
9. Riazanov, A. 2003. Implementing an Efficient Theorem Prover. Ph.D. Dissertation, University of Manchester.
10. Schulz, S. 2002. E - a brainiac theorem prover. Journal of AI Communications 15(2):111-126.
11. Sutcliffe, G., and Suttner, C. 1998. The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning 21(2):177-203.
12. Weidenbach, C. 1999. Handbook of Automated Reasoning. Elsevier. chapter SPASS: Combining superposition, Sorts and Splitting.