scientific article
From MaRDI portal
Publication:3089162
zbMath1219.68083MaRDI QIDQ3089162
Publication date: 24 August 2011
Full work available at URL: https://www.mat.unical.it/ASPOCP09/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
specification languageconstraint satisfaction problemsglobal constraintsunified approachanswer 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)
Related Items (13)
On abstract modular inference systems and solvers ⋮ aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming ⋮ A New Incarnation of Action Language H ⋮ System aspmt2smt: Computing ASPMT Theories by SMT Solvers ⋮ A model building framework for answer set programming with external computations ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ 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 ⋮ Relating constraint answer set programming languages and algorithms ⋮ Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP ⋮ First-order stable model semantics with intensional functions
Uses Software
This page was built for publication:
