Recursive rules with aggregation: a simple unified semantics

Complex reasoning problems are most clearly and easily specified using logical rules, but require recursive rules with aggregation such as count and sum for practical applications. Unfortunately, the meaning of such rules has been a significant challenge, leading to many disagreeing semantics. This...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of logic and computation 2022-12, Vol.32 (8), p.1659-1693
Hauptverfasser:	Liu, Yanhong A, Stoller, Scott D
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!