Year: 2000
2000
[12](Invited) OANTS --- An Open Approach at Combining Interactive and Automated Theorem Proving (Christoph Benzmüller), Centre for Agent Research and Development CARD, Department of Computer Science, Manchester Metropolitan University, UK, 2000. (slides)
[11](Invited) Towards Agent based Theorem Proving and Proof Planning in OMEGA (Christoph Benzmüller), Department of Computer Science, The University of York, UK, 2000.
[10](Invited) OMEGA, MATHWEB and Friends (Christoph Benzmüller), Department of Artificial Intelligence, The University of Edinburgh, Edinburgh, Scotland, 2000.
[9](Invited) Resource Guided Concurrent Deduction with O-ANTS (Christoph Benzmüller), Department of Artificial Intelligence, The University of Edinburgh, Edinburgh, Scotland, 2000.
[8]Proof Planning based on a Multi Agent Architecture?">Proof Planning based on a Multi Agent Architecture? (Christoph Benzmüller), 9th CLAM - INKA - OMRS Workshop (CIAO), Schloss Dagstuhl, Germany, 2000.
[7]System demonstration: OMEGA, O-ANTS, and LEO (Christoph Benzmüller), Department of Computer Science, The University of York, York, UK, 2000.
[6]Resource Guided Concurrent Deduction (poster) (Christoph Benzmüller), AISB, 2000. (poster)
[5]Resource Guided Concurrent Deduction (Christoph Benzmüller), Short talk and poster presentation at Automated Reasoning Workshop 2000, King's College, London, UK, 2000.
[4]Towards agent based proof planning (Christoph Benzmüller), Deduktionstreffen, Saarland University, Saarbrücken, Germany, 2000.
[3]OANTS --- An open approach at combining Interactive and Automated Theorem Proving (Christoph Benzmüller), CALCULEMUS Symposium 2000, St. Andrews, Scotland, 2000. (slides)
[2]Eine übersicht zur AG Siekmann (Christoph Benzmüller), Deduktionstreffen, Saarland University, Saarbrücken, Germany, 2000.
[1]Agent based proof planning with O-ANTS (Christoph Benzmüller), Systemdemonstration at the Deduktionstreffen, Saarland University, Saarbrücken, Germany, 2000. (slides)
Powered by bibtexbrowser