Speculative computation with multi-agent belief revision

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 897-904

  Satoh, Ken ^a   Yamamoto, Keiji ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; INFORMATION ANALYSIS; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

ABDUCTIVE LOGIC PROGRAMMING;

MULTI AGENT SYSTEMS;

EID: 0036361772     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/544947.544950     Document Type: Conference Paper

References (14)

1. Speculative computation, parallelism, and functional programming
2. Experiment with speculative parallelism in parlog
3. Replanning in robotics by dynamic SLDNF
4. Linear resolution for consequence finding
5. Controlling speculative computation in multi-agent environments
6. Coordination techniques for distributed artificial intelligence
7. The role of abduction in logic programming
8. Executing suspended logic programs
9. From logic programming towards multi-agent systems
10. MINERVA: A dynamic logic programming agent architecture
11. On the declarative semantics of stratified deductive databases and logic programs
12. Dialogues for negotiation: Agent varieties and dialog sequences
13. A defeasible reasoning system in multi-agent environments
14. Speculative computation by abduction under incomplete communication environments