Integrating answer set programming and constraint logic programming

We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, , for computing answer sets of programs. The algorithm does not require full grounding of a program and combines “classical” ASP solving...

Full description

Saved in:

Bibliographic Details
Published in:	Annals of mathematics and artificial intelligence Vol. 53; no. 1-4; pp. 251 - 287
Main Authors:	Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Netherlands 01.08.2008 Springer Nature B.V
Subjects:	Abduction Algorithms Artificial Intelligence Chromium Complex Systems Computer Science Declarative programming Expert systems Knowledge representation Logic programming Mathematical analysis Mathematical programming Mathematics Programming Prolog Semantics Solvers 68T20 68T27 03B70 Answer set programming 68T35 Constraint logic programming Knowledge representation and reasoning 68T30
ISSN:	1012-2443, 1573-7470
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!