Vol-1697⫷ Vol-1698 ⫸Vol-1699
urn:nbn:de:0074-1698-0


Vol-1698/CS&P2016_23_Nguyen_Computing-Bisimulation-Based-Comparisons⫷Vol-1698/CS&P2016_24_Kacprzak&Sawicka&Zbrzezny_Towards-model-checking-argumentative-dialogues-with-emotional-reasoning⫸Vol-1698/CS&P2016_25_Chrzastowski-Wachtel_Shapes-of-Concurrency
Magdalena KacprzakAnna SawickaAndrzej Zbrzezny

Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract)