ACM - Normas
Laurence Cholvy
Frédéric Cuppens
Proceedings of the fifth international conference on Artificial intelligence and law - ICAIL ’95
methodology, systems, applications: methodology, systems, applications, p
An fntroduction
Propositional knowledge base revision and minimal change
A Logic Programming Model