Constraint answer set solver EZCSP and why integration schemas matter

DOI10.1017/S1471068417000102zbMath1379.68038arXiv1702.04047MaRDI QIDQ4593093

Marcello Balduccini, Yuliya Lierler

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.04047

zbMATH Keywords

knowledge representationnonmonotonic reasoningconstraint answer set programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (8)

Building Information Modeling Using Constraint Logic Programming ⋮ Constraint Answer Set Programming without Grounding ⋮ Partial Compilation of ASP Programs ⋮ The External Interface for Extending WASP ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming ⋮ Testing in ASP: revisited language and programming environment ⋮ ezcsp

Uses Software

• Smodels
• DLV-EX
• B-Prolog
• Zinc
• SICStus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relating constraint answer set programming languages and algorithms
• Answer set programming based on propositional satisfiability
• The design of the zinc modelling language
• On the relation among answer set solvers
• Integrating answer set programming and constraint logic programming
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Nested expressions in logic programs
• External sources of knowledge and value invention in logic programming
• SICStus Prolog—The first 25 years
• The language features and architecture of B-Prolog
• System aspmt2smt: Computing ASPMT Theories by SMT Solvers
• Perspectives on Logic-Based Approaches for Reasoning about Actions and Change
• Industrial-Size Scheduling with ASP+CP
• Transition systems for model generators—A unifying approach
• Solving SAT and SAT Modulo Theories
• A translational approach to constraint answer set solving
• The well-founded semantics for general logic programs
• Constraint Answer Set Solving
• Weight constraints as nested expressions
• Logic Programming
• Theory and Applications of Satisfiability Testing
• Computable Functions in ASP: Theory and Implementation
• A machine program for theorem-proving
• Theory and Applications of Satisfiability Testing

This page was built for publication: Constraint answer set solver EZCSP and why integration schemas matter