Pages that link to "Item:Q4593036"
From MaRDI portal
The following pages link to A model building framework for answer set programming with external computations (Q4593036):
Displayed 10 items.
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Learning higher-order logic programs (Q2203320) (← links)
- Knowledge representation analysis of graph mining (Q2317967) (← links)
- Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (Q4559814) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- Hybrid planning for challenging construction problems: an answer set programming approach (Q6161492) (← links)
- On combining ontologies and rules (Q6166577) (← links)