Kanae Tsushima

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 18

Top Topics

Legal Reasoning

Functional Dependencies

Top Venues

J. Inf. Process.

Publications

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. 32 (2024)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
BX: An Example-guided Synthesizer for Bidirectional Programs on Relations. J. Inf. Process. 32 (2024)
Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh
Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms. JURIX (2023)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR (2023)
Hisashi Hayashi, Theodoros Mitsikas, Yousef Taheri, Kanae Tsushima, Ralph Schäfermeier, Gauvain Bourgne, Jean-Gabriel Ganascia, Adrian Paschke, Ken Satoh
Multi-agent Online Planning Architecture for Real-time Compliance. RuleML+RR (Companion) (2023)
Francisco Ribeiro, José Nuno Macedo, Kanae Tsushima
Beyond Code Generation: The Need for Type-Aware Language Models. APR@ICSE (2023)
Francisco Ribeiro, José Nuno Castro de Macedo, Kanae Tsushima, Rui Abreu, João Saraiva
GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair. SLE (2023)
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
On Complexity and Generality of Contrary Prioritized Defeasible Theory. JSAI-isAI Workshops (2022)
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
Fundamental Revisions on Constraint Hierarchies for Ethical Norms. JURIX (2022)
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
Diagnosing and Treating Effect of Legal Rule-Based Revision. New Gener. Comput. 40 (1) (2022)
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
Resolving counterintuitive consequences in law using legal debugging. Artif. Intell. Law 29 (4) (2021)
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
On semantics-based minimal revision for legal reasoning. ICAIL (2021)
Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh
On the Legal Revision in PROLEG Program. JSAI (2020)
Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS (2020)
Kanae Tsushima, Olaf Chitil, Joanna Sharrad
Type debugging with counter-factual type error messages using an existing type checker. IFL (2019)
Kanae Tsushima, Olaf Chitil
A Common Framework Using Expected Types for Several Type Debugging Approaches. FLOPS (2018)
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
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR (2018)
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
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR (2018)
Kanae Tsushima, Kenichi Asai
An Embedded Type Debugger. IFL (2012)