Temporal disjunctive logic programming (Q5929097): Difference between revisions

@@ Property / cites work @@
+Representing actions: Laws, observations and hypotheses
+Normal rank
@@ Property / cites work @@
+Depth-bounded bottom-up evaluation of logic programs
+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 @@
+Temporal disjunctive logic programming
@@ Property / cites work: Temporal disjunctive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of Horn and disjunctive logic programs
@@ Property / cites work: Semantics of Horn and disjunctive logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Q4518440
@@ Property / cites work: Q4518440 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified theory of intensional logic programming
+Normal rank
@@ Property / cites work @@
+Reasoning about time in the situation calculus
@@ Property / cites work: Reasoning about time in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic programming: the language Cactus and its applications
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf03037535
+Normal rank
@@ Property / OpenAlex ID @@
+W1984909320
@@ Property / OpenAlex ID: W1984909320 / rank @@
+Normal rank