A Combination of Clausal and Non Clausal Temporal Logic Programs.

Published in: Executable Modal and Temporal Logics (1993)

Keyphrases

logic programs
inductive logic programming
propositional theories
horn clauses
logic programming
background knowledge
computational problems
fixpoint
answer sets

computational properties
stable models
constraint propagation
answer set programming
defeasible logic
theorem proving
prolog programs
answer set semantics
temporal constraints

partial deduction
temporal information
stable model semantics
decision procedures
normal logic programs
logic program updates
term rewriting systems
abductive reasoning

first order logic
program synthesis
knowledge compilation
propositional logic
incomplete information
knowledge representation
expert systems
machine learning