Keywords: Conference Presentations
2017
[62]Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic (Christoph Benzmüller), KI 2017 - 40th German Conference on Artificial Intelligence, 25-29 September 2017 in Dortmund, Germany, 2017.
[61]Innovative Teaching of Computational Metaphysics (Christoph Benzmüller), Session on Innovative and Effective Teaching in History of Science and Technology --- 25th International Congress of History of Science and Technology, Rio de Janeiro, Brasil, 2017. (July)
2016
[60]Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL (Christoph Benzmüller), Second Global Conference on Artificial Intelligence (GCAI), Berlin, 2016. (course material)
[59]An Object-Logic Explanation for the Inconsistency in Gödel's OntologicalTheory (Christoph Benzmüller), KI 2016 - 39th German Conference on Artificial Intelligence, 26-30 September 2016 in Klagenfurt, Austria, 2016. (slides)
[58]Axiomatising Category Theory in Isabelle/HOL (Christoph Benzmüller), Deduktionstreffen, 26 September 2016 in Klagenfurt, Austria, 2016. (slides)
[57]Einsatz von Theorembeweisern in der Lehre (Christoph Benzmüller), Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam, 2016. (slides)
[56]An Object-Logic Explanation for the Inconsistency in Gödel’s Ontological Theory (Christoph Benzmüller), 39th German Conference on Artificial Intelligence (KI), 2016. (September)
[55](Poster) The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics (Christoph Benzmüller), Intl. Congress on Mathematical Software (ICMS 2016), 2016. (poster)
[54]Automating Free Logic in Isabelle/HOL (Christoph Benzmüller), Intl. Congress on Mathematical Software (ICMS 2016), 2016. (slides, Isabelle/HOL_paper_source, Isabelle/HOL_further_experiments)
2014
[53](Invited keynote) On Logic Embeddings and Gödel's God (Christoph Benzmüller), 22nd International Workshop on Algebraic Development Techniques, Sinaia, Romania, 2014. (slides)
[52]Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers (Christoph Benzmüller), 21st European Conference on Artificial Intelligence (ECAI), Prague, Czech Republic, 2014. (slides)
[51]Gödel's Proof of God's Existence (Christoph Benzmüller, Bruno Woltzenlogel-Paleo), World Congress on the Square of Opposition VI, Vatican, 2014. (slides)
2013
[50]A Top-down Approach to Combining Logics (Christoph Benzmüller), 5th International Conference on Agents and Artificial Intelligence, Barcelona, Spain, 2013. (slides)
[49]HOL based Universal Reasoning (Christoph Benzmüller), 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, 2013. (slides)
[48]HOL based First-order Modal Logic Provers (Christoph Benzmüller), The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2013), Stellenbosch, South Africa, 2013. (slides)
[47]Automating Quantified Conditional Logics in HOL (Christoph Benzmüller), 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing, China, 2013. (poster)
2012
[46]Implementing and Evaluating Provers for First-order Modal Logics (Christoph Benzmüller, Jens Otten), European Conference on Artificial Intelligence (ECAI-2012), Montpellier, France, 2012. (slides)
2011
[45]Quantified Conditional Logics are Fragments of HOL (Christoph Benzmüller), The International Conference on Non-classical Modal and Predicate Logics Guangzhou, China, 2011. (slides, [movie])
2010
[44]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)
[43](Invited) Winner Presentation: LEO-II (Christoph Benzmüller), CASC-J5, Fifth International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK, 2010. (slides)
2009
[42]Automating Quantified Multimodal Logics in HOL --- My very first Region Connection Calculus Prover (Christoph Benzmüller), AAAI 2009 Spring Symposia, Stanford, USA, 2009.
[41]Automating Access Control Logics in Simple Type Theory with LE0-II (Christoph Benzmüller), 24th IFIP International Information Security Conference, Pafos, Cyprus, 2009. (slides)
[40]Granularity-Adaptive Proof Presentation (poster) (Marvin Schiller, Christoph Benzmüller), AIED, 2009. (poster)
2008
[39]THF0 --- The Core TPTP Language for Classical Higher-Order Logic (Christoph Benzmüller), The 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, 2008.
[38]LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Christoph Benzmüller), The 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, 2008. (slides)
[37]LEO-II, A Higher-Order Theorem Prover (poster) (Christoph Benzmüller), VSI, 2008. (poster)
2007
[36]Deep Inference for Automated Proof Tutoring (poster) (Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier), KI, 2007. (poster)
[35]LEO-II, A Higher-Order Theorem Prover (poster) (Christoph Benzmüller), TPHOLs, 2007. (poster)
2006
[34]Cut-Simulation in Impredicative Logics (Christoph Benzmüller), Third International Joint Conference on Automated Reasoning (IJCAR 2006), LNAI , Seattle, USA, 2006. (slides)
[33]Judging Granularity for Automated Mathematics Teaching (Christoph Benzmüller), Short paper at LPAR 2006: 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Pnom Penh, Cambodia, 2006. (slides)
[32](Invited) Semantics of Higher-Order Logics (Christoph Benzmüller), Invited Lecture Course at ESSLLI 2006, Malaga, Spain, 2006. (slides)
[31]Granularity Judgments in Proof Tutoring (poster) (Marvin Schiller, Christoph Benzmüller), KI, 2006. (poster)
2005
[30]Can a Higher-Order and a First-Order Theorem Prover Cooperate? (Christoph Benzmüller), LPAR'04 Conference, Montevideo, Uruguay, 2005. (slides)
[29]Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs (Christoph Benzmüller), Twentieth National Conference on Artificial Intelligence (AAAI-05), Pittsburgh, Pennsylvania, USA, 2005. (slides)
[28]DIALOG (poster) (Christoph Benzmüller, Dialog Group), Begehung SFB 378, 2005. (poster-1, poster-2, poster-3, poster-4)
2003
[27]Assertion Application in Theorem Proving and Proof Planning (poster) (Christoph Benzmüller), IJCAI-03 Poster Presentation, Acapulco, Mexico, 2003. (poster)
[26]The CALCULEMUS Research Training Network --- A short Overview (Christoph Benzmüller), CALCULEMUS Symposium 2003, Rome, Italy, 2003. (slides)
[25](Invited) OMEGA --- From Proof Planning towards Mathematical Knowledge Management (Christoph Benzmüller), MKM Symposium 2003, Edinburgh, Scotland, 2003. (slides)
2002
[24](Invited tutorial) From Natural Deduction to Sequent Calculus and back (Christoph Benzmüller), CALCULEMUS Autumn School 2002, Pisa, Italy, 2002.
[23]Agent Based Theorem Proving (poster) (Christoph Benzmüller), AISB, 2002. (poster)
[22]Agent based proof search with Indexed Formulas (Christoph Benzmüller), CALCULEMUS 2002, Marseille, France, 2002. (slides)
[21]Proof Development with OMEGA (Christoph Benzmüller), CADE-18, Copenhagen, Denmark, 2002. (slides)
[20]Proof Development with OMEGA: Sqrt(2) is irrational (Christoph Benzmüller), LPAR 2002, Tbilisi, Georgia,, 2002. (slides)
2001
[19](Invited keynote) An Agent-based Approach to Reasoning (Christoph Benzmüller), AISB'01 Convention Agents and Cognition in conjunction with 8th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of York, UK, 2001. (slides)
[18]A Lost Proof (poster) (Christoph Benzmüller, Manfred Kerber), TPHOLs, 2001. (poster)
[17]Proof Transformation and Expansion with a Parameterizable Inference Machine (poster) (Christoph Benzmüller), AISB, 2001. (poster)
[16]A lost proof (Christoph Benzmüller), TPHOLS 2001, Edinburgh, Scotland, 2001.
[15]Experiments with an Agent-oriented Reasoning System (Christoph Benzmüller), KI 2001, Wien, Austria, 2001. (slides)
2000
[14]Resource Guided Concurrent Deduction (poster) (Christoph Benzmüller), AISB, 2000. (poster)
[13]OANTS --- An open approach at combining Interactive and Automated Theorem Proving (Christoph Benzmüller), CALCULEMUS Symposium 2000, St. Andrews, Scotland, 2000. (slides)
1999
[12]Towards Fine-Grained Proof Planning with Critical Agents (poster) (Christoph Benzmüller), AISB, 1999. (poster)
[11]On Automated Higher-Theorem Proving and Henkin Completeness (Christoph Benzmüller), Forschungskolloquium der Studienstiftung des Deutschen Volkes, Berlin, Germany, 1999. (slides)
[10]Extensional Higher-Order Paramodulation and RUE-Resolution (Christoph Benzmüller), 16th Conference on Automated Deduction, Trento, Italy, 1999. (slides)
[9]Critical Agents Supporting Interactive Theorem Proving (Christoph Benzmüller), 9th Portuguese Conference on Artificial Intelligence, Evora, Portugal, 1999. (slides)
1998
[8]LEO -- A Higher Order Theorem Prover (Christoph Benzmüller), CADE, 1998. (poster)
[7]LEO --- A Higher-Order Theorem Prover (Christoph Benzmüller), The 15th International Conference on Automated Deduction, Lindau, Germany, 1998.
[6]System Demonstration: LEO --- A Higher-Order Theorem Prover (Christoph Benzmüller), The 15th International Conference on Automated Deduction, Lindau, Germany, 1998.
[5]Constraint Solving in Logig Programming and Automated Theorem Proving: a comparison (Christoph Benzmüller), 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), Sozopol, Bulgaria, 1998.
[4]System Demonstration: OMEGA --- a Mathematical Assistant (Christoph Benzmüller), 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'98), Sozopol, Bulgaria, 1998.
[3]System Demonstration: OMEGA --- a Mathematical Assistant (Christoph Benzmüller), Informatikforum '98 (Max-Planck-Institut für Informatik, Deutsches Forschungszentrum für Künstliche Intelligenz und Fachbereich Informatik der Uni des Saarlandes) Saarbrücken, Germany, 1998.
1997
[2]Extensionale Resolution höherer Stufe (Christoph Benzmüller), Forschungskolloquium der Studienstiftung des Deutschen Volkes, Kochl am See, Germany, 1997.
1996
[1]Ein kategorieller Kalkül ebener und räumlicher Netze (Christoph Benzmüller), Sommerakademie der Studienstiftung des Deutschen Volkes, St. Johann, Südtirol, Italy, 1996.
Powered by bibtexbrowser