Robert A. Kowalski
-
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic-based knowledge representation
Artificial intelligence today