WASP
From MaRDI portal
Software:21546
swMATH9565MaRDI QIDQ21546FDOQ21546
Author name not available (Why is that?)
Cited In (59)
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Managing caching strategies for stream reasoning with reinforcement learning
- Coalition formation in social environments with logic-based agents1
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
- Disjunctive answer set solvers via templates
- Boosting Answer Set Optimization with Weighted Comparator Networks
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- Enhancing DLV for large-scale reasoning
- The ASP system DLV2
- Rewriting optimization statements in answer-set programs
- Improving the normalization of weight rules in answer set programs
- Better paracoherent answer sets with less resources
- Title not available (Why is that?)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
- Paracoherent answer set computation
- The Complexity of Escaping Labyrinths and Enchanted Forests.
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
- The Seventh Answer Set Programming Competition: Design and Results
- Fuzzy answer set computation via satisfiability modulo theories
- Anytime answer set optimization via unsatisfiable core shrinking
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Hybrid ASP-based approach to pattern mining
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- Title not available (Why is that?)
- Incremental answer set programming with overgrounding
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Multi-shot ASP solving with clingo
- Design and results of the Fifth Answer Set Programming Competition
- Debugging non-ground ASP programs: technique and graphical tools
- Partial compilation of ASP programs
- Optimizing answer set computation via heuristic-based decomposition
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- DualGrounder: lazy instantiation via clingo multi-shot framework
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Beyond NP: quantifying over answer sets
- Inconsistency proofs for ASP: the ASP-DRUPE format
- New models for generating hard random Boolean formulas and disjunctive logic programs
- Evaluation of disjunctive programs in WASP
- Optimizing phylogenetic supertrees using answer set programming
- Unsatisfiable core analysis and aggregates for optimum stable model search
- The External Interface for Extending WASP
- Chain answer sets for logic programs with generalized atoms
- Enhancing magic sets with an application to ontological reasoning
- Enumeration of minimal models and MUSes in WASP
- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination
- QMaxSATpb: a certified MaxSAT solver
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- Solving problems in the polynomial hierarchy with ASP(Q)
- What is answer set programming to propositional satisfiability
- Manipulation of articulated objects using dual-arm robots via answer set programming
- selp: a single-shot epistemic logic program solver
- Shared aggregate sets in answer set programming
- Complexity and compilation of GZ-aggregates in answer set programming
This page was built for software: WASP