The concurrent, continuous fluent calculus

DOI10.1023/A:1010558931274zbMath0981.03036OpenAlexW1584985376MaRDI QIDQ5945924

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

first-order logiccognitive roboticsfluent calculusreasoning about actionsstate update

Mathematics Subject Classification ID

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

Related Items (4)

A history based approximate epistemic action theory for efficient postdictive reasoning ⋮ A Fluent Calculus Semantics for ADL with Plan Constraints ⋮ Intention as commitment toward time ⋮ The qualification problem: A solution to the problem of anomalous models

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