![](https://dblp.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Kanae Tsushima
Person information
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j4]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. 32: 451-465 (2024) - [j3]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
SYNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations. J. Inf. Process. 32: 471-486 (2024) - 2023
- [c13]Francisco Ribeiro
, José Nuno Macedo
, Kanae Tsushima:
Beyond Code Generation: The Need for Type-Aware Language Models. APR@ICSE 2023: 21-22 - [c12]Wachara Fungwacharakorn, Kanae Tsushima, Hiroshi Hosobe, Hideaki Takeda, Ken Satoh:
Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms. JURIX 2023: 149-154 - [c11]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR 2023: 9-27 - [c10]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 - [c9]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: 111-124 - 2022
- [j2]Wachara Fungwacharakorn
, Kanae Tsushima, Ken Satoh:
Diagnosing and Treating Effect of Legal Rule-Based Revision. New Gener. Comput. 40(1): 25-45 (2022) - [c8]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On Complexity and Generality of Contrary Prioritized Defeasible Theory. JSAI-isAI Workshops 2022: 23-35 - [c7]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
Fundamental Revisions on Constraint Hierarchies for Ethical Norms. JURIX 2022: 182-187 - 2021
- [j1]Wachara Fungwacharakorn
, Kanae Tsushima, Ken Satoh:
Resolving counterintuitive consequences in law using legal debugging. Artif. Intell. Law 29(4): 541-557 (2021) - [c6]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On semantics-based minimal revision for legal reasoning. ICAIL 2021: 50-59 - 2020
- [c5]Kanae Tsushima, Bach Nguyen Trong, Robert Glück
, Zhenjiang Hu:
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS 2020: 159-178 - [c4]Wachara Fungwacharakorn, Kanae Tsushima, Ken Satoh:
On the Legal Revision in PROLEG Program. JSAI 2020: 25-36
2010 – 2019
- 2019
- [c3]Kanae Tsushima, Olaf Chitil, Joanna Sharrad:
Type debugging with counter-factual type error messages using an existing type checker. IFL 2019: 7:1-7:12 - 2018
- [c2]Kanae Tsushima, Olaf Chitil:
A Common Framework Using Expected Types for Several Type Debugging Approaches. FLOPS 2018: 230-246 - [i2]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 abs/1803.06674 (2018) - [i1]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 abs/1809.10357 (2018) - 2012
- [c1]Kanae Tsushima, Kenichi Asai:
An Embedded Type Debugger. IFL 2012: 190-206
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint