The concurrent, continuous fluent calculus
From MaRDI portal
Publication:5945924
DOI10.1023/A:1010558931274zbMath0981.03036MaRDI QIDQ5945924
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
68T27: Logic in artificial intelligence
03B70: Logic in computer science
03B10: Classical first-order logic
68T40: Artificial intelligence for robotics
Related Items
A history based approximate epistemic action theory for efficient postdictive reasoning, The qualification problem: A solution to the problem of anomalous models, Intention as commitment toward time, A Fluent Calculus Semantics for ADL with Plan Constraints