The following pages link to WASP (Q21546):
Displaying 50 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- DualGrounder: lazy instantiation via clingo multi-shot framework (Q2055820) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- Chain answer sets for logic programs with generalized atoms (Q2296731) (← links)
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs (Q2296747) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Evaluation of disjunctive programs in WASP (Q2326731) (← links)
- Enhancing DLV for large-scale reasoning (Q2326744) (← links)
- The ASP system DLV2 (Q2401936) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Enumeration of minimal models and MUSes in WASP (Q2694547) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring (Q2694562) (← links)
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination (Q2694569) (← links)
- Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590) (← links)
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- The Complexity of Escaping Labyrinths and Enchanted Forests. (Q3301022) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Complexity and compilation of GZ-aggregates in answer set programming (Q4592998) (← links)
- Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
- Optimizing phylogenetic supertrees using answer set programming (Q4593001) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- Hybrid ASP-based Approach to Pattern Mining (Q4957187) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← 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)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020571) (← links)
- (Q5020979) (← links)
- Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity (Q5056424) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Beyond NP: Quantifying over Answer Sets (Q5108497) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)