Logic in the Lab.

Rineke Verbrugge

Published in: TARK (2013)

Keyphrases

modal logic
multi valued
genetic algorithm
logic programming
set theory
neural network
classical logic
case study
automated reasoning
deontic logic