Novel Models for Or-Parallel Logic Programs: A Performance Analysis.
Vítor Santos CostaRicardo RochaFernando M. A. SilvaPublished in: Euro-Par (2000)
Keyphrases
- logic programs
- logic programming
- stable models
- answer set programming
- answer sets
- inductive logic programming
- fixpoint
- term rewriting systems
- partial deduction
- answer set programs
- monotonicity constraints
- prolog programs
- normal logic programs
- accurate models
- background knowledge
- abductive reasoning
- semantics for logic programs
- computational properties
- knowledge base