- 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
Optimizing the computation of overriding in DL N
Artificial Intelligence 311 (C):103764 (2022)
Abstract
This article has no associated abstract. (fix it)Author Profiles
My notes
Similar books and articles
Review of The dynamics of judicial proof, computation, logic, and common sense, by M. MacCrimmon and P. Tillers (eds.), Physica-Verlag, Heidelberg, 2002. [REVIEW]Bart Reviewer-Verheij - 2003 - Artificial Intelligence and Law 11 (4):299-303.
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings.Jaques Calmet & Jochen Pfalzgraf - 1996 - Springer Verlag.
Computational semantics: an introduction to artificial intelligence and natural language comprehension.Eugene Charniak & Yorick Wilks (eds.) - 1976 - New York: distributors for the U.S.A. and Canada, Elsevier/North Holland.
P]Lurimoru[M] Astrictus P[Re]Cibus, Quoru[M] P[Ri]de[M] Mee I[N]Troductionis Eloq[Ui]U[M] I[N] Fac[U]Ltate Logice Mentes Demulserat Vt Suo I[N] N[Atur]Alib[Us] P[Ro]Port[I]o[N]is M[Od]o Physicisq[Ue] Doctrinis Formare[M] [Com]Pendiu[M.Johann Paolo, Manthen & Johann - 1476 - [Johannes de Colonia and Johannes Mathen].
On some supposed contributions of artificial intelligence to the scientific study of language.B. Elan Dresher & Norbert Hornstein - 1976 - Cognition 4 (December):321-398.
Cognitive science on a wing and a prayer.William Keith - 1990 - Social Epistemology 343 (October-December):343-355.
Android epistemology: Computation, artificial intelligence.Clark Glymour - 1992 - In Merrilee H. Salmon (ed.), Introduction to the Philosophy of Science. Hackett. pp. 364.
Analytics
Added to PP
2022-07-22
Downloads
8 (#1,345,183)
6 months
6 (#587,658)
2022-07-22
Downloads
8 (#1,345,183)
6 months
6 (#587,658)
Historical graph of downloads
Author Profiles
References found in this work
A non-monotonic Description Logic for reasoning about typicality.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2013 - Artificial Intelligence 195 (C):165-202.
Semantic characterization of rational closure: From propositional logic to description logics.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2015 - Artificial Intelligence 226 (C):1-33.
A new semantics for overriding in description logics.P. A. Bonatti, M. Faella, I. M. Petrova & L. Sauro - 2015 - Artificial Intelligence 222 (C):1-48.
Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
On the logical properties of the nonmonotonic description logic DL N.P. A. Bonatti & L. Sauro - 2017 - Artificial Intelligence 248 (C):85-111.
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-68866f4b87-dxklk uwo