Tractable approximate deduction for OWL

, &
Artificial Intelligence 235 (C):95-155 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.10.004

Links

PhilArchive



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

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

Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
On some tractable classes in deduction and abduction.Alvaro del Val - 2000 - Artificial Intelligence 116 (1-2):297-313.
Approximate Similarities and Poincaré Paradox.Giangiacomo Gerla - 2008 - Notre Dame Journal of Formal Logic 49 (2):203-226.
Approximate truth and scientific realism.Thomas Weston - 1992 - Philosophy of Science 59 (1):53-74.
3. The Quid Juris.Dennis Schulting - 2018 - In Kant’s Deduction From Apperception: An Essay on the Transcendental Deduction of the Categories. De Gruyter. pp. 28-62.
“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof.Fang-Wen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:147-162.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.
A Pragmatic Justification of Deduction.Melanie Rosen - 2009 - Kritike 3 (1):155-167.
11. On the ‘Second Step’ of the B-Deduction.Dennis Schulting - 2018 - In Kant’s Deduction From Apperception: An Essay on the Transcendental Deduction of the Categories. De Gruyter. pp. 290-322.
The Two Steps of the B-Deduction.Markku Leppäkoski - 1998 - Kantian Review 2:107-116.
The Proof Structure of Kant's A-Deduction.Michael Barker - 2001 - Kant Studien 92 (3):259-282.
Genealogy and Jurisprudence in Fichte’s Genetic Deduction of the Categories.G. Anthony Bruno - 2018 - History of Philosophy Quarterly 35 (1):77-96.
Apperception and Analyticity in the B-Deduction.Henry E. Allison - 1993 - Grazer Philosophische Studien 44 (1):233-252.
Kant and the “Mystery Hidden” in the Critique of Pure Reason: A Methodological Approach to the A-Deduction Argument.Adriano Perin - 2018 - Manuscrito 41 (2):53-88.
Apperception and Analyticity in the B-Deduction.Henry E. Allison - 1993 - Grazer Philosophische Studien 44 (1):233-252.

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,081,406)

6 months
8 (#353,767)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ren Yuan
National Sun Yat-sen University

Citations of this work

No citations found.

Add more citations

References found in this work

Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.
Tractable reasoning via approximation.Marco Schaerf & Marco Cadoli - 1995 - Artificial Intelligence 74 (2):249-310.

View all 7 references / Add more references