A four-valued semantics for terminological logics

Artificial Intelligence 38 (3):319-351 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(89)90036-2

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

Three-valued logics for incomplete information and epistemic logic.Davide Ciucci & Didier Dubois - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 147--159.
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.Marcelo E. Coniglio & Abilio Rodrigues - 2024 - Studia Logica 112 (3):561-606.
Possibility theory, probability theory, and muliple-valued logics: A clarification.Henri Prade & D. Dubois - 2001 - Annals of Mathematics and Artificial Intelligence 32:35--66.
Realizability of three-valued semantics for abstract dialectical frameworks.Jörg Pührer - 2020 - Artificial Intelligence 278 (C):103198.
Three-valued nonmonotonic formalisms and semantics of logic programs.Teodor Przymusinski - 1991 - Artificial Intelligence 49 (1-3):309-343.
A new semantics for overriding in description logics.P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro - 2015 - Artificial Intelligence 222 (C):1-48.
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.
Three-valued semantics for hybrid MKNF knowledge bases revisited.Fangfang Liu & Jia-Huai You - 2017 - Artificial Intelligence 252 (C):123-138.
Conflict-tolerant semantics for argumentation frameworks.Ofer Arieli - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 28--40.
Diverse confidence levels in a probabilistic semantics for conditional logics.Paul Snow - 1999 - Artificial Intelligence 113 (1-2):269-279.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,280,687)

6 months
5 (#711,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tractable reasoning via approximation.Marco Schaerf & Marco Cadoli - 1995 - Artificial Intelligence 74 (2):249-310.
Terminological reasoning is inherently intractable.Bernhard Nebel - 1990 - Artificial Intelligence 43 (2):235-249.
A comment on relevant truth table logic.Chris Brink - 1992 - Journal of Applied Non-Classical Logics 2 (2):243-246.

View all 7 citations / Add more citations

References found in this work

Undecidability of subsumption in NIKL.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 39 (2):263-272.

Add more references