Partial Models of Extended Generalized Logic Programs.
José Júlio AlferesHeinrich HerreLuís Moniz PereiraPublished in: Computational Logic (2000)
Keyphrases
- logic programs
- logic programming
- answer set programming
- answer sets
- computational properties
- stable models
- background knowledge
- prolog programs
- fixpoint
- term rewriting systems
- inductive logic programming
- functional programs
- semantics for logic programs
- answer set programs
- search space
- parameter estimation
- accurate models
- normal logic programs
- existentially quantified