The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 58 of 1097
Back to Result List

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 consider the arbitrary combination of explicit negation with nested expressions, as those defined by Lifschitz, Tang and Turner. We extend the concept of reduct for this new syntax and then prove that it can be captured by an extension of Equilibrium Logic with this second negation. We study some properties of this variant and compare to the already known combination of Equilibrium Logic with Nelson's strong negation.

Download full text files

  • SHA-512:385831a9dd3d52817daa9d0d94d63b5c62653d932fbe1a476e3c9de4280571f80cf19a5b04cfbcd810e96b25608dd6392c42a332ca303f36b08ec66d37b6289f

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Felicidad AguadoORCiD, Pedro CabalarORCiDGND, Jorge FandinnoORCiD, David PearceORCiD, Gilberto Perez, Concepcion VidalORCiD
URN:urn:nbn:de:kobv:517-opus4-469697
DOI:https://doi.org/10.25932/publishup-46969
ISSN:1866-8372
Title of parent work (German):Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
Publication series (Volume number):Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (1104)
Publication type:Postprint
Language:English
Date of first publication:2021/01/20
Publication year:2019
Publishing institution:Universität Potsdam
Release date:2021/01/20
Tag:Answer Set Programming; Equilibrium logic; explicit negation; non-monotonic reasoning
Issue:1104
Number of pages:19
First page:908
Last Page:924
Source:Theory and Practice of Logic Programming 19 (2019) Special Issue 5-6, pp. 908-924 DOI: 10.1017/S1471068419000267
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
DDC classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Peer review:Referiert
Grantor:Cambridge University Press (CUP)
Publishing method:Open Access / Green Open-Access
License (German):License LogoCC-BY - Namensnennung 4.0 International
External remark:Bibliographieeintrag der Originalveröffentlichung/Quelle
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.