Year: 2010
2010
[10]Simple Type Theory as Framework for Combining Logics (Christoph Benzmüller), Contest presentation at the World Congress and School on Universal Logic III (UNILOG'2010), Lisbon, Portugal, 2010. (slides)
[9]Progress in Automating Higher-Order Ontology Reasoning (Christoph Benzmüller), Workshop on Practical Aspects of Automated Reasoning (PAAR-2010), Edinburgh, UK, 2010. (slides)
[8]Combining Logics in Simple Type Theory (Christoph Benzmüller), 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon, Portugal, 2010. (slides)
[7]Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Ontology (Christoph Benzmüller), The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Lisbon, Portugal, 2010. (slides)
[6]Reasoning with Embedded Formulas and Modalities in SUMO (Christoph Benzmüller), The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Lisbon, Portugal, 2010. (slides)
[5]Sigma: An Integrated Development Environment for Logical Theory Development (Christoph Benzmüller), The ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET'2010), Lisbon, Portugal, 2010. (slides)
[4](Invited) Combining Logics in Simple Type Theory (and an Application in Ontology Reasoning) (Christoph Benzmüller), SRI International, Menlo Park, USA, 2010. (slides)
[3](Invited) Winner Presentation: LEO-II (Christoph Benzmüller), CASC-J5, Fifth International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK, 2010. (slides)
[2](Invited) Adaptive Assertion-Level Proofs (Christoph Benzmüller, Marvin Schiller), The IJCAR 2010 Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions, Edinburgh, UK, 2010. (slides)
[1](Invited) Three presentations at Dagstuhl Seminar 10412 QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, Dagstuhl, Germany, October 10-13, 2010: Reasoning within and about Combinations of Logics in Simple Type Theory (talk and system demonstration), Participant Introduction, and QSTRLib Use Case: Educational Question Answering on Spatial Configurations of Countries, States, and Cities. (Christoph Benzmüller), Dagstuhl Seminar 10412: QSTRLib, Schloss Dagstuhl, Germany, 2010.
Powered by bibtexbrowser