WASP
From MaRDI portal
Cited in
(only showing first 100 items - show all)- 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
- QUICKXPLAIN
- ActHEX
- asprin
- Kara
- onlineSPARC
- SeaLion
- SWISH DataLab
- spock
- selp
- Web-STAR
- SociaLite
- ASPTools
- DLV2
- fasp2smt
- maxino
- OMiGA
- pyglaf
- pyrunlim
- Hexlite
- ASP-G
- CPCES
- MASTRO
- eclingo
- 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
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Incremental answer set programming with overgrounding
- Design and results of the Fifth Answer Set Programming Competition
- Multi-shot ASP solving with clingo
This page was built for software: WASP
