First Order Logic with Inductive Definitions for Model-Based Problem Solving

Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski. First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Magazine, 37(3):69-80, 2016. [doi]

Abstract

Abstract is missing.