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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the International Florida Artificial Intelligence Research Society Conference Jg. 38; H. 1
Hauptverfasser:	Wilhelm, Marco, Thevapalan, Andre, Kern-Isberner, Gabriele
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	LibraryPress@UF 14.05.2025
Schlagworte:	conditional reasoning preferred answer set programming System Z
ISSN:	2334-0754, 2334-0762
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!