- 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
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
Cambridge: Mass. : MIT Press (2001)
Abstract
Specifying and implementing dynamical systems with the situation calculus.
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Logic-based Knowledge Representation.Peter Jackson, Han Reichgelt & Frank Van Harmelen - 1989 - MIT Press.
A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
Model for knowledge and legal expert systems.Anja Oskamp - 1992 - Artificial Intelligence and Law 1 (4):245-274.
On the logical foundations of compound predicate formulae for legal knowledge representation.Hajime Yoshino - 1997 - Artificial Intelligence and Law 5 (1-2):77-96.
Expert networks: Paradigmatic conflict, technological rapproachement. [REVIEW]R. C. Lacher - 1993 - Minds and Machines 3 (1):53-71.
Knowledge representation by schemata in financial expert systems.P. Lévine & J. -Ch Pomerol - 1989 - Theory and Decision 27 (1-2):147-161.
Representing and using legal knowledge in integrated decision support systems: Datalex workstations. [REVIEW]Graham Greenleaf, Andrew Mowbray & Peter Dijk - 1995 - Artificial Intelligence and Law 3 (1-2):97-142.
Channeling knowledge: Expert Systems as communications media. [REVIEW]Randall Whitaker & Olov Östberg - 1988 - AI and Society 2 (3):197-208.
Problems of nomenclature and classification in medical expert systems.Peter Hucklenbroich - 1988 - Theoretical Medicine and Bioethics 9 (2).
Knowledge Representation in Medicine and Clinical Behavioural Science.Ladislav Kohout & Wyllis Bandler - 1986 - CRC Press.
Formalization of intensional functions and epistemic knowledge representation systems.Grzegorz Malinowski - 1999 - Logica Trianguli 3:111-118.
Analytics
Added to PP
2015-02-02
Downloads
4 (#1,550,102)
6 months
3 (#880,460)
2015-02-02
Downloads
4 (#1,550,102)
6 months
3 (#880,460)
Historical graph of downloads
Citations of this work
Causes and explanations: A structural-model approach. Part I: Causes.Joseph Y. Halpern & Judea Pearl - 2005 - British Journal for the Philosophy of Science 56 (4):843-887.
Interpreting plural predication: homogeneity and non-maximality.Manuel Križ & Benjamin Spector - 2020 - Linguistics and Philosophy 44 (5):1131-1178.
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.
Applying global workspace theory to the frame problem.Murray Shanahan & Bernard Baars - 2005 - Cognition 98 (2):157-176.
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-6d9b7f7c4c-sqt28 uwo