- 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
Analysing inconsistent first-order knowledgebases
Artificial Intelligence 172 (8-9):1064-1093 (2008)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals.Jaykov Foukzon - 2015 - British Journal of Mathematics and Computer Science 9 (5):380-393.
Notes on ω-inconsistent theories of truth in second-order languages.Eduardo Barrio & Lavinia Picollo - 2013 - Review of Symbolic Logic 6 (4):733-741.
Truth without standard models: some conceptual problems reloaded.Eduardo Barrio & Bruno Da Ré - 2018 - Journal of Applied Non-Classical Logics 28 (1):122-139.
How to Give a Piece of Your Mind: Or, the Logic of Belief and Assent.Ronald B. De Sousa - 1971 - Review of Metaphysics 25 (1):52 - 79.
The ontological commitments of inconsistent theories.Mark Colyvan - 2008 - Philosophical Studies 141 (1):115 - 123.
An Analysis of Inconsistent and Incomplete Necker Cubes.Chris Mortensen - 2006 - Australasian Journal of Logic 4:216-225.
The Temporal Order in an Inconsistent Non-Dualism.Thomas Hainscho - 2019 - Constructivist Foundations 15 (2):185-186.
Inconsistent models of artihmetic Part II : The general case.Graham Priest - 2000 - Journal of Symbolic Logic 65 (4):1519-1529.
On the consistency of the Δ11-CA fragment of Frege's grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
Analytics
Added to PP
2020-12-22
Downloads
4 (#1,599,757)
6 months
1 (#1,516,429)
2020-12-22
Downloads
4 (#1,599,757)
6 months
1 (#1,516,429)
Historical graph of downloads
Citations of this work
Epistemic justification in the context of pursuit: a coherentist approach.Dunja Šešelja & Christian Straßer - 2014 - Synthese 191 (13):3111-3141.
Inconsistency measures for probabilistic logics.Matthias Thimm - 2013 - Artificial Intelligence 197 (C):1-24.
On the complexity of inconsistency measurement.Matthias Thimm & Johannes P. Wallner - 2019 - Artificial Intelligence 275 (C):411-456.
On the expressivity of inconsistency measures.Matthias Thimm - 2016 - Artificial Intelligence 234 (C):120-151.
Sigma: An Integrated Development Environment for Formal Ontology.Adam Pease & Christoph Benzmüller - 2013 - AI Communications 26 (1):79-97.
References found in this work
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.
Classifications for inconsistent theories.John Grant - 1978 - Notre Dame Journal of Formal Logic 19 (3):435-444.
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-7c76586df8-5tf24 uwo