Handbook of knowledge representation - Van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (Foundations of artificial intelligence / series editors, J. Hendler, H. Kitano, B. Nebel, 2008)