Principles of Knowledge Representation and Reasoning: Proceedings ...
Jon Doyle & Erik Sandewall & Pietro Torasso