First-order logical filtering

DOI10.1016/j.artint.2010.04.015zbMath1216.68276OpenAlexW2064464798MaRDI QIDQ543591

Eyal Amir, Afsaneh Shirazi

Publication date: 17 June 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.015

zbMATH Keywords

first-order logicfilteringsituation calculusbelief update

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Probabilistic logic programming for hybrid relational domains ⋮ A Comprehensive Framework for Learning Declarative Action Models ⋮ John McCarthy's legacy ⋮ First-order logical filtering

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated belief change in the situation calculus
• First-order logical filtering
• Foundations of deterministic and stochastic control
• Stochastic models, estimation, and control. Vol. 1
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Proving properties of states in the situation calculus
• Factorial hidden Markov models
• How to progress a database
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• The size of a revised knowledge base
• Partition-based logical reasoning for first-order and propositional theories
• Sequential Monte Carlo Methods in Practice
• Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
• State Constraints Revisited
• Stability and performance of switching Kalman filters
• Interpolation Theorems for Resolution in Lower Predicate Calculus
• FLUX: A logic programming method for reasoning agents
• Bounded model checking using satisfiability solving