Can Bobby demand delivery? Towards a knowledge-based system for private law

by Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm

In: Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10). Cairo, Egypt, September 2010.