Keywords: Workshop Presentations
2016
[65]Axiomatizing Category Theory in Free Logic (Christoph Benzmüller), Deduktionstreffen 2016, 2016. (September)
[64]Hands-on Higher-order Modal Logics in Isabelle/HOL (Christoph Benzmüller), UITP 2016, Coimbra, Portugal, 2016. (July)
[63]TPTP and Beyond: Representation of Quantified Non-Classical Logics (Christoph Benzmüller), ARQNL 2016, Coimbra, Portugal, 2016. (July)
2014
[62](Invited keynote) On Logic Embeddings and Gödel's God (Christoph Benzmüller), 21. Jahrestagung der GI-Fachgruppe `Logik in der Informatik', University of Kassel, Germany, 2014. (slides)
[61]HOL based First-order Modal Logic Provers (Christoph Benzmüller), ARQNL Workshop at VSL'2014, Vienna, Austria, 2014. (slides)
[60](Invited) Gödel's God on the Computer (Christoph Benzmüller), IT University Copenhagen, Denmark, 2014.
[59](Invited) Gödel's God on the Computer (Christoph Benzmüller), Informatikkolloquium, The University of Innsbruck, Austria, 2014.
2013
[58]Cut-free calculi for challenge logics in a lazy way (Christoph Benzmüller), International Workshop on Algebraic Logic in Computer Science (ALCS 2013), Stellenbosch, South Africa, 2013. (slides)
[57](Invited keynote) Gödel's God on the Computer (Christoph Benzmüller), The 10th International Workshop on the Implementation of Logics (IWIL 2013), Stellenbosch, South Africa, 2013. (slides)
[56]Automating Quantified Conditional Logics is (relatively) Easy (Christoph Benzmüller), Deduktionstreffen 2013, Koblenz, Germany, 2013. (slides)
[55]Automated Consistency Checking of Expressive Ontologies --- Beware of the Wrong Interpretation of Success! (Christoph Benzmüller), The 5th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE-LogIC 2013), Corunna, Spain, 2013. (slides)
[54]LEO-II version 1.5 (Christoph Benzmüller), Third International Workshop on Proof Exchange for Theorem Proving (PxTP 2013), Lake Placid, NY, USA, 2013. (slides)
2010
[53]Progress in Automating Higher-Order Ontology Reasoning (Christoph Benzmüller), Workshop on Practical Aspects of Automated Reasoning (PAAR-2010), Edinburgh, UK, 2010. (slides)
[52]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)
[51]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)
[50]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)
[49]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)
[48](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)
2008
[47]Some Results of the LEO-II Project (Christoph Benzmüller), CIAO Workshop, TU Darmstadt, Germany, 2008.
[46]Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller), Deduktionstreffen, Saarbrücken, Germany, 2008.
[45]LEO-II Demo (Christoph Benzmüller), ESHOL Workshop at the 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, 2008. (slides)
2007
[44]The LEO-II Project (Christoph Benzmüller), Omega-Ultra-Texmacs Mini Workshop, Saarbrücken, Germany, 2007.
[43]The LEO-II Project (Christoph Benzmüller), Deduktionstreffen, Koblenz, Germany, 2007.
[42]The LEO-II Project (Christoph Benzmüller), Automated Reasoning Workshop, London, UK, 2007.
[41]Progress Report on LEO-II: An Automatic Theorem Prover for Higher-Order Logic (Christoph Benzmüller), TPHOLs, Kaiserslautern, Germany, 2007. (slides)
2006
[40]Underspecification in Math-DIALOG (Christoph Benzmüller), C-Tag, SFB 378, Saarland University, Germany, 2006. (slides)
[39]Term Indexing for the LEO-II Prover (Christoph Benzmüller), IWIL-6 workshop at LPAR 2006: The 6th International Workshop on the Implementation of Logics, Pnom Penh, Cambodia, 2006. (slides)
2005
[38]New Directions in the OMEGA Project (Christoph Benzmüller), CIAO'05 Workshop, Nottingham, UK, 2005. (slides)
[37]Designing a Proof GUI for non-Experts: Evaluation of an Experiment (Christoph Benzmüller), UITP'05 Workshop (ETAPS Satellite Workshop), Edinburgh, Scotland, 2005. (slides)
[36]New Directions in the OMEGA Project (Christoph Benzmüller), First Saarbrücken-Nancy Workshop on Higher-order Logic and Hybrid Logics, 2005.
[35]Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs (Christoph Benzmüller), Theorema-Ultra-Omega-Workshop, Saarbrücken, Germany, 2005. (slides)
[34]Combining Proofs of Higher-Order and First-Order Automated Theorem Provers (Christoph Benzmüller), LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), Montego Bay, Jamaica, 2005.
[33]System Description: LEO --- A Resolution based Higher-Order Theorem Prover (Christoph Benzmüller), LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), Montego Bay, Jamaica, 2005.
[32](Invited) Three Approaches for Guiding the Cooperation of Mathematical Reasoning Systems: Proof Planning, Agent-based Reasoning, and Autometad Composition of Reasoning Web Service (Christoph Benzmüller), QSL Theme day: Integration of deductive tools. Nancy, France, 2005. (slides)
2004
[31]Semantics and Automation of Higher-Order Logic, (Christoph Benzmüller), Workshop on Logic, Proofs, and Programs, Nancy, France, 2004. (slides)
[30]CALCULEMUS Quo Vadis? (Christoph Benzmüller), Special Session at the IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development together with J. Siekmann, J. Calmet, and W. Windsteiger, Cork, Ireland, 2004.
[29]DIALOG: Natural Language-based Interaction with a Mathematical Assistance System (Christoph Benzmüller), Deduktionstreffen, Saarbrücken, Germany, 2004. (slides)
[28]OMEGA and DIALOG (Christoph Benzmüller), Workshop on Logic, Proofs, and Programs, Saarbrücken, Germany, 2004.
2003
[27]OMEGA (Christoph Benzmüller), Meeting in camera of the Special Research Centre SFB 378, Dagstuhl, Germany, 2003. (slides)
[26]The CALCULEMUS Research Training Network --- A short Overview (Christoph Benzmüller), First QPQ Workshop on Deductive Software (QPQ'03), CADE-19, Miami, Florida, USA, 2003. (slides)
[25]Tutorial Dialogs on Mathematical Proofs (Christoph Benzmüller), IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, Mexico, 2003. (slides)
[24]A New Framework for Reasoning Agents (Christoph Benzmüller), IJCAI-03 Workshop on Agents and Automated Reasoning, Acapulco, Mexico, 2003. (slides)
[23]Bemerkungen zur Semantik und Mechanisierung von Logik hoeherer Stufe (Christoph Benzmüller), Deduktionstreffen, Augsburg, Germany, 2003. (slides)
[22]CALCULEMUS - Systems for Integrated Deduction and Computation (Christoph Benzmüller), Mathematics on the Semantic Web, Eindhoven, The Netherlands, 2003. (slides)
[21]Proof Development with OMEGA --- Square root of 2 is Irrational (Christoph Benzmüller), Theorema-Omega'03 Workshop, Schloss Hagenberg, Austria, 2003. (slides)
2002
[20]Tutorial Dialog with a Mathematical Assistant System (Christoph Benzmüller), Computer Science Department, The University of Birmingham, UK, 2002. (slides)
[19]Reasoning Services in the MathWeb-SB for Symbolic Verification of Hybrid Systems (Christoph Benzmüller), VERIFY'02 Workshop at FLOC 2002, Copenhagen, Denmark, 2002.
2001
[18](Invited) Panel member of the IJCAR 2001 Workshop Future Directions in Automated Reasoning --- Problems and Ideas for a New Millennium (Christoph Benzmüller), IJCAR 2001, Siena, Italy, 2001.
[17]Agent-oriented theorem proving and proof planning in OMEGA (Christoph Benzmüller), C++ days of SFB 378 Resource adaptive cognitive processes, Mertesdorf, Germany, 2001.
[16]An Agent-oriented approach to reasoning (Christoph Benzmüller), CALCULEMUS Workshop 2001, Siena, Italy, 2001.
[15]Distributed Assertion Retrieval (Christoph Benzmüller), First International Workshop on Mathematical Knowledge Management RISC-Linz, Schloss Hagenberg, Austria, 2001. (slides)
2000
[14]Proof Planning based on a Multi Agent Architecture?">Proof Planning based on a Multi Agent Architecture? (Christoph Benzmüller), 9th CLAM - INKA - OMRS Workshop (CIAO), Schloss Dagstuhl, Germany, 2000.
[13]Resource Guided Concurrent Deduction (Christoph Benzmüller), Short talk and poster presentation at Automated Reasoning Workshop 2000, King's College, London, UK, 2000.
[12]Towards agent based proof planning (Christoph Benzmüller), Deduktionstreffen, Saarland University, Saarbrücken, Germany, 2000.
[11]Eine übersicht zur AG Siekmann (Christoph Benzmüller), Deduktionstreffen, Saarland University, Saarbrücken, Germany, 2000.
[10]Agent based proof planning with O-ANTS (Christoph Benzmüller), Systemdemonstration at the Deduktionstreffen, Saarland University, Saarbrücken, Germany, 2000. (slides)
1999
[9]Towards Fine-Grained Proof Planning with Critical Agents (poster) (Christoph Benzmüller), AISB, 1999. (poster)
[8]Agent based Proof Planning (poster) (Christoph Benzmüller), Poster at the 6th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice; in conjunction with AISB'99 Convention, Edinburgh, Scotland, 1999.
[7]Agent Based Mathematical Reasoning (Christoph Benzmüller), CALCULEMUS Workshop, Trento, Italy, 1999. (slides)
1998
[6]Integrating TPS with OMEGA (Christoph Benzmüller), Workshop Inference Mechanisms in Knowledge-Based Systems: Theory and Applications, KI'98, Bremen, Germany, 1998.
[5]System Demonstration: Integrating TPS with OMEGA (Christoph Benzmüller), Workshop Inference Mechanisms in Knowledge-Based Systems: Theory and Applications, KI'98, Bremen, Germany, 1998.
[4]System Demonstration: OMEGA --- a Mathematical Assistant (Christoph Benzmüller), Deduktionstreffen, Munich, Germany, 1998.
1997
[3]Extensionale Resolution höherer Stufe (Christoph Benzmüller), Deduktionstreffen, Schloss Dagstuhl, Germany, 1997.
1995
[2]HO-Differenzreduzierung (Christoph Benzmüller), Oberseminar AG Siekmann, Saarland University, Saarbrücken, Germany, 1995.
[1]Towards Higher-Order Theorem Proving with equality (Christoph Benzmüller), Deduktionstreffen, Saarland University, Saarbrücken, Germany, 1995. (slides)
Powered by bibtexbrowser