Connection Cutting for Contraction Free Logic.

Bertram Fronhöfer

Published in: KI (1997)

Keyphrases

horn logic
modal logic
classical logic
data sets
automated reasoning
cutting stock problems
belief revision
multi valued
logical framework
delay insensitive
real time
genetic algorithm
computational properties
defeasible logic
predicate logic
epistemic logic