Agent-Oriented Theorem Proving
EPSRC Grant: GR/M99644/01 |
 |
|---|
| Start Date: | 14/01/2000 |
| End Date: | 13/01/2001 |
| Total Grant Value: | £ 55944 |
| Funding Agency: | EPSRC |
| Grant: | GR/M99644/01 |
The original proposal can be found as
html,
gzipped PostScript, and
pdf file.
The final report can be found as
html,
gzipped PostScript, and
pdf file.
- Christoph Benzmüller and Volker Sorge,
OANTS - An open approach at combining Interactive and Automated Theorem Proving
(ps.gz,
pdf).
In Proceedings of the 2000 Calculemus Symposium: Systems for Integrated Computation and
Deduction. St. Andrews, Scotland, UK. August, 2000. ©
AK Peters, 17pp.
- Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, and Volker Sorge.
Resource Guided Concurrent Deduction
(ps.gz,
pdf).
In Proceedings of the Calculemus Symposium 2000, St. Andrews,
Schottland, August 2000. A.K.Peters. (Also in Proceedings of the AISB'2000 Symposium `How to design a functioning
mind', Birmingham, England, April 2000 and Proceedings of the 7th Workshop on Automated Reasoning `Bridging the
Gap between Theory and Practice'. Here is the poster
(ps.gz,
pdf).
- Christoph Benzmüller.
An Agent Based Approach to Reasoning
(ps.gz,
pdf).
Extended abstract for invited plenary talk at AISB'01 Convention
`Agents and Cognition, University of York, England, March 2001.
- Christoph Benzmüller and Manfred Kerber.
A Lost Proof.
(ps.gz,
pdf). TPHOL-2001, Supplemental Proceedings, Edinburgh, Scotland (p.40-52). A poster is available as
ps.gz,
pdf.
- Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, and Volker Sorge
Experiments with an Agent-Oriented Reasoning System.
(ps.gz,
pdf). KI-2001, © Springer, LNAI 2174, Vienna (p.409-424).
- Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, and
Volker Sorge.
Making Heterogeneous Reasoning Systems Cooperate. Submitted.
Collaborators
Research Groups and Projects
-
Mathematical Reasoning Group, University of Edinburgh, Scotland, UK
-
Mechanised Reasoning Group, Istituto Ricerca Scientifica e
Tecnologica (IRST), Trento, Italy
-
Omega Group, Universität des Saarlandes, Saarbrücken, Germany
- Mathweb project
, Universität des Saarlandes, Saarbrücken, Germany
- MBase
Project: A mathematical Knowledge Base
, Universität des Saarlandes, Saarbrücken, Germany
Related Work in the School of Computer Science
The URL of this page is:
file:/home/mmk/public_html/projects/AOTP/index.html
Maintained by Manfred Kerber,
e-mail: M.Kerber@cs.bham.ac.uk
Last update: 13.9.2002
School of Computer Science,
The University of Birmingham