A selective semantics for logic programs with preferences

In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 215--227 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.
A note on the stable model semantics for logic programs.Michael Kaminski - 1997 - Artificial Intelligence 96 (2):467-479.
A progression semantics for first-order logic programs.Yi Zhou & Yan Zhang - 2017 - Artificial Intelligence 250 (C):58-79.
Three-valued nonmonotonic formalisms and semantics of logic programs.Teodor Przymusinski - 1991 - Artificial Intelligence 49 (1-3):309-343.
A semantics for Hybrid Probabilistic Logic programs with function symbols.Damiano Azzolini, Fabrizio Riguzzi & Evelina Lamma - 2021 - Artificial Intelligence 294 (C):103452.
Foreword: Logics of uncertainty. [REVIEW]Daniele Mundici - 2000 - Journal of Logic, Language and Information 9 (1):1-3.
Preferential semantics for the logic of comparative similarity over triangular and metric models.Régis Alenda & Nicola Olivetti - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 1--13.
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs.Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (16-17):1285-1306.
Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
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.

Analytics

Added to PP
2014-01-28

Downloads
15 (#974,361)

6 months
3 (#1,045,430)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references