| RB_DSOP: a rule based disjoint sum of products synthesis method P Balasubramanian, R Arisaka, HR Arabnia Proceedings of the International Conference on Computer Design (CDES), 1, 2012 | 42 | 2012 |
| On nested sequents for constructive modal logics R Arisaka, A Das, L Straßburger Logical Methods in Computer Science 11, 2015 | 40* | 2015 |
| A set theory based factoring technique and its use for low power logic design P Balasubramanian, R Arisaka International Journal of Computer, Electrical, Automation, Control and …, 2007 | 22 | 2007 |
| Anything you say may be used against you in a court of law: Abstract Agent Argumentation (Triple-A) R Arisaka, K Satoh, L van der Torre International Workshop on AI Approaches to the Complexity of Legal Systems …, 2015 | 17 | 2015 |
| Voluntary manslaughter? a case study with meta-argumentation with supports R Arisaka, K Satoh New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, LENLS …, 2017 | 15 | 2017 |
| Abstract argumentation/persuasion/dynamics R Arisaka, K Satoh PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st …, 2018 | 12 | 2018 |
| Coalition formability semantics with conflict-eliminable sets of arguments R Arisaka, K Satoh arXiv preprint arXiv:1605.00495, 2016 | 12 | 2016 |
| Numerical abstract persuasion argumentation for expressing concurrent multi-agent negotiations R Arisaka, T Ito International Joint Conference on Artificial Intelligence, 131-149, 2019 | 9 | 2019 |
| LBI Cut Elimination Proof with BI-MultiCut R Arisaka, S Qin 2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012 | 9 | 2012 |
| Multi-agent argumentation and dialogue R Arisaka, J Dauphin, K Satoh, L van der Torre IfCoLog Journal of Logics and Their Applications 9 (4), 2022 | 6 | 2022 |
| Deception/honesty detection and (mis) trust building in manipulable multi-agent argumentation: an insight R Arisaka, M Hagiwara, T Ito PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd …, 2019 | 6 | 2019 |
| Block argumentation R Arisaka, F Santini, S Bistarelli PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd …, 2019 | 6 | 2019 |
| Defence outsourcing in argumentation R Arisaka, S Bistarelli Computational Models of Argument, 353-360, 2018 | 6 | 2018 |
| A belief revision technique to model civil code updates R Arisaka New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops, LENLS …, 2017 | 5 | 2017 |
| Broadening label-based argumentation semantics with may-must scales R Arisaka, T Ito Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020 | 4 | 2020 |
| Balancing rationality and utility in logic-based argumentation with classical logic sentences and belief contraction R Arisaka, K Satoh International Conference on Principles and Practice of Multi-Agent Systems …, 2016 | 4 | 2016 |
| Semantics of Opinion Transitions in Multi-Agent Forum Argumentation R Arisaka, T Ito PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim …, 2019 | 3 | 2019 |
| Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions R Arisaka, J Dauphin arXiv preprint arXiv:1802.01526, 2018 | 3 | 2018 |
| Gradual Classical Logic for Attributed Objects R Arisaka arXiv preprint arXiv:1404.6036, 2014 | 3 | 2014 |
| Formulating manipulable argumentation with intra-/inter-agent preferences R Arisaka, M Hagiwara, T Ito arXiv preprint arXiv:1909.03616, 2019 | 2 | 2019 |
