From Oughts to Goals: A Logic for Enkrasia.

Dominik Klein Alessandra Marra

Published in: Stud Logica (2020)

Keyphrases

multi valued
real time
classical logic
logic programming
modal logic

automated reasoning
sound and complete axiomatization
predicate logic
digital circuits
defeasible logic

artificial neural networks
computer vision
epistemic logic
proof theory
expressive power

logical framework
information retrieval
real world
linear logic
neural network