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

@@ Property / describes a project that uses @@
+Lolli
@@ Property / describes a project that uses: Lolli / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-008-9079-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2063531202
@@ Property / OpenAlex ID: W2063531202 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1016033