Ein einheitlicher Rahmen für die Behandlung der Negation in logischen Programmen.

Jürgen Kalinski

Published in: WLP (1993)

Keyphrases

clustering algorithm
logic programs
logic programming
predicate logic
horn clauses
deductive databases
compositional semantics
datalog programs
knowledge representation
learning algorithm
knowledge base
answer sets
real world
stable models
databases
data sets
containment of conjunctive queries
database