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