Structural Analysis of Narratives with the Coq Proof Assistant (Q3087995): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+A3PAT
@@ Property / describes a project that uses: A3PAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4300749781
@@ Property / OpenAlex ID: W4300749781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2999209
@@ Property / cites work: Q2999209 / rank @@
+Normal rank
@@ Property / cites work @@
+Plans, actions and dialogues using linear logic
@@ Property / cites work: Plans, actions and dialogues using linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple declarative language for describing narratives with actions
+Normal rank
@@ Property / cites work @@
+Q4842970
@@ Property / cites work: Q4842970 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating plans in linear logic. II: A geometry of conjunctive actions
+Normal rank
@@ Property / cites work @@
+Generating plans in linear logic. I: Actions as proofs
+Normal rank
@@ Property / cites work @@
+Narratives in the Situation Calculus
@@ Property / cites work: Narratives in the Situation Calculus / rank @@
+Normal rank