Anytime Approximations of Classical Logic from Above.

Marcelo Finger Renata Wassermann

Published in: J. Log. Comput. (2007)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
commonsense reasoning
intuitionistic logic
logic programs
automated theorem proving
default logic
autoepistemic logic
revision operators
rationality postulates
genetic algorithm
fixed point
valued logic