Mīmāṃsā Deontic Logic: Proof Theory and Applications.

Agata Ciabattoni Elisa Freschi Francesco A. Genco Björn Lellmann

Published in: TABLEAUX (2015)

Keyphrases

deontic logic
proof theory
default reasoning
nonmonotonic logics
proof theoretic
automated reasoning
nonmonotonic reasoning
legal reasoning
inference rules
reasoning problems
artificial intelligence
multi agent
probabilistic model
logic programming
belief revision