The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604): Difference between revisions

@@ Property / cites work @@
+Decidability and expressiveness for first-order logics of probability
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624166
@@ Property / cites work: Q3624166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5753550
@@ Property / cites work: Q5753550 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about noisy sensors and effectors in the situation calculus
+Normal rank
@@ Property / cites work @@
+A Maximization Technique Occurring in the Statistical Analysis of Probabilistic Functions of Markov Chains
+Normal rank
@@ Property / cites work @@
+Q4411831
@@ Property / cites work: Q4411831 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of probabilistic and nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Lucas/Kanade meets Horn/Schunck: combining local and global optic flow methods
+Normal rank
@@ Property / cites work @@
+Q4736018
@@ Property / cites work: Q4736018 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter estimation in stochastic logic programs
@@ Property / cites work: Parameter estimation in stochastic logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logics for the specification of performance and reliability
+Normal rank
@@ Property / cites work @@
+Q4139463
@@ Property / cites work: Q4139463 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured machine learning: the next ten years
@@ Property / cites work: Structured machine learning: the next ten years / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction: Progress in formal commonsense reasoning
+Normal rank
@@ Property / cites work @@
+Q3476790
@@ Property / cites work: Q3476790 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge and probability
@@ Property / cites work: Reasoning about knowledge and probability / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about probabilities
@@ Property / cites work: A logic for reasoning about probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning measures in first order calculi
@@ Property / cites work: Concerning measures in first order calculi / rank @@
+Normal rank
@@ Property / cites work @@
+.1162/jmlr.2003.3.4-5.679
@@ Property / cites work: 10.1162/jmlr.2003.3.4-5.679 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Probability logic
@@ Property / cites work: Probability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Determining optical flow
@@ Property / cites work: Determining optical flow / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856756
@@ Property / cites work: Q3856756 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to the Application of the Theory of Probabilistic Functions of a Markov Process to Automatic Speech Recognition
+Normal rank
@@ Property / cites work @@
+Maximum likelihood estimation for multivariate observations of Markov sources
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-designed child
@@ Property / cites work: The well-designed child / rank @@
+Normal rank
@@ Property / cites work @@
+Q2758464
@@ Property / cites work: Q2758464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624080
@@ Property / cites work: Q3624080 / rank @@
+Normal rank
@@ Property / cites work @@
+Some contributions to the metatheory of the situation calculus
+Normal rank
@@ Property / cites work @@
+Q5828993
@@ Property / cites work: Q5828993 / rank @@
+Normal rank
@@ Property / cites work @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / cites work @@
+Q2767045
@@ Property / cites work: Q2767045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269129
@@ Property / cites work: Q3269129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4368724
@@ Property / cites work: Q4368724 / 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 @@
+On knowledge-based programming with sensing in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4533365
@@ Property / cites work: Q4533365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599800
@@ Property / cites work: Q5599800 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Principal Component Analysis
@@ Property / cites work: Probabilistic Principal Component Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
+Normal rank
@@ Property / cites work @@
+Learning Stochastic Logical Automaton
@@ Property / cites work: Learning Stochastic Logical Automaton / rank @@
+Normal rank