Clingcon
From MaRDI portal
Software:21871
No author found.
Related Items (38)
Building Information Modeling Using Constraint Logic Programming ⋮ On abstract modular inference systems and solvers ⋮ aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming ⋮ A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions ⋮ 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 ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ CASP solutions for planning in hybrid domains ⋮ Partial Compilation of ASP Programs ⋮ Hybrid metabolic network completion ⋮ Weight constraint programs with evaluable functions ⋮ Constraint CNF: SAT and CSP Language Under One Roof. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Relating constraint answer set programming languages and algorithms ⋮ Detection and exploitation of functional dependencies for model generation ⋮ Stable model semantics for founded bounds ⋮ Business process verification with constraint temporal answer set programming ⋮ ASP modulo CSP: The clingcon system ⋮ Constraint Answer Set Solving ⋮ Conflict-driven answer set solving: from theory to practice ⋮ A translational approach to constraint answer set solving ⋮ Multi-shot ASP solving with clingo ⋮ 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 ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ A Module-Based Framework for Multi-language Constraint Modeling ⋮ CR-Prolog as a Specification Language for Constraint Satisfaction Problems ⋮ Constraint Answer Set Programming Systems ⋮ First-order stable model semantics with intensional functions ⋮ Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers ⋮ An Answer Set Solver for non-Herbrand Programs: Progress Report ⋮ Domain expansion for ASP-programs with external sources ⋮ Answer Set Solving with Lazy Nogood Generation
This page was built for software: Clingcon
