Tractable Compliance Checking with Negation.

Piero A. Bonatti Luigi Sauro

Published in: Description Logics (2021)

Keyphrases

logic programs
computational complexity
logic programming
video sequences
np hard
deductive databases
search engine
neural network
np complete
containment of conjunctive queries
compositional semantics
database
data sets
information technology
fixpoint