共 50 条
- [3] Dialogue protocols for formal fallacies: A reply to Kacprzak and Yaskorska Argumentation, 2014, 28 : 371 - 377
- [5] Obligationes as Formal Dialogue Systems STAIRS 2010: PROCEEDINGS OF THE FIFTH STARTING AI RESEARCHERS' SYMPOSIUM, 2011, 222 : 341 - 353
- [6] Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming LOGIC AND ITS APPLICATIONS, 2009, 5378 : 243 - 256
- [8] Formal handling of threats and rewards in a negotiation dialogue ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2006, 4049 : 88 - 103
- [9] Towards Verification of Dialogue Protocols: A Mathematical Model ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, (ICAISC 2016), PT II, 2016, 9693 : 329 - 339
- [10] Formal Verification of e-Reputation Protocols FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2014), 2015, 8930 : 247 - 261