WASP

swMATH9565MaRDI QIDQ21546FDOQ21546

Author name not available (Why is that?)

Official website: http://alviano.github.io/wasp/

Described by source

• Advances in WASP

Cited In (90)

• Boosting Answer Set Optimization with Weighted Comparator Networks
• Rewriting optimization statements in answer-set programs
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• 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
• Hybrid ASP-based approach to pattern mining
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Title not available (Why is that?)
• Unsatisfiable core analysis and aggregates for optimum stable model search
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
• Manipulation of articulated objects using dual-arm robots via answer set programming
• Disjunctive answer set solvers via templates
• The Hexlite solver. Lightweight and efficient evaluation of HEX programs
• Enhancing DLV for large-scale reasoning
• The ASP system DLV2
• 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.
• 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
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• Incremental answer set programming with overgrounding
• LUPS
• Cmodels
• DLV
• Gringo
• Lparse
• Smodels
• ASPIDE
• Potassco
• GASP
• plasp
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• Clingcon
• Clingo
• f2lp
• VIDEAS
• ASPMT2SMT
• MUSer2
• OOASP
• ROSoClingo
• 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
• Datalog
• MRtrix
• Partial compilation of ASP programs
• GrappaVis
• Lpopt
• IDP3
• ezcsp
• QUICKXPLAIN
• onlineSPARC
• selp
• ASPTools
• fasp2smt
• maxino
• ASP-G
• 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
• 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
• 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