Specialising Meta-level Compositions of Logic Programs.
Antonio BrogiSimone ContieroPublished in: APPIA-GULP-PRODE (1996)
Keyphrases
- meta level
- logic programs
- logic programming
- object level
- fixpoint
- answer set programming
- domain knowledge
- stable models
- answer sets
- prolog programs
- computational properties
- inductive logic programming
- strong equivalence
- normal logic programs
- stable model semantics
- horn clauses
- partial deduction
- term rewriting systems
- object recognition
- state space
- higher level
- nonmonotonic reasoning
- default logic
- logic program updates