Logic in Action - An Open Logic Courseware Project.

Jan Jaspars Fernando R. Velázquez-Quesada

Published in: TICTTL (2011)

Keyphrases

modal logic
logic programming
multi valued
databases
automated reasoning
e learning
nonmonotonic logics
sound and complete axiomatization
epistemic logic
formal theory
predicate logic
reasoning about actions
defeasible logic
learning systems
multi agent
machine learning
neural network