Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach.

Agata Ciabattoni Francesca Gulisano Björn Lellmann

Published in: DEON (2018)

Keyphrases

inference rules
neural network
genetic algorithm
computer vision
metadata
deontic logic
artificial intelligence
information systems
cooperative
pattern recognition
expert systems
multi class
belief revision
sequent calculus