Non-terminating processes in the situation calculus (Q2188782): Difference between revisions

@@ Property / OpenAlex ID @@
+W2984636524
@@ Property / OpenAlex ID: W2984636524 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Properties of Infinite Sequences of Description Logic Actions
+Normal rank
@@ Property / cites work @@
+Description Logic Knowledge and Action Bases
@@ Property / cites work: Description Logic Knowledge and Action Bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Agent-Based Artifact Systems
@@ Property / cites work: Verification of Agent-Based Artifact Systems / rank @@
+Normal rank
@@ Property / cites work @@
+First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
+Normal rank
@@ Property / cites work @@
+Q4385541
@@ Property / cites work: Q4385541 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+ConGolog, a concurrent programming language based on the situation calculus
+Normal rank
@@ Property / cites work @@
+Bounded situation calculus action theories
@@ Property / cites work: Bounded situation calculus action theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282994
@@ Property / cites work: Q5282994 / rank @@
+Normal rank
@@ Property / cites work @@
+Progression and verification of situation calculus agents with bounded beliefs
+Normal rank
@@ Property / cites work @@
+Q4934644
@@ Property / cites work: Q4934644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282663
@@ Property / cites work: Q4282663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998266
@@ Property / cites work: Q3998266 / rank @@
+Normal rank
@@ Property / cites work @@
+Property persistence in the situation calculus
@@ Property / cites work: Property persistence in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385540
@@ Property / cites work: Q4385540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739286
@@ Property / cites work: Q4739286 / rank @@
+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 @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q3995530
@@ Property / cites work: Q3995530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of deliberation in IndiGolog -- from theory to implementation
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4247256
@@ Property / cites work: Q4247256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283053
@@ Property / cites work: Q5283053 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126785455
@@ Property / Wikidata QID: Q126785455 / rank @@
+Normal rank