First-order logical filtering (Q543591): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2010.04.015
@@ Property / DOI: 10.1016/j.artint.2010.04.015 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2010.04.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2064464798
@@ Property / OpenAlex ID: W2064464798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624166
@@ Property / cites work: Q3624166 / rank @@
+Normal rank
@@ Property / cites work @@
+Partition-based logical reasoning for first-order and propositional theories
+Normal rank
@@ Property / cites work @@
+Q2753663
@@ Property / cites work: Q2753663 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability and performance of switching Kalman filters
+Normal rank
@@ Property / cites work @@
+The size of a revised knowledge base
@@ Property / cites work: The size of a revised knowledge base / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Q4736484
@@ Property / cites work: Q4736484 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of deterministic and stochastic control
+Normal rank
@@ Property / cites work @@
+Sequential Monte Carlo Methods in Practice
@@ Property / cites work: Sequential Monte Carlo Methods in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+Factorial hidden Markov models
@@ Property / cites work: Factorial hidden Markov models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3201783
@@ Property / cites work: Q3201783 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012234
@@ Property / cites work: Q4012234 / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models
+Normal rank
@@ Property / cites work @@
+Q4536337
@@ Property / cites work: Q4536337 / rank @@
+Normal rank
@@ Property / cites work @@
+State Constraints Revisited
@@ Property / cites work: State Constraints Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+How to progress a database
@@ Property / cites work: How to progress a database / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic models, estimation, and control. Vol. 1
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934648
@@ Property / cites work: Q4934648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of states in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated belief change in the situation calculus
@@ Property / cites work: Iterated belief change in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logical filtering
@@ Property / cites work: First-order logical filtering / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation Theorems for Resolution in Lower Predicate Calculus
+Normal rank
@@ Property / cites work @@
+From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
+Normal rank
@@ Property / cites work @@
+FLUX: A logic programming method for reasoning agents
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2010.04.015
@@ Property / DOI: 10.1016/J.ARTINT.2010.04.015 / rank @@
+Normal rank