- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Terminological reasoning is inherently intractable
Artificial Intelligence 43 (2):235-249 (1990)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Computational complexity of terminological reasoning in BACK.Bernhard Nebel - 1988 - Artificial Intelligence 34 (3):371-383.
Franz Baader, Hans-Jurgen Burckert, Bernhard Nebel.Werner Nutt & Gert Smolka - 1993 - Journal of Logic, Language and Information 2:1-18.
An empirical analysis of terminological representation systems.Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel & Hans-Jürgen Profitlich - 1994 - Artificial Intelligence 68 (2):367-397.
A four-valued semantics for terminological logics.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 38 (3):319-351.
A refined architecture for terminological systems: Terminology = Schema + Views.M. Buchheit, F. M. Donini, W. Nutt & A. Schaerf - 1998 - Artificial Intelligence 99 (2):209-260.
Witness testimony evidence: argumentation, artificial intelligence, and law.Douglas Walton - 2007 - New York: Cambridge University Press.
Hans-J urgen B urckert, Bernhard Nebel, Werner Nutt, and Gert Smolka. On the expressivity of feature logics with negation, functional uncertainty, and sort equations.Franz Baader - 1993 - Journal of Logic, Language and Information 2:1-18.
Geometric reasoning and artificial intelligence: Introduction to the special volume.Deepak Kapur & Joseph L. Mundy - 1988 - Artificial Intelligence 37 (1-3):1-11.
Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence.Aaron Sloman - 1971 - Artificial Intelligence 2 (3-4):209-225.
Human reasoning about artificial intelligence.Patrick J. Hayes, Kenneth M. Ford & J. R. Adams-Webber - 1994 - Journal of Experimental and Theoretical Artificial Intelligence 4:247-63.
Analytics
Added to PP
2020-12-22
Downloads
7 (#1,406,036)
6 months
2 (#1,446,987)
2020-12-22
Downloads
7 (#1,406,036)
6 months
2 (#1,446,987)
Historical graph of downloads
Citations of this work
Attributive concept descriptions with complements.Manfred Schmidt-Schauß & Gert Smolka - 1991 - Artificial Intelligence 48 (1):1-26.
Tractable reasoning via approximation.Marco Schaerf & Marco Cadoli - 1995 - Artificial Intelligence 74 (2):249-310.
Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services.Jon Doyle & Ramesh S. Patil - 1991 - Artificial Intelligence 48 (3):261-297.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
The complexity of existential quantification in concept languages.Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt & Alberto Marchetti Spaccamela - 1992 - Artificial Intelligence 53 (2-3):309-327.
References found in this work
Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.
An Overview of the KL‐ONE Knowledge Representation System.Ronald J. Brachman & James G. Schmolze - 1985 - Cognitive Science 9 (2):171-216.
An Overview of the KL-ONE Knowledge Representation System.J. Brachman Ronald & G. Schmolze James - 1985 - Cognitive Science 9 (2):171-216.
Computational complexity of terminological reasoning in BACK.Bernhard Nebel - 1988 - Artificial Intelligence 34 (3):371-383.
A four-valued semantics for terminological logics.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 38 (3):319-351.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo