From Oughts to Goals: A Logic for Enkrasia.
Dominik KleinAlessandra MarraPublished 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