2 citations · 4 across the 4 of their papers we have counts for
4 papers
Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring
Abhiram Bellur, Fraol Batole, Mohammed Raihan Ullah +12
MOVEMETHOD is a hallmark refactoring. Despite a plethora of research tools that recommend which methods to move and where, these recommendations do not align with how expert develo…
A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
Shota Motoura, Ayako Hoshino, Itaru Hosomi +1
Weighted abduction computes hypotheses that explain input observations. A reasoner of weighted abduction first generates possible hypotheses and then selects the hypothesis that is…
Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System
Hisao Katsumi, Takuya Hiraoka, Koichiro Yoshino +4
Argumentation-based dialogue systems, which can handle and exchange arguments through dialogue, have been widely researched. It is required that these systems have sufficient suppo…
Translating MFM into FOL: towards plant operation planning
Shota Motoura, Kazeto Yamamoto, Shumpei Kubosawa +1
This paper proposes a method to translate multilevel flow modeling (MFM) into a first-order language (FOL), which enables the utilisation of logical techniques, such as inference e…