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