When logic lays down the law.

Bjørn Jespersen Ana de Almeida Borges Jorge del Castillo Tierz Juan José Conejero Rodríguez Eric Sancho Adamson Aleix Solé Sánchez Nika Pona Joost J. Joosten

Published in: CoRR (2018)

Keyphrases

modal logic
classical logic
legal reasoning
database
computer vision
proof theory
deontic logic
logical framework
case law
asynchronous circuits
formal theory
defeasible logic
multi valued
automated reasoning
logic programming
data structure
artificial intelligence