Three-valued nonmonotonic formalisms and semantics of logic programs

Artificial Intelligence 49 (1-3):309-343 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(91)90013-a

Links

PhilArchive



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

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

Data repair of inconsistent nonmonotonic description logic programs.Thomas Eiter, Michael Fink & Daria Stepanova - 2016 - Artificial Intelligence 239 (C):7-53.
Nonmonotonic reasoning, Grigoris Antoniou.Wiebe van der Hoek - 2000 - Journal of Logic, Language and Information 9 (1):125-128.
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers.Jurgen Dix, Louis M. Pereira & Teodor C. Przymusinski - 1995 - Springer Verlag.
Stratified, Weak Stratified, and Three-valued Semantics.Melvin Fitting & Marion Ben-Jacob - unknown
Realizability of three-valued semantics for abstract dialectical frameworks.Jörg Pührer - 2020 - Artificial Intelligence 278 (C):103198.
Three-valued semantics for hybrid MKNF knowledge bases revisited.Fangfang Liu & Jia-Huai You - 2017 - Artificial Intelligence 252 (C):123-138.
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.
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.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,481,433)

6 months
5 (#836,811)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Autoepistemic logic of knowledge and beliefs.Teodor C. Przymusinski - 1997 - Artificial Intelligence 95 (1):115-154.
Autoepistemic logic revisited.Robert C. Moore - 1993 - Artificial Intelligence 59 (1-2):27-30.

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.

View all 6 references / Add more references