Classical Logic with Partial Functions.

Hans de Nivelle

Published in: IJCAR (2010)

Keyphrases

classical logic
logic programming
modal logic
intuitionistic logic
possibilistic logic
revision operators
default logic
commonsense reasoning
computer science and artificial intelligence
neural network
autoepistemic logic
general purpose
logic programs
automated theorem proving
rationality postulates