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 11 items.
- DLV-EX (Q16812) (← links)
- Domain expansion for ASP-programs with external sources (Q254002) (← 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)
- 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)
- Computable Functions in ASP: Theory and Implementation (Q5504670) (← links)