- 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
John Zeleznikow and Dan Hunter, Building Intelligent Legal Information Systems: Representation and Reasoning in Law.R. Susskind - 1996 - Artificial Intelligence and Law 4:73-76.
Analysing images of curved surfaces.Robert J. Woodham - 1981 - Artificial Intelligence 17 (1-3):117-140.
A framework for analysing state-abstraction methods.Christer Bäckström & Peter Jonsson - 2022 - Artificial Intelligence 302 (C):103608.
Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.
On first-order conditional logics.James P. Delgrande - 1998 - Artificial Intelligence 105 (1-2):105-137.
Inconsistent heuristics in theory and practice.Ariel Felner, Uzi Zahavi, Robert Holte, Jonathan Schaeffer, Nathan Sturtevant & Zhifu Zhang - 2011 - Artificial Intelligence 175 (9-10):1570-1603.
A formalization of programs in first-order logic with a discrete linear order.Fangzhen Lin - 2016 - Artificial Intelligence 235 (C):1-25.
First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.
Knowledge and communication: A first-order theory.Ernest Davis - 2005 - Artificial Intelligence 166 (1-2):81-139.
A logic for reasoning with inconsistent knowledge.Nico Roos - 1992 - Artificial Intelligence 57 (1):69-103.
Analytics
Added to PP
2020-12-22
Downloads
8 (#1,334,194)
6 months
5 (#837,449)
2020-12-22
Downloads
8 (#1,334,194)
6 months
5 (#837,449)
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-6686886f5-5pqs9 uwo