Tango: Declarative Semantics for Multiagent Communication Protocols.
Munindar P. SinghSamuel H. Christie V.Published in: IJCAI (2021)
Keyphrases
- communication protocols
- declarative semantics
- multi agent
- deductive databases
- logic programming
- logic programming language
- logic programs
- operational semantics
- multiagent systems
- defeasible reasoning
- communication protocol
- integrity constraints
- stable models
- partial order
- constraint logic programming
- fixpoint
- answer sets
- multi agent systems
- answer set programming
- nonmonotonic reasoning
- autonomous agents
- knowledge representation and reasoning
- multiple agents
- query evaluation
- intelligent agents
- knowledge base
- programming language
- situation calculus
- general purpose
- software engineering
- query language
- query processing
- modal logic
- database systems
- databases