First-order logical filtering
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1670467 (Why is no real title available?)
- scientific article; zbMATH DE number 4178809 (Why is no real title available?)
- scientific article; zbMATH DE number 5547961 (Why is no real title available?)
- scientific article; zbMATH DE number 44621 (Why is no real title available?)
- scientific article; zbMATH DE number 67494 (Why is no real title available?)
- scientific article; zbMATH DE number 89002 (Why is no real title available?)
- scientific article; zbMATH DE number 1759389 (Why is no real title available?)
- scientific article; zbMATH DE number 2085250 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- scientific article; zbMATH DE number 1390356 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- Bounded model checking using satisfiability solving
- FLUX: A logic programming method for reasoning agents
- Factorial hidden Markov models
- First-order logical filtering
- Foundations of deterministic and stochastic control
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- How to progress a database
- Interpolation Theorems for Resolution in Lower Predicate Calculus
- Iterated belief change in the situation calculus
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Partition-based logical reasoning for first-order and propositional theories
- Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
- Proving properties of states in the situation calculus
- Sequential Monte Carlo Methods in Practice
- Stability and performance of switching Kalman filters
- State Constraints Revisited
- Stochastic models, estimation, and control. Vol. 1
- The size of a revised knowledge base
Cited in
(5)
This page was built for publication: First-order logical filtering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543591)