- 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
Introduction to the Fluent Calculus
Abstract
The present introduction to the Fluent Calculus is intended as an ETAI reference article. It summarizes basic definitions and concepts in the Fluent Calculus, and is intended as a reference for future articles where the calculus is used.Other Versions
No versions found
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
- Only published works are available at libraries.
My notes
Similar books and articles
The Concurrent, Continuous Fluent Calculus.Thielscher Michael - 2001 - Studia Logica 67 (3):315-331.
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem.Michael Thielscher - 1999 - Artificial Intelligence 111 (1-2):277-299.
Soundness and completeness of the Cirquent calculus system CL6 for computability logic.Wenyan Xu & Sanyang Liu - 2012 - Logic Journal of the IGPL 20 (1):317-330.
The Event Calculus in Classical Logic - Alternative Axiomatisations.Rob Miller & Murray Shanahan - 1999 - Linköping Electronic Articles in Computer and Information Science 4.
Mathematics and history: history and analysis epistemology: from exhaustion method to defined integral.Mario Mandrone - 2015 - Science and Philosophy 3 (1):37-60.
The rewriting calculus - part II.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):377-410.
VALIDITY: A Learning Game Approach to Mathematical Logic.Steven James Bartlett - 1973 - Hartford, CT: Lebon Press. Edited by E. J. Lemmon.
Analytics
Added to PP
2022-12-07
Downloads
12 (#1,359,566)
6 months
5 (#1,021,231)
2022-12-07
Downloads
12 (#1,359,566)
6 months
5 (#1,021,231)
Historical graph of downloads
Citations of this work
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.
Representing the Zoo World and the Traffic World in the language of the causal calculator.Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):105-140.
Representations for robot knowledge in the KnowRob framework.Moritz Tenorth & Michael Beetz - 2017 - Artificial Intelligence 247 (C):151-169.
A history based approximate epistemic action theory for efficient postdictive reasoning.Manfred Eppe & Mehul Bhatt - 2015 - Journal of Applied Logic 13 (4):720-769.
M odular- E and the role of elaboration tolerance in solving the qualification problem.Antonis Kakas, Loizos Michael & Rob Miller - 2011 - Artificial Intelligence 175 (1):49-78.
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-f8568656d-2jqln uwo