swMATH9565MaRDI QIDQ21546FDOQ21546
Author name not available (Why is that?)
Official website: http://alviano.github.io/wasp/
Cited In (only showing first 100 items - show all)
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- LARS
- 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
- xclingo
- Paracoherent answer set computation
- 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
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- ASPeRiX
- ASSAT
- LUPS
- DLVHEX
- Cmodels
- DLV
- Gringo
- Lparse
- Smodels
- ASPIDE
- Potassco
- clasp
- GASP
- plasp
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- PhyloWS
- Galliwasp
- Clingcon
- Clingo
- f2lp
- VIDEAS
- iClingo
- claspfolio 2
- ASPMT2SMT
- MUSer2
- OOASP
- ROSoClingo
- LMHS
- BEE
- SpySMAC
- 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
- MiningZinc
- Datalog
- MRtrix
- Partial compilation of ASP programs
- htd
- GrappaVis
- Lpopt
- IDP3
- GidL
- MiniSearch
- lp2normal
- CLOSET
- asprilo
- BigDatalog
- ezcsp
- Moviola
- GI-log
- QUICKXPLAIN
- ActHEX
- asprin
- Kara
- onlineSPARC
- SeaLion
- SWISH DataLab
- spock
- selp
- Web-STAR
- SociaLite
- ASPTools
- DLV2
- fasp2smt
- maxino
- OMiGA
- pyglaf
- pyrunlim
- Hexlite
- ASP-G
- CPCES
- Optimizing answer set computation via heuristic-based decomposition
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- DualGrounder: lazy instantiation via clingo multi-shot framework
- MASTRO
- eclingo
- New models for generating hard random Boolean formulas and disjunctive logic programs
- Evaluation of disjunctive programs in WASP
- The External Interface for Extending WASP
- Enhancing magic sets with an application to ontological reasoning
- What is answer set programming to propositional satisfiability
- Shared aggregate sets in answer set programming
- Complexity and compilation of GZ-aggregates in answer set programming
- DualGrounder
- xASP
- Disjunctive answer set solvers via templates
- Boosting Answer Set Optimization with Weighted Comparator Networks
- Rewriting optimization statements in answer-set programs
This page was built for software: WASP
