Mechanizing temporal knowledge

&
Artificial Intelligence 9 (1):87-108 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(77)90015-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

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

Mechanizing Proof: Computing, Risk, and Trust.I. Chiu - 2002 - Knowledge, Technology & Policy 14 (4):164-165.
Mechanizing logic I, map logic extended formally to relational arguments & Mechanizing logic II, automated map logic method for relational arguments on paper and by computer.John S. Rybak - 1983 - Sydney: J. & J. Rybak. Edited by Janet M. Rybak.
A Temporal Knowledge Argument.Paul Merriam - manuscript
Representing temporal knowledge in legal discourse.B. Knight, J. Ma & E. Nissan - unknown
The Temporal Knowledge Argument 2.Paul Merriam - manuscript
Atemporality and the mode of divine knowledge.Gregory Ganssle - 1993 - International Journal for Philosophy of Religion 34 (3):171 - 180.
Mechanizing Hypothesis Formation.Bruce G. Buchanan - 1983 - In P. D. Asquith & T. Nickles (eds.), Psa 1982. Philosophy of Science Association. pp. 2--129.
Mechanizing the Search for Explanatory Hypotheses.Bruce G. Buchanan - 1982 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1982:129 - 146.
Temporal predication with temporal parts and temporal counterparts.Thomas Sattig - 2003 - Australasian Journal of Philosophy 81 (3):355 – 368.
Knowledge and the sacred.Seyyed Hossein Nasr - 1981 - New York: Crossroad.
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.
Bridging Theorem Proving and Mathematical Knowledge Retrieval.Christoph Benzmüller, Andreas Meier & Volker Sorge - 2004 - In Dieter Hutter (ed.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer. pp. 277-296.
Perceptual transparency and the temporal structure of experience.Matthew Heeney - 2020 - Philosophical Studies 178 (6):1829-1844.
Presentism, Passage, Phenomenology and Physicalism.Kristie Miller & Jane Weiling Loo - 2016 - Manuscrito 39 (4):183-201.
Variation of temporal intervals among critical events in five studies of knowledge of results.Edward A. Bilodeau & Ina Mcd Bilodeau - 1958 - Journal of Experimental Psychology 55 (6):603.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,800,073)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Temporal constraint networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.
Constraint propagation with interval labels.Ernest Davis - 1987 - Artificial Intelligence 32 (3):281-331.
Artificial Perception of Actions.Robert Thibadeau - 1986 - Cognitive Science 10 (2):117-149.
A framework for knowledge-based temporal abstraction.Yuval Shahar - 1997 - Artificial Intelligence 90 (1-2):79-133.

View all 6 citations / Add more citations

References found in this work

Add more references