Kanae Tsushima

According to our database, Kanae Tsushima authored at least 22 papers between 2012 and 2024.

Collaborative distances:

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

2024

S_YNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations.

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu

J. Inf. Process., 2024

Synthesis of Bidirectional Programs from Examples with Functional Dependencies.

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu

J. Inf. Process., 2024

An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms.

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

CoRR, 2024

Experiment Using Partial Evaluation for Transformational Debugging.

Kanae Tsushima, Robert Glück

Proceedings of the IEEE International Conference on Source Code Analysis and Manipulation, 2024

Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance.

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

Proceedings of the Companion Proceedings of the 8th International Joint Conference on Rules and Reasoning co-located with 20th Reasoning Web Summer School (RW 2024) and 16th DecisionCAMP 2024 as part of Declarative AI 2024, 2024

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