KED: A Deontic Theorem Prover.
Alberto Artosi, Paola Cattabriga, Guido Governatori
VenueBICLP
Year1994
ProceedingsICLP Workshop: Legal Application of Logic Programming
DBLP recordconf/iclp/ArtosiCG94 ↗
Browse the full ICLP paper archive.
Alberto Artosi, Paola Cattabriga, Guido Governatori
Browse the full ICLP paper archive.