A Prolog technology theorem prover: implementation by an extended Prolog computer
Journal of Automated Reasoning
Non-horn clause logic programming without contrapositives
Journal of Automated Reasoning
Parthenon: a parallel theorem prover for non-Horn clauses
Journal of Automated Reasoning
KQML as an agent communication language
Software agents
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
SPTHEO - A Parallel Theorem Prover
Journal of Automated Reasoning
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Using Agents to Enable Collaborative Work
IEEE Internet Computing
Resource-Bounded Searches in an Information Marketplace
IEEE Internet Computing
NetChaser: Agent Support for Personal Mobility
IEEE Internet Computing
Nomad: Mobile Agent System for an Internet-Based Auction House
IEEE Internet Computing
JATLite: A Java Agent Infrastructure with Message Routing
IEEE Internet Computing
Cooperative Multiagent Systems: A Personal View of the State of the Art
IEEE Transactions on Knowledge and Data Engineering
On Load Balancing for Distributed Multiagent Computing
IEEE Transactions on Parallel and Distributed Systems
IEEE Intelligent Systems
A Multiagent Framework for Automated Online Bargaining
IEEE Intelligent Systems
Agent Communication Languages: The Current Landscape
IEEE Intelligent Systems
XPect: A Framework for Electronic Commerce
IEEE Internet Computing
HOT: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
A Multi-Agent Framework for Distributed Collaborative Design
WETICE '98 Proceedings of the 7th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Auto-Erecting Agents for a Collaborative Learning Environment
WETICE '99 Proceedings of the 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Experiments with ROO: A Parallel Automated Deduction System
Proceedings of the International Workshop on Parallelization in Inference Systems
Distributed Theorem Proving by Peers
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Collaborative and Scalable Financial Analysis with Multi-Agent Technology
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Architecture and application s of DADO: a large-scale parallel computer for artificial intelligence
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A multiagent approach for diagnostic expert systems via the internet
Expert Systems with Applications: An International Journal
MAGMA: a multiagent architecture for metaheuristics
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Coordinated execution of tasks in a multiagent environment
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A flexible videoconference system based on multiagent framework
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A multi-agent architecture for intelligent home network service using tuple space model
IEEE Transactions on Consumer Electronics
MASSIHN: a multi-agent architecture for intelligent home network service
IEEE Transactions on Consumer Electronics
An intelligent agent-based architecture for strategic information system applications
Knowledge-Based Systems
| Hi-index | 12.05 |
In this paper, we explore the possibility of distributed theorem proving using agent-based technologies. We investigate the hyper-linking theorem proving and find out its components which can be performed independently by agents. A multi-agent framework is proposed, wherein distributed theorem proving is achieved by the collaboration of multi-agents each of which performs part of the hyper-linking strategy for completing the proof of the given problems. In this framework, agents communicate with each other via KQML-based messages. Additionally, several system agents are designed for monitoring the traffic and performance of the framework and sharing information. The architecture and the design concepts are addressed. Experimental results show that the proposed framework can effectively perform distributed theorem proving on the Internet.