Reasoning About Obligations in Obligationes: A Formal Approach.

Sara L. Uckelman

Published in: Advances in Modal Logic (2014)

Keyphrases

real time
formal model
deontic logic
artificial neural networks
data sets
real world
machine learning
artificial intelligence
decision making
relational databases
formal representation
mathematical theory
formal language
formal theory