Revisiting Explicit Negation in Answer Set Programming

A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in front of atoms, rather than allowing its use as a regular operator. In this paper we cons...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2019-09, Vol.19 (5-6), p.908-924
Hauptverfasser:	AGUADO, FELICIDAD, CABALAR, PEDRO, FANDINNO, JORGE, PEARCE, DAVID, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN
Format:	Artikel
Sprache:	eng
Schlagworte:	35th International Conference on Logic Programming Declarative programming Mathematical programming Original Article
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!