Pages that link to "Item:Q3563101"
From MaRDI portal
The following pages link to Grounding FO and FO(ID) with Bounds (Q3563101):
Displaying 3 items.
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Towards systematic treatment of partial functions in knowledge representation (Q6545581) (← links)
