Denecker, Marc, Katholieke Universiteit Leuven, Belgium

• AI Magazine Vol. 37 No. 3: Fall 2016 - Articles
  First Order Logic with Inductive Definitions for Model-Based Problem Solving
  Abstract  PDF