共 50 条
- [3] Rationalisation of Profiles of Abstract Argumentation Frameworks: Extended Abstract PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 4776 - 4780
- [4] Cellular ANTomata (Extended abstract) PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 2007, 4742 : 78 - 90
- [5] Extended abstract dependency graphs International Journal on Software Tools for Technology Transfer, 2022, 24 : 49 - 65
- [6] Rational Consensus: Extended Abstract PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16), 2016, : 137 - 146
- [7] A science of reasoning (extended abstract) AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 10 - 17
- [8] Safer in the Clouds (Extended Abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (38): : 45 - 49
- [9] Subresultants revisited -: Extended abstract LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 318 - 342