A polynomial reduction of forks into logic programs

, , , , &
Artificial Intelligence 308 (C):103712 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103712

Links

PhilArchive



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

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

Forgetting auxiliary atoms in forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2019 - Artificial Intelligence 275 (C):575-601.
Syntactic ASP forgetting with forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2024 - Artificial Intelligence 326 (C):104033.
Infinitary equilibrium logic and strongly equivalent logic programs.Amelia Harrison, Vladimir Lifschitz, David Pearce & Agustín Valverde - 2017 - Artificial Intelligence 246 (C):22-33.
Light affine lambda calculus and polynomial time strong normalization.Kazushige Terui - 2007 - Archive for Mathematical Logic 46 (3-4):253-280.
LUPS—A language for updating logic programs.José Júlio Alferes, Luı́s Moniz Pereira, Halina Przymusinska & Teodor C. Przymusinski - 2002 - Artificial Intelligence 138 (1-2):87-116.
Ordered completion for logic programs with aggregates.Vernon Asuncion, Yin Chen, Yan Zhang & Yi Zhou - 2015 - Artificial Intelligence 224 (C):72-102.
A selective semantics for logic programs with preferences.Alfredo Gabaldon - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 215--227.
Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.
Preferred answer sets for extended logic programs.Gerhard Brewka & Thomas Eiter - 1999 - Artificial Intelligence 109 (1-2):297-356.
A note on the stable model semantics for logic programs.Michael Kaminski - 1997 - Artificial Intelligence 96 (2):467-479.

Analytics

Added to PP
2022-04-08

Downloads
8 (#1,344,496)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references