Login / Signup
What is Negation in a System 2020?
Dov M. Gabbay
Published in:
FLAP (2021)
Keyphrases
</>
logic programming
logic programs
deductive databases
data sets
decision trees
high level
computer vision
video sequences
fixpoint
predicate logic
containment of conjunctive queries