Ontic: A knowledge representation system for mathematics

Artificial Intelligence 62 (2):355-362 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(93)90083-n

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

Basic logic for ontic and deontic modalities.Jean-Louis Gardies - 1998 - Logica Trianguli 2:31-47.
In defense of an essentialist approach to Ontic Structural Realism.Tomasz Bigaj - 2014 - Methode: Analytic Perspective 3 (4):1-24.
Investigations linking the philosophy and psychology of mathematics.James Keller - 2020 - Dissertation, University of Illinois, Urbana-Champaign
On Qin Jiushao’s writing system.Zhu Yiwen - 2020 - Archive for History of Exact Sciences 74 (4):345-379.
The growth of mathematical knowledge: An open world view.Carlo Cellucci - 2000 - In Emily Grosholz & Herbert Breger (eds.), The growth of mathematical knowledge. Boston: Kluwer Academic Publishers. pp. 153--176.
Mathematics and Experience.Ladislav Kvasz - 2009 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 16 (2):146-182.
Problems in Applying Mathematics: On the Inferential and Representational Limits of Mathematics in Physics.Kevin J. Davey - 2003 - Dissertation, University of Pittsburgh
Mathematics and Experience.Ladislav Kvasz - 2014 - Vienna Circle Institute Yearbook 17:117-129.
Mathematics as a science of patterns.Michael David Resnik - 1997 - New York ;: Oxford University Press.
Determinism is ontic, determinability is epistemic.Harald Atmanspacher - 2001 - In Harald Atmanspacher & Robert C. Bishop (eds.), Between Chance and Choice: Interdisciplinary Perspectives on Determinism. Thorverton Uk: Imprint Academic. pp. 49--74.
Model for knowledge and legal expert systems.Anja Oskamp - 1992 - Artificial Intelligence and Law 1 (4):245-274.
Ontic and epistemic descriptions of chaotic systems.Harald Atmanspacher - manuscript
Cognitive Modeling and Representation of Knowledge in Ontological Engineering.Christine W. Chan - 2003 - Brain and Mind 4 (2):269-282.
Mathematics as a Science of Patterns.Michael D. Resnik - 1997 - Oxford, GB: Oxford University Press UK.
The Benacerraf Problem as a Challenge for Ontic Structural Realism.Majid Davoody Beni - 2020 - Philosophia Mathematica 28 (1):35-59.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,382,898)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Natarajan Shankar
International University College

Citations of this work

No citations found.

Add more citations

References found in this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.

Add more references