Agent-Based Theorem Proving (ResearchIndex)

See this document in CiteSeerX!

Agent-Based Theorem Proving (2002) (Make Corrections)
Christoph Benzmuller Fachbereich Informatik Universitat des Saarlandes...

Home/Search Context Related

Rate this article:

(Enter summary)
Abstract: Introduction We report on a commencing project that is concerned with the transfer of techniques from multiagent systems research to the domain of automated reasoning. The goal is to achieve more exible organisation within a theorem-prover, not only to provide a better approximation to the human reasoning approach, but also to solve more complex theorems. In previous work we have already experimented to some extend with the transfer of multi-agent techniques to theorem proving. We have... (Update)

Active bibliography (related documents): More All
0.6: Can a Higher-Order and a First-Order Theorem - Prover Cooperate Christoph (2005) (Correct)
0.1: Towards Learning New Methods in Proof Planning - Jamnik, Kerber, Benzmüller (2000) (Correct)
0.1: An Agent-based Approach to Reasoning - Benzmüller (2001) (Correct)

Similar documents based on text:
0.0: Unknown - (Correct)

BibTeX entry: (Update)

@misc{ uller-agentbased,
  author = "Christoph Benzm Uller",
  title = "Agent-Based Theorem Proving",
  url = "citeseer.ist.psu.edu/758993.html" }