A Combination of Clausal and Non Clausal Temporal Logic Programs.
Shinji KonoPublished 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