Year: 2011
2011
[6](Invited) Mechanization and Automation of Combinations of Classical and Non-Classical Logics in Classical Higher Order Logics (Christoph Benzmüller), Colloquium New Trends in Computational Logic, TU Dresden, Germany, 2011.
[5](Invited) Mechanisierung und Automatisierung von Kombinationen klassischer und nichtklassischer Logiken in klassischer Logik höherer Stufe (Christoph Benzmüller), University of Hamburg, Germany, 2011.
[4](Invited) Der Automatische Theorembeweiser LEO-II (Christoph Benzmüller), BMW Group, Munich, Germany, 2011.
[3](Invited) Intelligente Werkzeuge zur Erhebung, Bereitstellung, Analyse und Kommunikation von diversifiziertem, personifiziertem, interoperablen semantischen Wissen (Christoph Benzmüller), Deutsches Institut für Wirtschaftsforschung, Berlin, Germany, 2011.
[2]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])
[1](Invited) Automating Expressive Non-classical Logics and their Combinations in Classical Higher Order Logic (Christoph Benzmüller), University of Potsdam, Germany, 2011. (slides)
Powered by bibtexbrowser