Year: 2010

2010 | |

[11] | Human-Oriented Proof Techniques are Relevant for Proof Tutoring , In Workshop on Mathematically Intelligent Proof Search (MIPS 2010, affiliated with CICM 2010), 2010. [bibtex] [pdf] |

[10] | Reasoning with Embedded Formulas and Modalities in SUMO , In The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10) (A. Bundy, J. Lehmann, G. Qi, I. J. Varzinczak, eds.), 2010. (slides) ((Superseded by 2012 article in Journal of Web Semantics)) [bibtex] [pdf] |

[9] | Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology , In The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10) (A. Bundy, J. Lehmann, G. Qi, I. J. Varzinczak, eds.), 2010. (slides) [bibtex] [pdf] |

[8] | Sigma: An Integrated Development Environment for Logical Theory Development , In The ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET'2010), 2010. (slides) ((Superseded by 2013 article in AI Communications)) [bibtex] [pdf] |

[7] | Combining Logics in Simple Type Theory , In Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings (Jürgen Dix, Joao Leite, Guido Governatori, Woitek Jamroga, eds.), Springer, Lecture Notes in Artifical Intelligence, volume 6245, pp. 33-48, 2010. [bibtex] [pdf] [doi] |

[6] | Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure , In Journal of Formalized Reasoning, volume 3, number 1, pp. 1-27, 2010. [bibtex] [pdf] |

[5] | Multimodal and Intuitionistic Logics in Simple Type Theory , In The Logic Journal of the IGPL, volume 18, number 6, pp. 881-892, 2010. [bibtex] [pdf] [doi] |

[4] | Simple Type Theory as Framework for Combining Logics , In Contest paper at the World Congress and School on Universal Logic III (UNILOG), 2010. (slides) (The conference had no published proceedings for the contest papers; the paper is available as arXiv:1004.5500v1) [bibtex] [pdf] |

[3] | Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners) , Chapter in Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Simon Siegler, Nathan Wasser, eds.), Springer, LNCS, volume 6463, pp. 117-128, 2010. ((Superseded by PxTP-2015 paper)) [bibtex] [pdf] [doi] |

[2] | Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs , Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 291-311, 2010. ((Final project report, DFG SFB 378)) [bibtex] [pdf] [doi] |

[1] | OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems , Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 389-423, 2010. ((Final project report, DFG SFB 378)) [bibtex] [pdf] [doi] |

Powered by bibtexbrowser