Combining fragments of classical logic: When are interaction principles needed?

Carlos Caleiro Sérgio Marcelino João Marcos

Published in: CoRR (2018)

Keyphrases

classical logic
logic programming
modal logic
intuitionistic logic
default logic
possibilistic logic
data mining
logic programs
autoepistemic logic
commonsense reasoning
valued logic
computer science and artificial intelligence
decision making
nonmonotonic reasoning
revision operators