Knowledge Representation and Reasoning,
Department of Computer Science, KU-Leuven
IDP3 is a Knowledge Base System for a rich logic that combines first order logic with logic programming. This article presents the motivation for building this system, discusses its logic and gives an overview of the architecture of the IDP-system, the forms of inference that it supports, and the techniques used to implement them. It also mentions applications and experiments performed with the system.