Coping with typical unpredictable incidents in a logic fab.

Wolfgang Scholl

Published in: WSC (2008)

Keyphrases

modal logic
multi valued
classical logic
automated reasoning
predicate logic
neural network
decision making
multiscale
computational properties
nonmonotonic logics
real time
computer vision
multi agent systems
model checking
epistemic logic
proof theory