Pages that link to "Item:Q2457798"
From MaRDI portal
The following pages link to External sources of knowledge and value invention in logic programming (Q2457798):
Displayed 16 items.
- DLV-EX (Q16812) (← links)
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- The Fusemate logic programming system (Q2055893) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Computable Functions in ASP: Theory and Implementation (Q5504670) (← links)