|
861
|
KQML as an Agent Communication Language
– Finin, Fritzson, et al.
- 1994
|
|
800
|
Intelligent agents: Theories and practice
– Wooldridge, Jennings
- 1995
|
|
734
|
The contract net protocol: High-level communication and control in a distributed problem solver
– Smith
- 1981
|
|
623
|
Agent-oriented programming
– Shoham
- 1993
|
|
512
|
Speech Acts
– Searle
- 1969
|
|
374
|
Negotiation as a metaphor for distributed problem solving
– Davis, Smith
- 1983
|
|
287
|
The Oz programming model
– Smolka
- 1995
|
|
278
|
A roadmap of agent research and development
– Jennings, Sycara, et al.
- 1998
|
|
253
|
The use of explicit plans to guide inductive proofs
– Bundy
- 1988
|
|
238
|
An implementation of the contract net protocol based on marginal cost calculations
– Sandholm
- 1993
|
|
210
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik 38
– Gödel
- 1931
|
|
205
|
A blackboard architecture for control
– Hayes-Roth
- 1985
|
|
196
|
CORBA fundamentals and programming
– Siegel
- 1996
|
|
136
|
A machine oriented logic based on the resolution principle
– Robinson
- 1965
|
|
129
|
On the evaluation of R systems
– ROBERTSON, HANCOCK-BEAULIEU
- 1992
|
|
87
|
Functionally Accurate, Cooperative Distributed Systems
– Lesser, Corkill
- 1981
|
|
84
|
Knowledge-Based Proof Planning
– Melis, Siekmann
- 1999
|
|
78
|
Strategies of cooperation in distributed problem solving
– Cammarata, McArthur, et al.
- 1983
|
|
73
|
Multi-Agent Compromise Via Negotiation
– Sycara
- 1988
|
|
62
|
TPS: A theorem proving system for classical type theory. Research report 94-166
– Andrews, Bishop, et al.
- 1994
|
|
57
|
Games and Decisions: Introduction and Critical Survey
– LUCE, RAIFFA
- 1954
|
|
52
|
An Open Markup Format for Mathematical Documents, OMDoc (Version 1.2
– Kohlhase
- 2006
|
|
52
|
Manufacturing Experience with the Contract Net
– Parunak
- 1987
|
|
50
|
Multi-Agent Systems and Societies of Agents
– Huhns, Stephens
- 1999
|
|
48
|
Proof Planning with Multiple Strategies
– Meier
- 2004
|
|
46
|
An overview of kqml: A knowledge query and manipulation language
– Finin, Wiederhold
- 1992
|
|
46
|
Integrating Computer Algebra Into Proof Planning
– Kerber, Kohlhase, et al.
- 1998
|
|
37
|
System description: Mathweb, an agent-based communication layer for distributed automated theorem proving
– Franke, Kohlhase
- 1999
|
|
27
|
ANTS—An open approach at combining Interactive and Automated Theorem Proving
– Benzmüller, Sorge
|
|
27
|
Co-ordination in software agent systems
– Nwana, Lee, et al.
- 1996
|
|
26
|
A negotiation framework for autonomous agents
– Kreifelts, Martial
- 1990
|
|
23
|
The TPS Theorem Proving System
– Andrews, Issar, et al.
- 1990
|
|
22
|
A Negotiation Framework for Co-operating Agents
– Bussmann, Muller
- 1992
|
|
22
|
A blackboard architecture for guiding interactive proofs
– Benzmüller, Sorge
|
|
19
|
Distributing equational theorem proving
– Avenhaus, Denzinger
- 1993
|
|
19
|
et al. “Knowledge Interchange Format, Version 3.0 Reference Manual
– Genesereth, Fikes
- 1992
|
|
19
|
Exploring properties of residue classes
– Meier, Sorge
|
|
15
|
Structures for Symbolic Mathematical Reasoning and Computation
– Homann, Calmet
- 1996
|
|
14
|
Agent-based interaction
– Beale, Wood
- 1994
|
|
14
|
Constraint programming in computational linguistics
– Koller, Niehren
- 2000
|
|
12
|
eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
– Begrisschrift
- 1879
|
|
11
|
Towards interoperable mechanized reasoning systems: the logic broker architecture
– Armando, Zini
- 2000
|
|
10
|
A Taxonomy of Parallel Strategies for Deduction
– Bonacina
- 2000
|
|
10
|
Die Grundlagen der Mathematik’, Abhandlungen aus dem Seminar der Hamburgischen Universität 6, 65–85, English translation in van Heijenoort
– Hilbert
- 1928
|
|
8
|
Teamwork: A method to design distributed knowledge based theorem provers
– Denzinger
- 1993
|
|
7
|
Extensions of constraint solving for proof planning
– Melis, Zimmer, et al.
- 2000
|
|
7
|
An implementation of distributed mathematical services
– Jung, Sorge
- 1998
|
|
4
|
Available at http://www.w3.org/TR/PR-xml.html
– Bray, Paoli, et al.
- 1997
|
|
2
|
Mathematical Markup Language (MathML) 1.0 speci
– Ion, Miner
- 1998
|
|
2
|
The OMDoc repository. Internet page at http://www. mathweb.org/omdoc
– Kohlhase
|
|
