Negation and Control on Automatically Generated Logic Programs.
Geraint A. WigginsPublished in: META (1992)
Keyphrases
- logic programs
- automatically generated
- logic programming
- automatically generate
- stable models
- fixpoint
- answer set programming
- background knowledge
- manually constructed
- answer sets
- manually generated
- normal logic programs
- manually created
- inductive logic programming
- partial deduction
- stable model semantics
- extended logic programs
- computational properties
- declarative semantics
- artificial intelligence
- term rewriting systems
- logic program updates
- minimal models
- prolog programs
- loop formulas
- semantics of logic programs
- horn clauses
- deductive databases
- hybrid probabilistic logic programs