Keywords: Other Presentations
2017
[38]Universal Logic Theorem Proving via Semantical Embeddings in HOL (Christoph Benzmüller), International Workshop on Logic-Based Formalisms for Legal Reasoning (LBFLR 2017), 2017. (May)
[37]Davis-Putnam-Logemann-Loveland Algrithums (Christoph Benzmüller), Alpen-Adria Universität Klagenfurt, 2017. (April)
2015
[36]Einführung in die Komplexitätsklassen P und NP (Christoph Benzmüller), Universität Leipzig, 2015.
[35]Der ABox-Vervollständigungsalgorithmus für ALC (Christoph Benzmüller), Friedrich-Alexander-Universität, Erlangen-Nürnberg, Germany, 2015.
2014
[34](Invited tutorial) Higher-Order Automated Theorem Provers (Christoph Benzmüller), APPA Workshop at VSL'2014, Vienna, Austria, 2014. (slides)
[33]Gödel's Unvollständigkeitssätze (Christoph Benzmüller), Freie Universität Berlin, Germany, 2014. (slides)
[32](Invited) Kurt Gödel's Gottesbeweis auf dem Computer (Christoph Benzmüller), Marburg, Germany, 2014. (slides)
[31](Invited) Kurt Gödel's Gottesbeweis auf dem Computer (Christoph Benzmüller), Lange Nacht der Wissenschaften, Berlin, Germany, 2014.
2013
[30]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)
[29]The Watson System -- An Overview (Christoph Benzmüller), Freie Universität Berlin, Germany, 2013.
2012
[28]Gödel's Unvollständigkeitssätze (Christoph Benzmüller), Freie Universität Berlin, Germany, 2012. (slides)
2009
[27]Handover of the Festschrift to Peter B. Andrews (Christoph Benzmüller), CADE-22, Montreal, Canada, 2009.
2008
[26]Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II (Christoph Benzmüller), Automated Reasoning Group Lunch Talk, The University of Cambridge, UK, 2008.
2007
[25]Progress Report on LEO-II: An Automatic Theorem Prover for Higher-Order Logic (Christoph Benzmüller), Automated Reasoning Group Lunch Talk, The University of Cambridge, UK, 2007. (slides)
2006
[24]Dialog mit einem Beweisassistenten in natürlicher Sprache (Christoph Benzmüller), Ringvorlesung, FR Informatik, Universität des Saarlandes, Germany, 2006. (slides)
2005
[23]Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs (Christoph Benzmüller), Dream Group Reunion, Edinburgh, UK, 2005. (slides)
2004
[22]DIALOG: Natural Language-based Interaction with a Mathematical Assistance System (Christoph Benzmüller), OMEGA talk series, Saarbrücken, Germany, 2004. (slides)
[21]Agent-oriented Proof Planning (Christoph Benzmüller), Evaluation of the Collaborative Research Centre SFB378 Resource-adaptive Cognitive Processes, Saarbrücken, Germany, 2004.
2003
[20]OMEGA - Ein Assistenzsystem für die Mathematik (Christoph Benzmüller), Open day, Saarland University, Saarbrücken, Germany, 2003. (slides)
[19]CALCULEMUS Midterm Review Report (Christoph Benzmüller), Midterm Review of the European Union Research Training Network CALCULEMUS, Saarbrücken, Germany, 2003. (slides)
[18]Saarland University Node Report (Christoph Benzmüller), Midterm Review of the European Union Research Training Network CALCULEMUS, Saarbrücken, Germany, 2003. (slides)
2002
[17]Ressource-Adaptive Proof Planning with OMEGA (Christoph Benzmüller), Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany, 2002. (slides)
[16]Tutorial Dialog with a Mathematical Assistant System (Christoph Benzmüller), Meeting in camera of the Special Research Centre SFB 378, Wallerfangen, Germany, 2002. (slides)
2001
[15]Tutorielle Kommunikation für ein mathematisches Assistenzsystem (Christoph Benzmüller), Meeting in camera of the Special Research Division SFB378, Schloss Dagstuhl, Germany, 2001.
[14]OMEGA --- Ressourcenadaptives Beweisplanen (Christoph Benzmüller), Meeting in camera of the Special Research Division SFB378, Schloss Dagstuhl, Germany, 2001.
[13]Agents in OMEGA (Christoph Benzmüller), Meeting in camera of the OMEGA group, Saarbrücken, Germany, 2001.
2000
[12]System demonstration: OMEGA, O-ANTS, and LEO (Christoph Benzmüller), Department of Computer Science, The University of York, York, UK, 2000.
1999
[11]Gleichheit und Extensionalität im automatischen Beweisen in Logik höherer Stufe (Christoph Benzmüller), Promotionskolloquium, Saarbrücken, Germany,, 1999.
[10]Ressourcenadaptive Vorschlagsagenten im Interaktiven Beweisen (Christoph Benzmüller), Kollegiatentag im Rahmen der Herbstschule Kognitionswissenschaft, Saarbrücken, Germany, 1999.
[9]Ist KI eine empirische Wissenschaft? (Christoph Benzmüller), SAG-WAS der AG Siekmann, Schloss Dagstuhl, Germany, 1999.
1998
[8]Model Existence for Higher-Order Logic (Christoph Benzmüller), Oberseminar AG Siekmann, Saarland University, Saarbrücken, Germany, 1998.
[7]Integrating TPS with OMEGA (Christoph Benzmüller, Volker Sorge), Oberseminar AG Siekmann, Saarland University, Saarbrücken, Germany, 1998.
[6]System Demonstration: OMEGA --- A mathematical Assistant (Christoph Benzmüller), Evaluation of the SFB 378, Max-Planck Institute für Informatik (MPI), Saarbrücken, Germany, 1998.
[5]Exploiting past proof experience + Experiments in the Automatic Selection of Problem-solving Strategies (Christoph Benzmüller), SAG-WAS'98 der AG Siekmann, Schloss Dagstuhl, Germany, 1998.
1997
[4]LEO --- Towards Higher-Order Resolution (Christoph Benzmüller), Automated theorem proving seminar, Department of Mathematics, Carnegie Mellon Univerity, Pittsburgh, USA, 1997. (slides)
[3]Equalizing terms by Difference Reduction and Abstraction (Christoph Benzmüller), Automated theorem proving seminar, Department of Mathematics, Carnegie Mellon Univerity, Pittsburgh, USA, 1997.
[2]Embedding Extensionality in Higher-Order Resolution (Christoph Benzmüller), Oberseminar AG Siekmann, Saarland University, Saarbrücken, Germany, 1997.
1996
[1]Higher-Order Resolution and Extensionality (Christoph Benzmüller), Oberseminar AG Siekmann, Saarland University, Saarbrücken, Germany, 1996. (slides)
Powered by bibtexbrowser