On linear logic planning and concurrency (Q1041042): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2009.02.008
+Normal rank
@@ Property / OpenAlex ID @@
+W4213277074
@@ Property / OpenAlex ID: W4213277074 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Focussing and proof construction
@@ Property / cites work: Focussing and proof construction / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760250
@@ Property / cites work: Q2760250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717786
@@ Property / cites work: Q2717786 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944869
@@ Property / cites work: Q4944869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for linear logic on Petri nets
+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 @@
+Linear deductive planning
@@ Property / cites work: Linear deductive planning / rank @@
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783301
@@ Property / cites work: Q4783301 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure IV
@@ Property / cites work: A system of interaction and structure IV / rank @@
+Normal rank
@@ Property / cites work @@
+A new deductive approach to planning
@@ Property / cites work: A new deductive approach to planning / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of linear logic for Petri net models
+Normal rank
@@ Property / cites work @@
+Reducing Nondeterminism in the Calculus of Structures
+Normal rank
@@ Property / cites work @@
+The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
+Normal rank
@@ Property / cites work @@
+Q4251120
@@ Property / cites work: Q4251120 / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+What is the inverse method?
@@ Property / cites work: What is the inverse method? / rank @@
+Normal rank
@@ Property / cites work @@
+From Petri nets to linear logic
@@ Property / cites work: From Petri nets to linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246796
@@ Property / cites work: Q4246796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976054
@@ Property / cites work: Q3976054 / rank @@
+Normal rank
@@ Property / cites work @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808734
@@ Property / cites work: Q4808734 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Models for concurrency: Towards a classification
@@ Property / cites work: Models for concurrency: Towards a classification / rank @@
+Normal rank
@@ Property / cites work @@
+MELL in the calculus of structures
@@ Property / cites work: MELL in the calculus of structures / rank @@
+Normal rank
@@ Property / cites work @@
+A System of Interaction and Structure II: The Need for Deep Inference
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank