SLAP: specification logic of actions with probability (Q2447174): Difference between revisions

@@ 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.jal.2013.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2043209490
@@ Property / OpenAlex ID: W2043209490 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about noisy sensors and effectors in the situation calculus
+Normal rank
@@ Property / cites work @@
+Q3245701
@@ Property / cites work: Q3245701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning and control in artificial intelligence: A unifying perspective
+Normal rank
@@ Property / cites work @@
+Formalizing action and change in modal logic I: the frame problem
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3844775
@@ Property / cites work: Q3844775 / 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 @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Q3266141
@@ Property / cites work: Q3266141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about actions with sensing under qualitative and probabilistic uncertainty
+Normal rank
@@ Property / cites work @@
+Q3811752
@@ Property / cites work: Q3811752 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+A survey of algorithmic methods for partially observed Markov decision processes
+Normal rank
@@ Property / cites work @@
+State of the Art—A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms
+Normal rank
@@ Property / cites work @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / cites work @@
+The Independent Choice Logic and Beyond
@@ Property / cites work: The Independent Choice Logic and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325547
@@ Property / cites work: Q4325547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+On the SUP-INF Method for Proving Presburger Formulas
+Normal rank