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 | 37* | 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 | 23 | 2007 |
Anything you say may be used against you in a court of law R Arisaka, K Satoh, L van der Torre AI Approaches to the Complexity of Legal Systems, 427-442, 2015 | 17 | 2015 |
Voluntary manslaughter? a case study with meta-argumentation with supports R Arisaka, K Satoh JSAI International Symposium on Artificial Intelligence, 241-252, 2016 | 14 | 2016 |
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 |
Abstract argumentation/persuasion/dynamics R Arisaka, K Satoh International Conference on Principles and Practice of Multi-Agent Systems …, 2018 | 9 | 2018 |
LBI Cut Elimination Proof with BI-MultiCut R Arisaka, S Qin 2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012 | 9 | 2012 |
Deception/honesty detection and (mis) trust building in manipulable multi-agent argumentation: an insight R Arisaka, M Hagiwara, T Ito International Conference on Principles and Practice of Multi-Agent Systems …, 2019 | 6 | 2019 |
Defence outsourcing in argumentation R Arisaka, S Bistarelli Computational Models of Argument, 353-360, 2018 | 6 | 2018 |
Block argumentation R Arisaka, F Santini, S Bistarelli International Conference on Principles and Practice of Multi-Agent Systems …, 2019 | 5 | 2019 |
A Belief Revision Technique to Model Civil Code Updates R Arisaka JSAI International Symposium on Artificial Intelligence, 204-216, 2015 | 5 | 2015 |
Broadening Label-Based Argumentation Semantics with May-Must Scales R Arisaka, T Ito International Conference on Logic and Argumentation, 22-41, 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 |
Multi-agent Argumentation and Dialogue R Arisaka, J Dauphin, K Satoh, L van der Torre Journal of Applied Logics 9 (4), 853-886, 2022 | 3 | 2022 |
Semantics of Opinion Transitions in Multi-Agent Forum Argumentation R Arisaka, T Ito Pacific Rim International Conference on Artificial Intelligence, 688-703, 2019 | 3 | 2019 |
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 |
Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions R Arisaka, J Dauphin arXiv preprint arXiv:1802.01526, 2018 | 2 | 2018 |