with an involutive negation.

Published in: FSKD (2010)

Keyphrases

logic programs
logic programming
compositional semantics
deductive databases
lower order
stable models
real time
genetic algorithm
e learning
case study
database systems
scale space
fixpoint
containment of conjunctive queries