Gradual Classical Logic for Attributed Objects.

Published in: CoRR (2014)

Keyphrases

classical logic
logic programming
modal logic
genetic algorithm
possibilistic logic
commonsense reasoning
revision operators
database systems
multiagent systems
default logic
autoepistemic logic
automated theorem proving
intuitionistic logic