Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation.

Published in: CoRR (2015)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
pattern recognition
default logic
software engineering
theorem prover
commonsense reasoning
computer science and artificial intelligence