Cited in
(97)- DualGrounder
- Manipulation of articulated objects using dual-arm robots via answer set programming
- Answer set solving with lazy nogood generation
- Building Information Modeling Using Constraint Logic Programming
- Business process verification with constraint temporal answer set programming
- CR-Prolog as a Specification Language for Constraint Satisfaction Problems
- Hybrid metabolic network completion
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Inlining external sources in answer set programs
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Stable model semantics for founded bounds
- A ``conservative approach to extending answer set programming with non-Herbrand functions
- Weight constraint programs with evaluable functions
- The External Interface for Extending WASP
- Pruning external minimality checking for answer set programs using semantic dependencies
- Constraint answer set programming without grounding
- Constraint Answer Set Solving
- Constraint CNF: SAT and CSP Language Under One Roof.
- Representing constraint satisfaction problems in answer set programming
- A translational approach to constraint answer set solving
- Shared aggregate sets in answer set programming
- On abstract modular inference systems and solvers
- An Answer Set Solver for non-Herbrand Programs: Progress Report
- Partial compilation of ASP programs
- Aggregating conditionally lexicographic preferences using answer set programming solvers
- PASTA
- PASOCS
- ASP modulo CSP: the clingcon system
- Detection and exploitation of functional dependencies for model generation
- CASP solutions for planning in hybrid domains
- ASPeRiX
- CP-nets
- ASSAT
- LUPS
- Cmodels
- DLV-EX
- Gringo
- Lparse
- Smodels
- Potassco
- clasp
- GASP
- plasp
- Constraint answer set programming systems
- Galliwasp
- DMCS
- Clingo
- WASP
- Sugar
- iClingo
- OpenRuleBench
- ASPMT2SMT
- ROSoClingo
- FLORA
- XASP
- COBRApy
- A Module-Based Framework for Multi-language Constraint Modeling
- Multi-shot ASP solving with clingo
- Domain expansion for ASP-programs with external sources
- PrASP
- aspcud
- ManyOpt
- Datalog
- miniKanren
- nomore++
- ESRA
- IDP3
- IDP
- MiniSearch
- lp2normal
- asprilo
- COLIN
- ezcsp
- Moviola
- Phylotastic
- BWIBots
- ActHEX
- asprin
- anthem
- fastGapFill
- meneco
- delSAT
- DLV2
- maxino
- Hexlite
- CPCES
- A model building framework for answer set programming with external computations
- eclingo
- Flix
- SMProbLog
- scientific article; zbMATH DE number 5942124 (Why is no real title available?)
- First-order stable model semantics with intensional functions
- sCASP
- Relating constraint answer set programming languages and algorithms
- aspartame: solving constraint satisfaction problems with answer set programming
- Clingo goes linear constraints over reals and integers
- Conflict-driven answer set solving: from theory to practice
This page was built for software: Clingcon
