Converse Ackermann Croperty and semiclassical negation.

José M. Méndez

Published in: Stud Logica (1988)

Keyphrases

logic programming
logic programs
deductive databases
data sets
data mining
containment of conjunctive queries
preprocessing
stable models
databases
real world
compositional semantics