Data Integration
Introduction to Logic, Third Edition
Introduction to Logic Programming
Introduction to Logic, Second Edition
Introduction to Logic Programming
Introduction to Logic
Logical Foundations of Artificial Intelligence
Proceedings, the Ninth International Symposium on Abstraction, Reformulation, and Approximation (SARA 2011)
Synthesis Series in Computer and Information Science
Proceedings, the Ninth International Symposium on Abstraction, Reformulation, and Approximation (SARA 2011)
PM
Logical Foundations of Artificial Intelligence
Logic Programming
RESIDUE: a Deductive Approach to Design Synthesis
Partial programs
Communication and Cooperation
Deals Among Rational Agents
Concurrent Engineering Through Interoperable Software Agents
What's new? a semantic definition of novelty