First-order logical filtering

DOI10.1016/J.ARTINT.2010.04.015MaRDI QIDQ543591zbMATH OpenOpenAlexFDO

Authors Afsaneh Shirazi, Eyal Amir

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

filteringfirst-order logicsituation calculusbelief update

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 549986
• Decidable reasoning in a first-order logic of limited conditional belief
• Probabilistic logic programming for hybrid relational domains
• Limited reasoning in first-order knowledge bases
• Lifted Bayesian filtering in multiset rewriting systems

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)

• Probabilistic logic programming for hybrid relational domains
• A Comprehensive Framework for Learning Declarative Action Models
• First-order logical filtering
• John McCarthy's legacy
• Lifted Bayesian filtering in multiset rewriting systems

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)