Camilla B. Schwind
-
Challenges for action theories
Adapting Classical Inference Techniques To Multiple-Valued Logics Using Signed Formulas
Fundamenta Informaticae