Ryuta Arisaka

Ryuta Arisaka

Kyoto University - Kyoto / Japan
Others
AD Scientific Index ID: 4520801
京都大学
person_outline Ryuta Arisaka's MOST POPULAR ARTICLES
1-) RB_DSOP: a rule based disjoint sum of products synthesis methodP Balasubramanian, R Arisaka, HR ArabniaProceedings of the International Conference on Computer Design (CDES), 1, 2012402012
2-) On nested sequents for constructive modal logicsR Arisaka, A Das, L StraßburgerLogical Methods in Computer Science 11, 2015332015
3-) A set theory based factoring technique and its use for low power logic designP Balasubramanian, R ArisakaInternational Journal of Computer, Electrical, Automation, Control and …, 2007232007
4-) 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 TorreInternational Workshop on AI Approaches to the Complexity of Legal Systems …, 2015172015
5-) Voluntary manslaughter? a case study with meta-argumentation with supportsR Arisaka, K SatohNew Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, LENLS …, 2017152017