Kanae Tsushima

According to our database, Kanae Tsushima authored at least 17 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair.

Francisco Ribeiro, José Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu, João Saraiva

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Multi-agent Online Planning Architecture for Real-time Compliance.

Hisashi Hayashi, Theodoros Mitsikas, Yousef Taheri, Kanae Tsushima, Ralph Schäfermeier, Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh

Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18, 2023

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples.

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms.

Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh

Proceedings of the Legal Knowledge and Information Systems, 2023

Beyond Code Generation: The Need for Type-Aware Language Models.

Francisco Ribeiro, José Nuno Macedo, Kanae Tsushima

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2023

2022

Diagnosing and Treating Effect of Legal Rule-Based Revision.

Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh

New Gener. Comput., 2022

Fundamental Revisions on Constraint Hierarchies for Ethical Norms.

Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh

Proceedings of the Legal Knowledge and Information Systems, 2022

On Complexity and Generality of Contrary Prioritized Defeasible Theory.

Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh

Proceedings of the New Frontiers in Artificial Intelligence, 2022

2021

Resolving counterintuitive consequences in law using legal debugging.

Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh

Artif. Intell. Law, 2021

On semantics-based minimal revision for legal reasoning.

Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh

Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

2020

On the Legal Revision in PROLEG Program.

Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh

Proceedings of the Advances in Artificial Intelligence, 2020

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.

Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Type debugging with counter-factual type error messages using an existing type checker.

Kanae Tsushima, Olaf Chitil, Joanna Sharrad

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -.

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

CoRR, 2018

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data.

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

CoRR, 2018

A Common Framework Using Expected Types for Several Type Debugging Approaches.

Kanae Tsushima, Olaf Chitil

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2012

An Embedded Type Debugger.

Kanae Tsushima, Kenichi Asai

Proceedings of the Implementation and Application of Functional Languages, 2012