Pages that link to "Item:Q5398305"
From MaRDI portal
The following pages link to Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (Q5398305):
Displaying 3 items.
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)