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

Bruynooghe, Maurice (Katholieke Universiteit Leuven) | Denecker, Marc (Katholieke Universiteit Leuven) | Truszczynski, Miroslaw

Oct-7-2016–AI Magazine

inductive definition, logic & formal reasoning, PROBLEM SOLVING, (4 more...)

Oct-7-2016

Journals Web Page

Technology:
- Information Technology > Artificial Intelligence
  - Cognitive Science > Problem Solving (0.40)
  - Representation & Reasoning
    - Logic & Formal Reasoning (0.62)
    - Model-Based Reasoning (0.40)