scientific article
Publication:3089162
zbMATH Open1219.68083MaRDI QIDQ3089162FDOQ3089162
Publication date: 24 August 2011
Full work available at URL: https://www.mat.unical.it/ASPOCP09/
Title of this publication is not available (Why is that?)
global constraintsconstraint satisfaction problemsunified approachspecification languageanswer set programming (ASP)industrial-size applications
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (21)
- A model building framework for answer set programming with external computations
- aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
- Title not available (Why is that?)
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers
- On abstract modular inference systems and solvers
- Relating constraint answer set programming languages and algorithms
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
- Logic Programming
- On relation between constraint answer set programming and satisfiability modulo theories
- Title not available (Why is that?)
- CASP solutions for planning in hybrid domains
- Clingcon: The next generation
- Constraint answer set solver EZCSP and why integration schemas matter
- Finding similar/diverse solutions in answer set programming
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
- A New Incarnation of Action Language H
- First-order stable model semantics with intensional functions
- Title not available (Why is that?)
- Constraint Answer Set Solving
- Representing the language of the causal calculator in answer set programming
- ASPeRiX, a first-order forward chaining approach for answer set computing
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3089162)
