Christoph Benzmuller Fachbereich Informatik Universitat des Saarlandes...  Home/Search
Context
Related
| cs.bham.ac.uk/~vxs/publicat...BeSo02.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~vxs...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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)
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" }
Citations (may not include all citations):72 Agent Technology: Foundations (context) - Jennings, Wooldridge - 1998
32 Multiagent Systems: a Modern Approach to Distributed Arti ci.. (context) - Weiss - 1999
17 Building cognitively rich agents using the sim agent toolkit - Sloman, Logan - 1999
9 An open approach at combining Interactive and Automated Theo.. - Benzm, Volker et al.
2 Experiments with an Agent-Oriented Reasoning System (context) - Benzm, Mateja et al. - 2001
Documents on the same site (http://www.cs.bham.ac.uk/~vxs/publications.html): More
ΩMEGA: Towards a Mathematical Assistant - Benzmüller, Cheikhrouhou.. (1997) (Correct)
A Blackboard Architecture for Guiding Interactive Proofs - Benzmüller, Sorge (1998) (Correct)
Ω-ANTS - A Blackboard Architecture for the Integration of.. - Sorge (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC