Sciweavers

Share
AMAI
1999
Springer

Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

8 years 10 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic programming based knowledge representation techniques to constraint programming and because implementation methods for the stable model semantics for ground (variable-free) programs have advanced significantly in recent years. For a program with variables these methods need a grounding procedure for generating a variable-free program. As a practical approach to handling the grounding problem a subclass of logic programs, domain restricted programs, is proposed. This subclass enables efficient grounding procedures and serves as a basis for integrating built-in predicates and functions often needed in applications. It is shown that the novel paradigm embeds classical logical satisfiability and standard (finite domain) constraint satisfaction problems but seems to provide a more expressive framework from a knowledge...
Ilkka Niemelä
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1999
Where AMAI
Authors Ilkka Niemelä
Comments (0)
books