The concurrent, continuous fluent calculus

DOI10.1023/A:1010558931274MaRDI QIDQ5945924zbMATH OpenOpenAlexFDO

Authors Michael Thielscher

Publication date 14 October 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010558931274

zbMATH Keywords

cognitive roboticsfirst-order logicfluent calculusreasoning about actionsstate update

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Recommendations

• scientific article; zbMATH DE number 1696832
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• A circumscriptive calculus of events
• scientific article; zbMATH DE number 1748588
• Representing Action Domains with Numeric-Valued Fluents

Cited in

(15)

• The qualification problem: A solution to the problem of anomalous models
• A circumscriptive calculus of events
• Intention as commitment toward time
• The aspect calculus
• scientific article; zbMATH DE number 1696781 (Why is no real title available?)
• scientific article; zbMATH DE number 1696832 (Why is no real title available?)
• scientific article; zbMATH DE number 1696834 (Why is no real title available?)
• scientific article; zbMATH DE number 1696835 (Why is no real title available?)
• A Fluent Calculus Semantics for ADL with Plan Constraints
• Representing Action Domains with Numeric-Valued Fluents
• scientific article; zbMATH DE number 1748581 (Why is no real title available?)
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• KI 2003: Advances in Artificial Intelligence
• The process semantics based reasoning about continuous change
• A history based approximate epistemic action theory for efficient postdictive reasoning

This page was built for publication: The concurrent, continuous fluent calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5945924)