Reasoning About Actions and Change in Answer Set Programming.
Yannis DimopoulosAntonis C. KakasLoizos MichaelPublished in: LPNMR (2004)
Keyphrases
- answer set programming
- reasoning about actions and change
- event calculus
- reasoning tasks
- logic programming
- logic programs
- domain description
- answer sets
- action language
- answer set programs
- deductive databases
- partially ordered
- stable models
- situation calculus
- stable model semantics
- domain specific knowledge
- knowledge representation
- transitive closure
- modulo theories
- temporal reasoning
- inductive logic programming
- partial order
- domain independent
- search space
- high level