State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems.
Knut HinkelmannHelge HintzePublished in: Ann. Math. Artif. Intell. (1997)
Keyphrases
- logic programs
- rule based systems
- logic programming
- procedural semantics
- stable models
- answer sets
- background knowledge
- fixpoint
- answer set programming
- rule base
- normal logic programs
- term rewriting systems
- inductive logic programming
- partial deduction
- prolog programs
- magic sets
- knowledge representation
- logic program updates
- computational properties
- knowledge based systems
- expert systems
- functional programs
- strong equivalence
- state space
- stable model semantics
- deductive databases
- machine learning