Pages that link to "Item:Q1603743"
From MaRDI portal
The following pages link to Extending and implementing the stable model semantics (Q1603743):
Displaying 50 items.
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates (Q4559801) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- Clingo goes linear constraints over reals and integers (Q4592712) (← links)
- Well-founded operators for normal hybrid MKNF knowledge bases (Q4592713) (← links)
- Generating explanations for biomedical queries (Q4592972) (← links)
- Rewriting recursive aggregates in answer set programming: back to monotonicity (Q4592997) (← links)
- Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
- Checking termination of bottom-up evaluation of logic programs with function symbols (Q4593017) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Logic Programming for Multiagent Planning with Negotiation (Q4649727) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
- Weight constraints as nested expressions (Q4673539) (← links)
- Multi-threaded ASP solving with clasp (Q4911132) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- Hybrid ASP-based Approach to Pattern Mining (Q4957187) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- (Q5020591) (← links)
- (Q5020979) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Paracoherent Answer Set Semantics meets Argumentation Frameworks (Q5108496) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- DynASP2.5: Dynamic Programming on Tree Decompositions in Action (Q5111876) (← links)
- A General Framework for Stable Roommates Problems using Answer Set Programming (Q5140025) (← links)
- Formalizing Negotiations Using Logic Programming (Q5169968) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Hybrid metabolic network completion (Q5197745) (← links)
- Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
- Computing Diverse Optimal Stable Models (Q5240206) (← links)
- Rewriting optimization statements in answer-set programs (Q5240209) (← links)
- (Q5240210) (← links)
- Intelligent Instantiation and Supersafe Rules (Q5240211) (← links)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- A Model for Phase Transition of Random Answer-Set Programs (Q5277923) (← links)
- Finding similar/diverse solutions in answer set programming (Q5298797) (← links)
- Parallel instantiation of ASP programs: techniques and experiments (Q5299587) (← links)
- Stable model semantics for founded bounds (Q5398292) (← links)
- Fuzzy answer sets approximations (Q5398309) (← links)
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291) (← links)
