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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annals of mathematics and artificial intelligence Jg. 53; H. 1-4; S. 251 - 287
Hauptverfasser:	Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer Netherlands 01.08.2008 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!