Sciweavers

Share
KI
2001
Springer

Experiments with an Agent-Oriented Reasoning System

10 years 5 months ago
Experiments with an Agent-Oriented Reasoning System
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem proving/proof planning and multi-agent systems) and makes use of state of the art distribution techniques to decentralise and spread its reasoning agents over the internet. It particularly supports cooperative proofs between reasoning systems which are strong in different application areas, e.g., higher-order and first-order theorem provers and computer algebra systems.
Christoph Benzmüller, Mateja Jamnik, Manfred
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where KI
Authors Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
Comments (0)
books