Applying the persistent set approach in temporal reasoning
From MaRDI portal
Recommendations
Cites work
- Efficient reasoning about rich temporal domains
- Equality and Domain Closure in First-Order Databases
- Frames in the space of situations
- scientific article; zbMATH DE number 4174343 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- Nonmonotonic logic and temporal projection
- Nonmonotonic reasoning in the framework of situation calculus
- Propositional knowledge base revision and minimal change
- Reasoning about action. I: A possible worlds approach
Cited in
(2)
This page was built for publication: Applying the persistent set approach in temporal reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924730)