Merging fragments of classical logic.

Carlos Caleiro Sérgio Marcelino João Marcos

Published in: CoRR (2017)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
revision operators
merging operators
intuitionistic logic
commonsense reasoning
valued logic
logic programs
autoepistemic logic
default logic
possibility theory
automated theorem proving
artificial intelligence
genetic algorithm
machine learning