IDP3: Combining symbolic and ground reasoning for model generation
Broes De Cat, Joachim Jansen, Gerda Janssens · Lirias · 2013
IDP3 is a knowledge-base system, offering a rich, declarative knowledge representation language, a range of inferences and built-in interaction with a procedural language. In this paper, we give an overview of the system and show how multiple inferences are combined to obtain state-of-the-art model generation.