About Declarative Semantics of Logic-Based Agent Languages.
Stefania CostantiniArianna TocchioPublished in: DALT (2005)
Keyphrases
- declarative semantics
- logic programming
- deductive databases
- logic programs
- logic programming language
- multi agent
- multi agent systems
- multiagent systems
- operational semantics
- knowledge representation
- databases
- autonomous agents
- intelligent agents
- dynamic environments
- multiple agents
- agent model
- integrity constraints
- defeasible reasoning
- knowledge base
- partial order
- stable models
- fixpoint
- answer set programming
- fixpoint semantics