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: 91,628

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

Stratified, Weak Stratified, and Three-valued Semantics.Melvin Fitting & Marion Ben-Jacob - unknown
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
Well-founded semantics for defeasible logic.Frederick Maier & Donald Nute - 2010 - Synthese 176 (2):243 - 274.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Well-Founded Semantics, Generalized.Melvin C. Fitting - unknown
Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4.Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio & Jesús R. Paradela - 2016 - Bulletin of the Section of Logic 45 (2).
Default Reasoning, Belief, and Context.John Andrew Schwartz - 1996 - Dissertation, The University of Texas at Austin
On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic. [REVIEW]James Hawthorne - 1998 - Journal of Philosophical Logic 27 (1):1-34.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
Exposing the Causal Structure of Processes by Learning CP-Logic Programs.Hendrik Blockeel - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 2--2.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
Star models and the semantics of infectiousness.Matthew W. G. McClure - 2020 - Undergraduate Philosophy Journal of Australasia 2 (2):35–57.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,454,899)

6 months
5 (#625,697)

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