Computational Logic in an Object-Oriented World

Bob Kowalski. Computational Logic in an Object-Oriented World. In Oliviero Stock, Marco Schaerf, editors, Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello. Volume 4155 of Lecture Notes in Computer Science, pages 59-82, Springer, 2006. [doi]

Abstract

Abstract is missing.