Introducing Temporal Stable Models for Linear Dynamic Logic.
Anne-Gwenn BosserPedro CabalarMartín DiéguezTorsten SchaubPublished in: KR (2018)
Keyphrases
- stable models
- dynamic logic
- logic programs
- logic programming
- normal logic programs
- reasoning about actions
- general theory
- fixpoint
- answer set programming
- temporal reasoning
- deductive databases
- stable model semantics
- temporal constraints
- temporal information
- propositional dynamic logic
- imperative programs
- answer sets
- derivation rules
- expert systems
- strong equivalence
- semantics for logic programs
- modal logic
- relational databases
- temporal logic
- inductive logic programming
- query processing
- database
- logic programs with negation