Kanae Tsushima

24 papers B 1C 5Misc 2Journal 7Unranked 9
YearRankTypeTitle / 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