Pages that link to "Item:Q1761291"

The following pages link to Conflict-driven answer set solving: from theory to practice (Q1761291):

Displaying 50 items.

• $$\#\exists $$ SAT: Projected Model Counting (Q3453218) (← links)
• SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (Q3453227) (← links)
• Capturing Conflict and Confusion in CSP (Q3608892) (← links)
• Shared aggregate sets in answer set programming (Q4559794) (← links)
• Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
• On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
• Stable reasoning (Q4586232) (← links)
• Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
• Clingo goes linear constraints over reals and integers (Q4592712) (← links)
• Well-founded operators for normal hybrid MKNF knowledge bases (Q4592713) (← links)
• aspeed: Solver scheduling via answer set programming (Q4592974) (← 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)
• Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
• A model building framework for answer set programming with external computations (Q4593036) (← links)
• The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
• A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns (Q4593045) (← 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)
• Stepwise debugging of answer-set programs (Q4603428) (← links)
• Inlining External Sources in Answer Set Programs (Q4957183) (← 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)
• The External Interface for Extending WASP (Q4957194) (← links)
• selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
• Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
• Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
• (Q5009587) (← links)
• (Q5020542) (← links)
• (Q5020979) (← links)
• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
• A Neuro-Symbolic ASP Pipeline for Visual Question Answering (Q5038475) (← links)
• Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
• Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
• Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
• On Uniform Equivalence of Epistemic Logic Programs (Q5108505) (← links)
• Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
• DynASP2.5: Dynamic Programming on Tree Decompositions in Action (Q5111876) (← links)
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003) (← links)
• Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
• Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints (Q5140015) (← links)
• Multi-shot ASP solving with clingo (Q5197744) (← links)
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms (Q5197746) (← links)
• Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
• Rewriting optimization statements in answer-set programs (Q5240209) (← links)
• Constraint CNF: SAT and CSP Language Under One Roof. (Q5240215) (← 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)