About Epistemic Negation and World Views in Epistemic Logic Programs

In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with “ epistemic operators” and “ epistemic negation”, and a recent approach to the semantics of such programs in terms of World Views. We propose some observations on the existence and number of world view...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2019-09, Vol.19 (5-6), p.790-807
1. Verfasser:	COSTANTINI, STEFANIA
Format:	Artikel
Sprache:	eng
Schlagworte:	35th International Conference on Logic Programming Declarative programming Epistemology Logic programs Mathematical programming Original Article Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!