scientific article; zbMATH DE number 1748588
From MaRDI portal
Publication:4530473
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 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)- scientific article; zbMATH DE number 1696832 (Why is no real title available?)
- KI 2003: Advances in Artificial Intelligence
- NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- The concurrent, continuous fluent calculus
- Foundations of instance level updates in expressive description logics
- The qualification problem: A solution to the problem of anomalous models
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)
