On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.
Federico ChesaniPaola MelloMarco MontaliSergio StorariPaolo TorroniPublished in: Multiagent Grid Syst. (2010)
Keyphrases
- logic programming
- abductive logic programming
- logic programs
- answer set semantics
- answer sets
- procedural semantics
- knowledge representation
- knowledge representation and reasoning
- deductive databases
- fixpoint
- answer set programming
- nonmonotonic reasoning
- programming language
- stable models
- cooperative multi agent
- logic programming language
- background knowledge
- agent societies
- knowledge base
- reasoning tasks
- model theoretic
- default logic
- object oriented
- cooperative
- machine learning