Non-Standard Inferences in Description Logics, vol. 2100 of

In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence. Kluwer Academic Publishers (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

3540423974

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
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

An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
2100 Ke Ji da Wei Lai: Cong Xian Zai Dao 2100 Nian, Ke Ji Jiang Ru He Gai Bian Wo Men de Sheng Huo.Michio Kaku - 2012 - Taibei Shi: Shi bao wen hua chu ban qi ye gu fen you xian gong si. Edited by Shuijin Zhang.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Automated inference in active logics.Michael Miller & Donald Perlis - 1996 - Journal of Applied Non-Classical Logics 6 (1):9-27.
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Preferential Semantics for Plausible Subsumption in Possibility Theory.Guilin Qi & Zhizheng Zhang - 2013 - Minds and Machines 23 (1):47-75.
The logic of conditionals.Ernest Adams - 1965 - Inquiry: An Interdisciplinary Journal of Philosophy 8 (1-4):166 – 197.

Analytics

Added to PP
2014-01-28

Downloads
1 (#1,886,728)

6 months
1 (#1,510,037)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references