Clingcon
From MaRDI portal
Software:21871
swMATH9892MaRDI QIDQ21871FDOQ21871
Author name not available (Why is that?)
Cited In (38)
- Domain expansion for ASP-programs with external sources
- A model building framework for answer set programming with external computations
- Inlining External Sources in Answer Set Programs
- Business process verification with constraint temporal answer set programming
- aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
- Answer Set Solving with Lazy Nogood Generation
- Constraint CNF: SAT and CSP Language Under One Roof.
- CR-Prolog as a Specification Language for Constraint Satisfaction Problems
- Title not available (Why is that?)
- On abstract modular inference systems and solvers
- Partial Compilation of ASP Programs
- 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
- 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
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
- Title not available (Why is that?)
- Conflict-driven answer set solving: from theory to practice
- Constraint Answer Set Programming without Grounding
- Pruning external minimality checking for answer set programs using semantic dependencies
- Multi-shot ASP solving with clingo
- Title not available (Why is that?)
- ASP modulo CSP: The clingcon system
- Building Information Modeling Using Constraint Logic Programming
- First-order stable model semantics with intensional functions
- Weight constraint programs with evaluable functions
- Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers
- The External Interface for Extending WASP
- A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions
- Stable model semantics for founded bounds
- Constraint Answer Set Solving
- A Module-Based Framework for Multi-language Constraint Modeling
- Shared aggregate sets in answer set programming
- ASPeRiX, a first-order forward chaining approach for answer set computing
- Detection and exploitation of functional dependencies for model generation
This page was built for software: Clingcon
