Subminimal negation.

Almudena Colacito Dick de Jongh Ana Lucia Vargas

Published in: Soft Comput. (2017)

Keyphrases

logic programs
logic programming
predicate logic
compositional semantics
horn clauses
datalog programs
machine learning
preprocessing
user interface
multiscale
metadata
deductive databases
artificial intelligence
fixpoint
stable models
containment of conjunctive queries
real world