Advanced search: Search from
Select basic information for advanced search
| Free word |
|---|
| Details |   |
|---|---|
| Related links |  |
| Search |  |
Rchr
J-GLOBAL ID：200901024982789570
Update date: Jan. 27, 2025 Inoue Katsumi
イノウエ カツミ | Inoue Katsumi
ClipsPapers (377)
- Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng. Differentiable Rule Induction from Raw Sequence Inputs. The 13th International Conference on Learning Representations (ICLR 2025; Singapore, April 24-28, 2025). 2025. to appear
- Hongbo Hu, Yisong Wang, Katsumi Inoue. Learning Possibilistic Dynamic Systems from State Transitions. Fuzzy Sets and Systems. 2025. 504. 109259. 30p
- Akihiro Takemura, Katsumi Inoue. Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. Theory and Practice of Logic Programming. 2024. 24. 5. 973-1010
- Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024). 2024. 765-777
- Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko. Abductive reasoning in a paraconsistent framework. Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024). 2024. 134-144
- Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama. Linear Algebraic Partial Evaluation of Logic Programs. In: Nina Gierasimczuk, Jesse Heyninck (eds.), Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), CEUR Workshop Proceedings. 2024. 3835. 14-23
- Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama. Linear Algebraic Partial Evaluation of Logic Programs. Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2024; Herndon, VA, USA, October 30 - November 1, 2024). 2024. 355-362
- Akihiro Takemura, Katsumi Inoue. Differentiable Logic Programming for Distant Supervision. Proceedings of the 27th European Conference on Artificial Intelligence (ECAI-2024; Santiago de Compostela, Spain, October 19-24, 2024), Frontiers in Artificial Intelligence and Applications. 2024. 392. 1301-1308
- Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris Willcocks. Neuro-symbolic Contrastive Learning for Cross-domain Inference. In: Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift (eds.), Proceedings of the 40th International Conference on Logic Programming (ICLP 2024; University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024), Electronic Proceedings in Theoretical Computer Science. 2024. to appear. 78-94
- Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. ASP-based Large Neighborhood Prioritized Search for Course Timetabling. In: Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez (eds), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 17th International Conference (LPNMR 2024; Dallas, TX, USA, October 11-14, 2024), Lecture Notes in Artificial Intelligence. 2024. 15245. 57-70
- Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Antoine Roquilly, Jérémie Poschmann, Katsumi Inoue. Learning From Interpretation Transitions with Unknowns. The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024; Nanjing University International Conference Center, Nanjing, China, September 20-22, 2024), Lecture Notes in Artificial Intelligence. 2024. to appear. 19p
- Yin Jun Phua, Katsumi Inoue. Variable Assignment Invariant Neural Networks for Learning Logic Programs. In: Tarek R. Besold, Artur d'Avila Garcez, Ernesto Jiménez-Ruiz, Roberto Confalonieri, Pranava Madhyastha, Benedikt Wagner (eds.), Neural-Symbolic Learning and Reasoning: Proceedings of the 18th International Conference, Part 1 (NeSy 2024; Barcelona, Spain, September 9-12, 2024), Lecture Notes in Artificial Intelligence. 2024. 14979. 47-61
- Khac Duy Nguyen, Dinh Tuan Tran, van Quyen Pham, Dinh Tuan Nguyen, Katsumi Inoue, Joo-Ho Lee, Anh Quang Nguyen. Learning Visual-Inertial Odometry With Robocentric Iterated Extended Kalman Filter. IEEE Access. 2024. 12. 109943-109956
- Dinh Tuan Tran, Duc Tung Phung, Duc Manh Duong, Katsumi Inoue, Joo-Ho Lee, Anh Quang Nguyen. Privacy-preserving Face and Hair Swapping in Real-time with a GAN-generated Face Image. IEEE Access. 2024. 12. 179265-179280
- Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang. A differentiable first-order rule learner for inductive logic programming. Artificial Intelligence. 2024. 331. 104108. 27p
- Michael Ivanitskiy, Alexander Spies, Tilman Räuker, Guillaume Corlouer, Christopher Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia Diniz Behn, et al. Linearly Structured World Representations in Maze-Solving Transformers. In: Proceedings of UniReps: the First Workshop on Unifying Representations in Neural Models (15 December 2023, Ernest N. Morial Convention Center, New Orleans, USA). Proceedings of Machine Learning Research. 2024. 243. 133-143
- Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis. BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. In: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24; Vancouver, Canada, February 20-27, 2024). 2024. 38. 9. 10696-10704
- Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue. Diagnosis of Event Sequences with LFIT. In: Stephen Muggleton, Alireza Tamaddoni-Nezhad (eds.), Inductive Logic Programming: Proceeding of the 31st International Conference (ILP 2022; Windsor Great Park, UK, September 28-30, 2022), Lecture Notes in Artificial Intelligence. 2024. 13779. 117-126
- Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara. Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. In: WALCOM: Algorithms and Computation, Proceedings of the 17th International Conference and Workshops (WALCOM 2024; Kanazawa, Japan, March 18-20, 2024), Lecture Notes in Computer Science. 2024. 14549. 242-256
- Sota Moriyama, Koji Watanabe, Katsumi Inoue. GNN Based Extraction of Minimal Unsatisfiable Subsets. In: Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese (eds.), Inductive Logic Programming: Proceeding of the 32nd International Conference (ILP 2023; Bari, Italy, November 13-15, 2023), Lecture Notes in Artificial Intelligence. 2023. 14363. 77-92
Return to Previous Page
