Year: 2001
2001
[17](Invited) Concurrent Resource Guided Deduction (Christoph Benzmüller), Theoretical Computer Science Seminar, School of Computer Science, The University of Birmingham, Birmingham, UK, 2001. (slides)
[16](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)
[15](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.
[14](Invited) Agent-oriented Reasoning with O-ANTS (Christoph Benzmüller), Department of Computer Science, Cornell University, Ithaca, NY, USA, 2001.
[13](Invited) Agent-oriented Reasoning with O-ANTS (Christoph Benzmüller), Pure and Applied Logic Seminar, Carnegie Mellon University, Pittsburgh, PA, USA, 2001. (slides)
[12]A Lost Proof (poster) (Christoph Benzmüller, Manfred Kerber), TPHOLs, 2001. (poster)
[11]Proof Transformation and Expansion with a Parameterizable Inference Machine (poster) (Christoph Benzmüller), AISB, 2001. (poster)
[10]OMEGA (poster) (Christoph Benzmüller), Begehung SFB 378, 2001. (poster)
[9]DIALOG (poster) (Christoph Benzmüller), Begehung SFB 378, 2001. (poster)
[8]Tutorielle Kommunikation für ein mathematisches Assistenzsystem (Christoph Benzmüller), Meeting in camera of the Special Research Division SFB378, Schloss Dagstuhl, Germany, 2001.
[7]OMEGA --- Ressourcenadaptives Beweisplanen (Christoph Benzmüller), Meeting in camera of the Special Research Division SFB378, Schloss Dagstuhl, Germany, 2001.
[6]Agents in OMEGA (Christoph Benzmüller), Meeting in camera of the OMEGA group, Saarbrücken, Germany, 2001.
[5]Agent-oriented theorem proving and proof planning in OMEGA (Christoph Benzmüller), C++ days of SFB 378 Resource adaptive cognitive processes, Mertesdorf, Germany, 2001.
[4]A lost proof (Christoph Benzmüller), TPHOLS 2001, Edinburgh, Scotland, 2001.
[3]An Agent-oriented approach to reasoning (Christoph Benzmüller), CALCULEMUS Workshop 2001, Siena, Italy, 2001.
[2]Experiments with an Agent-oriented Reasoning System (Christoph Benzmüller), KI 2001, Wien, Austria, 2001. (slides)
[1]Distributed Assertion Retrieval (Christoph Benzmüller), First International Workshop on Mathematical Knowledge Management RISC-Linz, Schloss Hagenberg, Austria, 2001. (slides)
Powered by bibtexbrowser