Integrating answer set programming and constraint logic programming
نویسندگان
چکیده
منابع مشابه
Systems integrating answer set programming and constraint programming
We will demonstrate two systems implementing subclasses of a new language AC(C). The language AC(C) not only has the problem modeling power of both Answer Set Prolog (ASP) and Constraint Logic Programming (CLP) but also allows for more efficient inference algorithms combining reasoning techniques from ASP and CLP systems.
متن کاملThe AC(C) Language: Integrating Answer Set Programming and Constraint Logic Programming
Combining Answer Set Programming (ASP) and Constraint Logic Programming (CLP) can create a more powerful language for knowledge representation and reasoning. The language AC(C) is designed to integrate ASP and CLP. Compared with existing integration of ASP and CSP, AC(C) allows representing user-defined constraints. Such integration provides great power for applications requiring logical reason...
متن کاملConstraint Answer Set Programming
Constraint answer set programming (CASP) is a novel, promising direction of research whose roots go back to propositional satisfiability (SAT). SAT solvers are efficient tools for solving boolean constraint satisfaction problems that arise in different areas of computer science, including software and hardware verification. Some constraints are more naturally expressed by non-boolean constructs...
متن کاملConstraint Answer Set Programming Systems
We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a very early stage, we motivate constraint answer set programming and report on related work, our research objectives, preliminary results we achieved, and future work.
متن کاملInductive Logic Programming in Answer Set Programming
In this paper we discuss the design of an Inductive Logic Programming system in Answer Set Programming and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2008
ISSN: 1012-2443,1573-7470
DOI: 10.1007/s10472-009-9116-y