Towards Verification of Dialogue Protocols: A Mathematical Model (Q2814138): Difference between revisions

@@ 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/978-3-319-39384-1_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2506562028
@@ Property / OpenAlex ID: W2506562028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738471
@@ Property / cites work: Q4738471 / rank @@
+Normal rank
@@ Property / cites work @@
+Identification of Formal Fallacies in a Natural Dialogue
+Normal rank
@@ Property / cites work @@
+Towards Verification of Dialogue Protocols: A Mathematical Model
+Normal rank
@@ Property / cites work @@
+Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
+Normal rank
@@ Property / cites work @@
+Q3874172
@@ Property / cites work: Q3874172 / rank @@
+Normal rank
@@ Property / cites work @@
+Question-begging in non-cumulative systems
@@ Property / cites work: Question-begging in non-cumulative systems / rank @@
+Normal rank
@@ Property / cites work @@
+Properties and Complexity of Some Formal Inter-agent Dialogues
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence and Flexibility in Dialogue Games for Argumentation
+Normal rank
@@ Property / cites work @@
+Q3620028
@@ Property / cites work: Q3620028 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Proving Propositional Tautologies in a Natural Dialogue
+Normal rank