Gelfond–Zhang aggregates as propositional formulas

Answer Set Programming (ASP) has become a popular and widespread paradigm for practical Knowledge Representation thanks to its expressiveness and the available enhancements of its input language. One of such enhancements is the use of aggregates, for which different semantic proposals have been made...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Artificial intelligence 2019-09, Vol.274, p.26-43
Hauptverfasser:	Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Schellhorn, Sebastian
Format:	Artikel
Sprache:	eng
Schlagworte:	Aggregates Answer Set Programming Artificial Intelligence Computer Science Declarative programming Knowledge representation Mathematical programming Semantics Syntax
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!