Logic Program Specialisation: How To Be More Specific.
Michael LeuschelDanny De SchreyePublished in: PLILP (1996)
Keyphrases
- logic programs
- logic programming
- answer sets
- answer set programming
- fixpoint
- stable models
- logic program updates
- background knowledge
- inductive logic programming
- computational properties
- prolog programs
- normal logic programs
- inside outside algorithm
- general logic programs
- extended logic programs
- declarative semantics
- horn clauses
- nonmonotonic reasoning
- fixpoint semantics
- description logics
- expert systems
- natural language