Anna Sawicka
From MaRDI portal
Person:2814137
Available identifiers
zbMath Open sawicka.annaMaRDI QIDQ2814137
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Towards Encoding of the Transition Relation in Dialogue Games Model Checking | 2019-05-24 | Paper |
Towards Verification of Dialogue Protocols: A Mathematical Model | 2016-06-17 | Paper |
Identification of Formal Fallacies in a Natural Dialogue | 2015-06-26 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Anna Sawicka