WASP
From MaRDI portal
Cited in
(only showing first 100 items - show all)- ASPeRiX
- ASSAT
- LUPS
- DLVHEX
- Cmodels
- Gringo
- Smodels
- Lparse
- DLV
- What is answer set programming to propositional satisfiability
- ASPIDE
- Potassco
- plasp
- clasp
- GASP
- PhyloWS
- DualGrounder: lazy instantiation via clingo multi-shot framework
- Galliwasp
- VIDEAS
- Clingcon
- Clingo
- f2lp
- Paracoherent answer set computation
- New models for generating hard random Boolean formulas and disjunctive logic programs
- Chain answer sets for logic programs with generalized atoms
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Evaluation of disjunctive programs in WASP
- Enhancing DLV for large-scale reasoning
- iClingo
- claspfolio 2
- The ASP system DLV2
- ASPMT2SMT
- MUSer2
- ROSoClingo
- OOASP
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- Enumeration of minimal models and MUSes in WASP
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- 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
- Solving problems in the polynomial hierarchy with ASP(Q)
- QMaxSATpb: a certified MaxSAT solver
- LMHS
- SpySMAC
- BEE
- Improving the normalization of weight rules in answer set programs
- MiningZinc
- MRtrix
- Datalog
- htd
- The Complexity of Escaping Labyrinths and Enchanted Forests.
- Lpopt
- GrappaVis
- IDP3
- MiniSearch
- GidL
- lp2normal
- CLOSET
- ezcsp
- asprilo
- BigDatalog
- Moviola
- GI-log
- QUICKXPLAIN
- onlineSPARC
- Kara
- SeaLion
- Web-STAR
- SWISH DataLab
- asprin
- ActHEX
- spock
- selp
- SociaLite
- pyrunlim
- pyglaf
- OMiGA
- ASPTools
- fasp2smt
- maxino
- DLV2
- Hexlite
- Shared aggregate sets in answer set programming
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Complexity and compilation of GZ-aggregates in answer set programming
- Fuzzy answer set computation via satisfiability modulo theories
- Optimizing phylogenetic supertrees using answer set programming
- Disjunctive answer set solvers via templates
- Anytime answer set optimization via unsatisfiable core shrinking
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- CPCES
- ASP-G
- Hybrid ASP-based approach to pattern mining
- Optimizing answer set computation via heuristic-based decomposition
- The Seventh Answer Set Programming Competition: Design and Results
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- The External Interface for Extending WASP
- selp: a single-shot epistemic logic program solver
This page was built for software: WASP
