Year: 2005
2005
[15]Can a Higher-Order and a First-Order Theorem Prover Cooperate? (Christoph Benzmüller), LPAR'04 Conference, Montevideo, Uruguay, 2005. (slides)
[14]New Directions in the OMEGA Project (Christoph Benzmüller), CIAO'05 Workshop, Nottingham, UK, 2005. (slides)
[13]Designing a Proof GUI for non-Experts: Evaluation of an Experiment (Christoph Benzmüller), UITP'05 Workshop (ETAPS Satellite Workshop), Edinburgh, Scotland, 2005. (slides)
[12]New Directions in the OMEGA Project (Christoph Benzmüller), First Saarbrücken-Nancy Workshop on Higher-order Logic and Hybrid Logics, 2005.
[11]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)
[10]Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs (Christoph Benzmüller), Dream Group Reunion, Edinburgh, UK, 2005. (slides)
[9](Invited) A Structured Set of Higher-Order Problems (Christoph Benzmüller), Dagstuhl Seminar 05431: Deduction and Applications, Schloss Dagstuhl, Germany, 2005. (slides)
[8]Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs (Christoph Benzmüller), Theorema-Ultra-Omega-Workshop, Saarbrücken, Germany, 2005. (slides)
[7]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.
[6]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.
[5](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)
[4](Invited) Can a Higher-Order and a First-Order Theorem Prover Cooperate? (Christoph Benzmüller), LORIA, Nancy, France, 2005. (slides)
[3](Invited) Logik höherer Stufe: Ein geeignetes Fundament für die Mathematik und für Formale Methoden? (Christoph Benzmüller), TU Darmstadt, Germany, 2005.
[2]OMEGA (poster) (Christoph Benzmüller, OMEGA Group), Begehung SFB 378, 2005. (poster-1, poster-2, poster-3, poster-4)
[1]DIALOG (poster) (Christoph Benzmüller, Dialog Group), Begehung SFB 378, 2005. (poster-1, poster-2, poster-3, poster-4)
Powered by bibtexbrowser