Integrated Use of System Z for Preferred Answer Set Programming

Answer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for exceptions. While ASP excels with an intuitive rule-based syntax, fast solvers, and is suited to solve complex combinatorial search problems...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of the International Florida Artificial Intelligence Research Society Conference Ročník 38; číslo 1
Hlavní autori:	Wilhelm, Marco, Thevapalan, Andre, Kern-Isberner, Gabriele
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	LibraryPress@UF 14.05.2025
Predmet:	conditional reasoning preferred answer set programming System Z
ISSN:	2334-0754, 2334-0762
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!