Specialising Meta-level Compositions of Logic Programs.
Antonio BrogiSimone ContieroPublished in: LOPSTR (1996)
Keyphrases
- meta level
- logic programs
- logic programming
- object level
- fixpoint
- answer sets
- answer set programming
- domain knowledge
- normal logic programs
- stable models
- computational properties
- inductive logic programming
- logic program updates
- partial deduction
- stable model semantics
- multi agent
- prolog programs
- horn clauses
- information extraction
- search space
- recursive programs
- decision trees
- term rewriting systems
- learning algorithm