External sources of axioms in automated theorem proving

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

Volumn 5803 LNAI, Issue , 2009, Pages 281-288

  Suda, Martin ^a   Sutcliffe, Geoff ^b   Wischnewski, Patrick ^c   Lamotte Schubert, Manuel ^c   De Melo, Gerard ^c  

^a CHARLES UNIVERSITY   (Czech Republic)

^b UNIVERSITY OF MIAMI   (United States)

^c MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED THEOREM PROVING; EXTERNAL SOURCES; FIRST ORDER LOGIC; GROWING DEMAND; ON-DEMAND;

FORMAL LOGIC; POTASSIUM IODIDE; PROBLEM SOLVING;

THEOREM PROVING;

EID: 76649121166     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04617-9_36     Document Type: Conference Paper

References (5)

1. de Melo, G., Suchanek, F., Pease, A.: Integrating YAGO into the Suggested Upper Merged Ontology. In: Chung, S. (ed.) Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence, pp. 190-193 (2008)
2. Schulz, S.: E- A Brainiac Theorem Prover. AI Communications 15(2-3), 111-126 (2002)
3. Sutcliffe, G.: The SZS Ontologies for Automated Reasoning Software. In: Sutcliffe, G., Rudnicki, P. (eds.) Proceedings of the Workshop on Knowledge Exchange: Automated Provers and Proof Assistants, CEUR Workshop Proceedings, vol.418, pp. 38-49 (2008)
4. Sutcliffe, G.: The 4th IJCAR Automated Theorem Proving System Competition - CASC. AI Communications 22(1), 59-72 (2009)
5. Weidenbach, C., Fietzke, A., Kumar, R., Suda, M., Wischnewski, P., Dimova, D.: SPASS Version 3.5. In: Schmidt, R. (ed.) Proceedings of the 22nd International Conference on Automated Deduction. LNCS (LNAI), vol.5663, pp. 140-145. Springer, Heidelberg (2009)