Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints

Approximation fixpoint theory (AFT) is an algebraic study of fixpoints of lattice operators that unifies various knowledge representation formalisms. In AFT, stratification of operators has been studied, essentially resulting in a theory that specifies when certain types of fixpoints can be computed...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ACM transactions on computational logic 2021-01, Vol.22 (1), p.1-19, Article 6
Hauptverfasser:	Bogaerts, Bart, Cruz-Filipe, Luís
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebraic semantics Artificial intelligence Computing methodologies Data management systems Database management system engines Formal language definitions Information systems Integrity checking Knowledge representation and reasoning Nonmonotonic, default reasoning and belief revision Program semantics Semantics Semantics and reasoning Software and its engineering Software notations and tools Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!