Logisches Programmieren mit Negation und Disjunktion.
Jürgen DixUlrich FurbachPublished in: Künstliche Intell. (1996)
Keyphrases
- logic programs
- logic programming
- test set
- deductive databases
- compositional semantics
- massachusetts institute of technology
- predicate logic
- computer vision
- case study
- fixpoint
- stable models
- error rate
- containment of conjunctive queries
- truth values
- databases
- access control
- similarity measure
- decision making
- real world