Cited in
(only showing first 100 items - show all)- 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
- DualGrounder
- xASP
- LARS
- 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
- Chain answer sets for logic programs with generalized atoms
- The External Interface for Extending WASP
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
- 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
- xclingo
- Complexity and compilation of GZ-aggregates in answer set programming
- Disjunctive answer set solvers via templates
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- Boosting Answer Set Optimization with Weighted Comparator Networks
- Enhancing DLV for large-scale reasoning
- DiscASP
- 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
- scientific article; zbMATH DE number 7453125 (Why is no real title available?)
- Paracoherent answer set computation
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
- 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
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Managing caching strategies for stream reasoning with reinforcement learning
- Anytime answer set optimization via unsatisfiable core shrinking
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Coalition formation in social environments with logic-based agents1
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- ASPeRiX
- ASSAT
- LUPS
- DLVHEX
- Cmodels
- DLV
- Gringo
- Lparse
- Smodels
- ASPIDE
- Potassco
- clasp
- GASP
- plasp
- PhyloWS
- Galliwasp
- Clingcon
- Clingo
- f2lp
- VIDEAS
- iClingo
- claspfolio 2
- ASPMT2SMT
- MUSer2
- OOASP
- ROSoClingo
- LMHS
- BEE
- SpySMAC
- MiningZinc
- Datalog
- MRtrix
- htd
- GrappaVis
- Lpopt
- IDP3
- GidL
- MiniSearch
- lp2normal
- CLOSET
- asprilo
- BigDatalog
- ezcsp
- Moviola
- GI-log
This page was built for software: WASP
