Login / Signup
Semantics of Communicating Agents Based on Deduction and Abduction.
Koen V. Hindriks
Frank S. de Boer
Wiebe van der Hoek
John-Jules Ch. Meyer
Published in:
Issues in Agent Communication (2000)
Keyphrases
</>
communicating agents
logic programming
artificial agents
event calculus
reasoning tasks
logic programs
semantic information
background knowledge
inference rules
theorem proving
artificial intelligence
particle swarm optimization
situation calculus