Kanae Tsushima

24 papers B 1C 5Misc 2Journal 7Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A New Planning Agent Architecture that Efficiently Integrates an Online Planner with External Legal and Ethical Checkers. ICAART (1) Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, Ken Satoh
2025	—	`conf`	On the Normative Status and Argumentation Semantics of Soft-Constraint Norms. JSAI-isAI Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh
2024	J	`jnl`	An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms. CoRR Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh
2024	—	`conf`	Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance. RuleML+RR (Companion) Theodoros Mitsikas, Ralph Schäfermeier, Yousef Taheri, Kanae Tsushima, Hisashi Hayashi, Jean-Gabriel Ganascia, Gauvain Bourgne, Ken Satoh, Adrian Paschke
2024	C	`conf`	Experiment Using Partial Evaluation for Transformational Debugging. SCAM Kanae Tsushima, Robert Glück
2024	J	`jnl`	S J. Inf. Process. Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
2024	J	`jnl`	Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
2023	—	`conf`	Beyond Code Generation: The Need for Type-Aware Language Models. APR@ICSE Francisco Ribeiro, José Nuno Macedo, Kanae Tsushima
2023	C	`conf`	Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms. JURIX Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh
2023	C	`conf`	Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
2023	B	`conf`	GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair. SLE Francisco Ribeiro, José Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu, João Saraiva
2023	—	`conf`	Multi-agent Online Planning Architecture for Real-time Compliance. RuleML+RR (Companion) Hisashi Hayashi, Theodoros Mitsikas, Yousef Taheri, Kanae Tsushima, Ralph Schäfermeier, Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh
2022	J	`jnl`	Diagnosing and Treating Effect of Legal Rule-Based Revision. New Gener. Comput. Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2022	C	`conf`	Fundamental Revisions on Constraint Hierarchies for Ethical Norms. JURIX Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2022	—	`conf`	On Complexity and Generality of Contrary Prioritized Defeasible Theory. JSAI-isAI Workshops Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2021	C	`conf`	On semantics-based minimal revision for legal reasoning. ICAIL Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2021	J	`jnl`	Resolving counterintuitive consequences in law using legal debugging. Artif. Intell. Law Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2020	Misc	`conf`	An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
2020	—	`conf`	On the Legal Revision in PROLEG Program. JSAI Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
2019	—	`conf`	Type debugging with counter-factual type error messages using an existing type checker. IFL Kanae Tsushima, Olaf Chitil, Joanna Sharrad
2018	Misc	`conf`	A Common Framework Using Expected Types for Several Type Debugging Approaches. FLOPS Kanae Tsushima, Olaf Chitil
2018	J	`jnl`	A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa
2018	J	`jnl`	Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa
2012	—	`conf`	An Embedded Type Debugger. IFL Kanae Tsushima, Kenichi Asai