Speed-Up Techniques for Negation in Grounding.

Amir Aavani Shahab Tasharrofi Gulay Ünel Eugenia Ternovska David G. Mitchell

Published in: LPAR (Dakar) (2010)

Keyphrases

logic programs
logic programming
containment of conjunctive queries
deductive databases
fixpoint
predicate logic
high level
horn clauses
compositional semantics
databases
real world
information retrieval
data structure
video sequences
search algorithm