Reasoning about actions with loops via Hoare logic (Q1712544): Difference between revisions

@@ Property / author @@
-Zhao, Xishun
@@ Property / author: Zhao, Xishun / rank @@
-Normal rank
@@ Property / author @@
+Zhao, Xishun
@@ Property / author: Zhao, Xishun / 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.1007/s11704-016-5158-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2411931905
@@ Property / OpenAlex ID: W2411931905 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing sensing actions -- a transition function based approach
+Normal rank
@@ Property / cites work @@
+Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
+Normal rank
@@ Property / cites work @@
+Representing action: indeterminacy and ramifications
+Normal rank
@@ Property / cites work @@
+Applicability conditions for plans with loops: computability results and algorithms
+Normal rank
@@ Property / cites work @@
+Plan aggregation for strong cyclic planning in nondeterministic domains
+Normal rank
@@ Property / cites work @@
+Ability and knowing how in the situation calculus
@@ Property / cites work: Ability and knowing how in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of deliberation in IndiGolog -- from theory to implementation
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains
+Normal rank
@@ Property / cites work @@
+Provably correct theories of action
@@ Property / cites work: Provably correct theories of action / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of planning and approximate planning in the presence of incompleteness
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of sequential and concurrent programs
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for planning under 0-approximation semantics
+Normal rank
@@ Property / cites work @@
+Q4532200
@@ Property / cites work: Q4532200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak, strong, and strong cyclic planning via symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+Q4452629
@@ Property / cites work: Q4452629 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and reasoning with incomplete information
+Normal rank
@@ Property / cites work @@
+A new representation and associated algorithms for generalized planning
+Normal rank
@@ Property / cites work @@
+Q4855362
@@ Property / cites work: Q4855362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823141
@@ Property / cites work: Q4823141 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1712544