Login / Signup
Adding Negation to Lambda Mu.
Steffen van Bakel
Published in:
CoRR (2021)
Keyphrases
</>
logic programs
logic programming
artificial intelligence
fixed point
deductive databases
development environment
multiscale
sufficient conditions
incomplete information
horn clauses
predicate logic
containment of conjunctive queries