Specifying and verifying interaction protocols in a temporal action logic.

Laura Giordano Alberto Martelli Camilla Schwind

Published in: J. Appl. Log. (2007)

Keyphrases

interaction protocols
communicative acts
reasoning about actions
logic programming
agent systems
multi agent
multiagent systems
machine learning
knowledge representation
natural language
model checking
modal logic
agent communication