Splitting Logics.

Walter Alexandre Carnielli Marcelo E. Coniglio

Published in: We Will Show Them! (1) (2005)

Keyphrases

expressive power
modal logic
artificial intelligence
inference rules
classical logic
propositional calculus
information retrieval
data sets
databases
genetic algorithm
computer vision
objective function
default logic
default reasoning
nonmonotonic logics
propositional dynamic logic