The Revival of Rejective Negation.

Lloyd Humberstone

Published in: J. Philos. Log. (2000)

Keyphrases

logic programs
logic programming
deductive databases
predicate logic
real world
fixpoint
evolutionary algorithm
metadata
case study
data structure
multimedia
decision making
artificial intelligence
machine learning
datalog programs
real time
stable model semantics
containment of conjunctive queries