Integrating answer set programming and constraint logic programming

DOI10.1007/s10472-009-9116-yzbMath1165.68504OpenAlexW2054623824MaRDI QIDQ1028649

Veena S. Mellarkod, Michael Gelfond, Yuan Lin Zhang

Publication date: 6 July 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9116-y

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (25)

On abstract modular inference systems and solvers ⋮ Querying incomplete information in RDF with SPARQL ⋮ A New Incarnation of Action Language H ⋮ A Semantic Account for Modularity in Multi-language Modelling of Search Problems ⋮ Hybrid answer set programming ⋮ Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming ⋮ Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming ⋮ Representing hybrid automata by action language modulo theories ⋮ A model building framework for answer set programming with external computations ⋮ Clingcon: The next generation ⋮ Constraint answer set solver EZCSP and why integration schemas matter ⋮ On relation between constraint answer set programming and satisfiability modulo theories ⋮ CASP solutions for planning in hybrid domains ⋮ Weight constraint programs with evaluable functions ⋮ MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* ⋮ Relating constraint answer set programming languages and algorithms ⋮ Stable model semantics for founded bounds ⋮ ASP modulo CSP: The clingcon system ⋮ Constraint Answer Set Solving ⋮ A translational approach to constraint answer set solving ⋮ The Seventh Answer Set Programming Competition: Design and Results ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Testing in ASP: revisited language and programming environment ⋮ Preface ⋮ First-order stable model semantics with intensional functions

Uses Software

• GULP
• ASSAT
• Cmodels
• Smodels
• SICStus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ASSAT: computing answer sets of a logic program by SAT solvers
• Answer set based design of knowledge systems
• Answer set programming based on propositional satisfiability
• Solving systems of difference constraints incrementally
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Efficient top-down computation of queries under the well-founded semantics
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• cr-models: An Inference Engine for CR-Prolog
• Conflict-Driven Answer Set Enumeration
• Enhancing ASP Systems for Planning with Temporal Constraints
• Logic Programming

This page was built for publication: Integrating answer set programming and constraint logic programming