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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Annals of mathematics and artificial intelligence Ročník 53; číslo 1-4; s. 251 - 287
Hlavní autori:	Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Dordrecht Springer Netherlands 01.08.2008 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!