Preferred answer sets for extended logic programs

&
Artificial Intelligence 109 (1-2):297-356 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(99)00015-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.
Answer Sets and Qualitative Decision Making.Gerhard Brewka - 2005 - Synthese 146 (1-2):171-187.
FLP answer set semantics without circular justifications for general logic programs.Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner & Jun Deng - 2014 - Artificial Intelligence 213 (C):1-41.
ASSAT: computing answer sets of a logic program by SAT solvers.Fangzhen Lin & Yuting Zhao - 2004 - Artificial Intelligence 157 (1-2):115-137.
Magic Sets for disjunctive Datalog programs.Mario Alviano, Wolfgang Faber, Gianluigi Greco & Nicola Leone - 2012 - Artificial Intelligence 187-188 (C):156-192.
Abstraction for non-ground answer set programs.Zeynep G. Saribatur, Thomas Eiter & Peter Schüller - 2021 - Artificial Intelligence 300 (C):103563.
The complexity and generality of learning answer set programs.Mark Law, Alessandra Russo & Krysia Broda - 2018 - Artificial Intelligence 259:110-146.
Semi-equilibrium models for paracoherent answer set programs.Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone & João Moura - 2016 - Artificial Intelligence 234 (C):219-271.
Pruning external minimality checking for answer set programs using semantic dependencies.Thomas Eiter & Tobias Kaminski - 2021 - Artificial Intelligence 290 (C):103402.
Infinitary equilibrium logic and strongly equivalent logic programs.Amelia Harrison, Vladimir Lifschitz, David Pearce & Agustín Valverde - 2017 - Artificial Intelligence 246 (C):22-33.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,013,551)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deontic logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
Ethical approaches and autonomous systems.T. J. M. Bench-Capon - 2020 - Artificial Intelligence 281 (C):103239.
Deontic logics for prioritized imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.
Qualitative choice logic.Gerhard Brewka, Salem Benferhat & Daniel Le Berre - 2004 - Artificial Intelligence 157 (1-2):203-237.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references