Pages that link to "Item:Q4911141"
From MaRDI portal
The following pages link to Conflict-driven ASP solving with external sources (Q4911141):
Displayed 12 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- On abstract modular inference systems and solvers (Q286083) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Exploiting Unfounded Sets for HEX-Program Evaluation (Q2915067) (← links)
- Clause-Learning for Modular Systems (Q3449228) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)