Login / Signup
Confluence for classical logic through the distinction between values and computations.
José Espírito Santo
Ralph Matthes
Koji Nakazawa
Luís Pinto
Published in:
CL&C (2014)
Keyphrases
</>
classical logic
logic programming
modal logic
possibilistic logic
autoepistemic logic
intuitionistic logic
default logic
possibility theory
commonsense reasoning
computer science and artificial intelligence
valued logic
revision operators
machine learning
relational databases
automated theorem proving