Clingcon

swMATH9892MaRDI QIDQ21871FDOQ21871

Author name not available (Why is that?)

Described by source

• \textit{clingcon}: the next generation

Cited In (38)

• 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
• 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
• Inlining external sources in answer set programs
• Aggregating conditionally lexicographic preferences using answer set programming solvers
• Title not available (Why is that?)
• 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
• Multi-shot ASP solving with clingo
• Title not available (Why is that?)
• Partial compilation of ASP programs
• Building Information Modeling Using Constraint Logic Programming
• First-order stable model semantics with intensional functions
• aspartame: solving constraint satisfaction problems with answer set programming
• Weight constraint programs with evaluable functions
• 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
• Detection and exploitation of functional dependencies for model generation

This page was built for software: Clingcon