scientific article; zbMATH DE number 1748588
From MaRDI portal
Publication:4530473
zbMATH Open1052.68124MaRDI QIDQ4530473FDOQ4530473
Authors: Michael Thielscher 
Publication date: 2000
Title of this publication is not available (Why is that?)
Recommendations
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- scientific article; zbMATH DE number 1696834
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- A logic for non-deterministic parallel abstract state machines
- A functional calculus for specification and verification of nondeterministic interactive systems
- Hybrid Systems: Computation and Control
- Non-deterministic semantics for logics with a consistency operator
- KI 2003: Advances in Artificial Intelligence
- scientific article; zbMATH DE number 1696781
Cited In (7)
- The qualification problem: A solution to the problem of anomalous models
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- KI 2003: Advances in Artificial Intelligence
- The concurrent, continuous fluent calculus
- NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
- Foundations of instance level updates in expressive description logics
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530473)
