Progress towards effective automated reasoning with world knowledge

Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23

Volumn , Issue , 2010, Pages 110-115

  Sutcliffe, Geoff ^a   Teyssandier, Alexandra ^a   Dellis, Nelson ^a   Suda, Martin ^b   De Melo, Gerard ^c  

^a UNIVERSITY OF MIAMI   (United States)

^b CHARLES UNIVERSITY   (Czech Republic)

^c MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; EXTERNAL SOURCES; GROWING DEMAND; REASONING PROCESS; TEST PROBLEM; WORLD KNOWLEDGE;

AUTOMATION; PROBLEM SOLVING;

AUTOMATA THEORY;

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

References (12)

1. Bauer, A., and Clarke, E. 1998. Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. Journal of Automated Reasoning 21(3): 295-325. (Pubitemid 128512809)
2. Fuchs, N.; Kaljurand, K.; and Kuhn, T. 2008. Attempto Controlled English for Knowledge Representation. In Proceedings of Reasoning Web: 4th International Summer School, number 5224 in LNCS, 104-124.
3. Lenat, D. 1995. CYC: a Large-scale Investment in Knowledge Infrastructure. Communications of the ACM 38(11): 33-38.
4. Niles, I., and Pease, A. 2001. Towards A Standard Upper Ontology. In Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2-9.
5. Suchánek, F.; Kasneci, G.; and Weikum, G. 2007. YAGO: A Core of Semantic Knowledge. In Proceedings of the 16th international World Wide Web Conference, 697-706.
6. Suda, M., et al. 2009. External Sources of Axioms in Automated Theorem Proving. In Proceedings of the 32nd Annual Conference on Artificial Intelligence, number 5803 in LNAI, 281-288.
7. Sutcliffe, G., et al. 2006. Using the TPTP Language for Writing Derivations and Finite Interpretations. In Proceedings of the 3rd International Joint Conference on Automated Reasoning, number 4130 in LNAI, 67-81. (Pubitemid 44532663)
8. Sutcliffe, G. 2008. The SZS Ontologies for Automated Reasoning Software. In Proceedings of the 7th International Workshop on the Implementation of Logics, number 418 in CEUR, 38-49.
9. Sutcliffe, G. 2009. The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. AI Communications 22(1): 59-72.
10. Urban, J., et al. 2008. MaLARea SG1: Machine Learner for Automated Reasoning with Semantic Guidance. In Proceedings of the 4th International Joint Conference on Automated Reasoning, number 5195 in LNAI, 441-456.
11. Weidenbach, C., et al. 2009. SPASS Version 3.5. In Proceedings of the 22nd International Conference on Automated Deduction, number 5663 in LNAI, 140-145.
12. Weidenbach, C. 2001. Combining Superposition, Sorts and Splitting. In Handbook of Automated Reasoning. Elsevier Science. 1965-2011.