First-order logical filtering

DOI10.1016/J.ARTINT.2010.04.015zbMATH Open1216.68276OpenAlexW2064464798MaRDI QIDQ543591FDOQ543591

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

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

zbMATH Keywords

filteringfirst-order logicsituation calculusbelief update

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Sequential Monte Carlo Methods in Practice
• Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
• Title not available (Why is that?)
• Title not available (Why is that?)
• FLUX: A logic programming method for reasoning agents
• Stochastic models, estimation, and control. Vol. 1
• 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
• Title not available (Why is that?)
• Iterated belief change in the situation calculus
• Title not available (Why is that?)
• Bounded model checking using satisfiability solving
• Title not available (Why is that?)
• The size of a revised knowledge base
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Partition-based logical reasoning for first-order and propositional theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving properties of states in the situation calculus
• Title not available (Why is that?)
• State Constraints Revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stability and performance of switching Kalman filters
• Title not available (Why is that?)
• First-order logical filtering
• Interpolation Theorems for Resolution in Lower Predicate Calculus
• Foundations of deterministic and stochastic control

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)