![](/img/cover-not-exists.png)
First Order Logic with Inductive Definitions for Model-Based Problem Solving
Bruynooghe, Maurice, Denecker, Marc, Truszczynski, MiroslawVolume:
37
Journal:
AI Magazine
DOI:
10.1609/aimag.v37i3.2679
Date:
October, 2016
File:
PDF, 657 KB
2016