Operational Semantics of Framed Temporal Logic Programs.
Xiaoxiao YangZhenhua DuanPublished in: SOFSEM (1) (2007)
Keyphrases
- logic programs
- operational semantics
- declarative semantics
- model theoretic
- logic programming
- answer sets
- fixpoint
- answer set programming
- formal semantics
- stable models
- inductive logic programming
- computational properties
- prolog programs
- mental states
- partial deduction
- temporal reasoning
- logic program updates
- data model
- term rewriting systems
- horn clauses
- normal logic programs
- stable model semantics
- autoepistemic logic
- high level
- deductive databases
- xml documents
- reinforcement learning