Plans, actions and dialogues using linear logic (Q1016033): Difference between revisions

@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient resource management for linear logic proof search
+Normal rank
@@ Property / cites work @@
+Conflict resolution in collaborative planning dialogs
+Normal rank
@@ Property / cites work @@
+Abstract models for dialogue protocols
@@ Property / cites work: Abstract models for dialogue protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Agents via mixed-mode computation in linear logic
@@ Property / cites work: Agents via mixed-mode computation in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Generating plans in linear logic. II: A geometry of conjunctive actions
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol Synthesis with Dialogue Structure Theory
@@ Property / cites work: Protocol Synthesis with Dialogue Structure Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal analysis of PIN block attacks
@@ Property / cites work: Formal analysis of PIN block attacks / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic web: a road to the knowledge infrastructure on the internet
+Normal rank