Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.
Jürgen DixFrieder StolzenburgPublished in: NMELP (1996)
Keyphrases
- constraint logic programming
- logic programming
- logic programs
- answer set programming
- answer sets
- logic programming language
- constraint solving
- disjunctive constraints
- constraint programming
- deductive databases
- knowledge representation
- normal logic programs
- proof theoretic
- programming paradigms
- constraint propagation
- knowledge base
- temporal reasoning
- default logic
- natural language