Software:21871

swMATH9892MaRDI QIDQ21871FDOQ21871

Author name not available (Why is that?)

Described by source

• Clingcon: The next generation

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