Clingcon
From MaRDI portal
swMATH9892MaRDI QIDQ21871FDOQ21871
Author name not available (Why is that?)
Official website: http://www.cs.uni-potsdam.de/clingcon/
Cited In (94)
- DualGrounder
- Business process verification with constraint temporal answer set programming
- Hybrid metabolic network completion
- Answer set solving with lazy nogood generation
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Inlining external sources in answer set programs
- Title not available (Why is that?)
- Building Information Modeling Using Constraint Logic Programming
- Manipulation of articulated objects using dual-arm robots via answer set programming
- Constraint answer set programming without grounding
- ASP modulo CSP: the clingcon system
- Domain expansion for ASP-programs with external sources
- A model building framework for answer set programming with external computations
- 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
- A translational approach to constraint answer set solving
- PASTA
- PASOCS
- An Answer Set Solver for non-Herbrand Programs: Progress Report
- CASP solutions for planning in hybrid domains
- Clingo goes linear constraints over reals and integers
- 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
- Representing constraint satisfaction problems in answer set programming
- LUPS
- Cmodels
- DLV-EX
- Gringo
- Lparse
- Smodels
- Potassco
- clasp
- GASP
- plasp
- Galliwasp
- DMCS
- Clingo
- WASP
- Sugar
- iClingo
- OpenRuleBench
- ASPMT2SMT
- ROSoClingo
- FLORA
- XASP
- COBRApy
- Multi-shot ASP solving with clingo
- Title not available (Why is that?)
- PrASP
- aspcud
- ManyOpt
- Datalog
- miniKanren
- Partial compilation of ASP programs
- nomore++
- ESRA
- IDP3
- IDP
- MiniSearch
- lp2normal
- asprilo
- COLIN
- ezcsp
- Moviola
- Phylotastic
- BWIBots
- ActHEX
- asprin
- anthem
- fastGapFill
- meneco
- delSAT
- DLV2
- maxino
- Hexlite
- CPCES
- eclingo
- Flix
- SMProbLog
- First-order stable model semantics with intensional functions
- aspartame: solving constraint satisfaction problems with answer set programming
- Weight constraint programs with evaluable functions
- 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
- Constraint Answer Set Solving
- A Module-Based Framework for Multi-language Constraint Modeling
- Shared aggregate sets in answer set programming
- Detection and exploitation of functional dependencies for model generation
This page was built for software: Clingcon
