Katsumi Inoue

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 111

Top Venues

Publications

Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
A differentiable first-order rule learner for inductive logic programming. Artif. Intell. 331 (2024)
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis
BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. AAAI (2024)
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. CoRR (2024)
Katsumi Inoue
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract). FLOPS (2024)
Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura
MOD-CL: Multi-label Object Detection with Constrained Loss. CoRR (2024)
Khac Duy Nguyen, Dinh Tuan Tran, Quyen Van Pham, Dinh Tuan Nguyen, Katsumi Inoue, Jooho Lee, Anh Quang Nguyen
Learning Visual-Inertial Odometry With Robocentric Iterated Extended Kalman Filter. IEEE Access 12 (2024)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. WALCOM (2024)
Koji Watanabe, Katsumi Inoue
Learning State Transition Rules from High-Dimensional Time Series Data with Recurrent Temporal Gaussian-Bernoulli Restricted Boltzmann Machines. Hum. Centric Intell. Syst. 3 (3) (2023)
Takeru Isobe, Katsumi Inoue
Learning Strategies of Inductive Logic Programming Using Reinforcement Learning. ILP (2023)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA (2023)
Michael Igorevich Ivanitskiy, Alex F. Spies, Tilman Räuker, Guillaume Corlouer, Chris Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia G. Diniz Behn, Katsumi Inoue, Samy Wu Fung
Structured World Representations in Maze-Solving Transformers. CoRR (2023)
Michael I. Ivanitskiy, Alex F. Spies, Tilman Räuker, Guillaume Corlouer, Chris Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia G. Diniz Behn, Katsumi Inoue, Samy Wu Fung
Linearly Structured World Representations in Maze-Solving Transformers. UniReps (2023)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR (2023)
Nicolas Schwind, Katsumi Inoue, Pierre Marquis
Editing Boolean Classifiers: A Belief Change Perspective. AAAI (2023)
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
Algorithms for partially robust team formation. Auton. Agents Multi Agent Syst. 37 (2) (2023)
Sota Moriyama, Koji Watanabe, Katsumi Inoue
GNN Based Extraction of Minimal Unsatisfiable Subsets. ILP (2023)
Taisuke Sato, Katsumi Inoue
Differentiable learning of matricized DNFs and its application to Boolean networks. Mach. Learn. 112 (8) (2023)
Tuan Nguyen Quoc, Katsumi Inoue
On Converting Logic Programs Into Matrices. ICAART (2) (2023)
Taisuke Sato, Akihiro Takemura, Katsumi Inoue
Towards end-to-end ASP computation. CoRR (2023)
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA (2023)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Linear Algebraic Abduction with Partial Evaluation. PADL (2023)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Mach. Learn. 111 (10) (2022)
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
Learning First-Order Rules with Differentiable Logic Program Semantics. IJCAI (2022)
Kotaro Okazaki, Katsumi Inoue
Explainable Model Fusion for Customer Journey Mapping. Frontiers Artif. Intell. 5 (2022)
Camilo Sarmiento, Gauvain Bourgne, Daniele Cavalli, Katsumi Inoue, Jean-Gabriel Ganascia
Action Languages Based Actual Causality in Ethical Decision Making Contexts. CoRR (2022)
Binh Kieu-Do-Nguyen, Dang Tuan Kiet, Trong-Thuc Hoang, Katsumi Inoue, Toshinori Usugi, Masanori Odaka, Shuichi Kameyama, Cong-Kha Pham
High-speed FPGA-based Design and Implementation of Text Search Processor. ICICDT (2022)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue
Diagnosis of Event Sequences with LFIT. ILP (2022)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. New Gener. Comput. 40 (1) (2022)
Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia
Action Languages Based Actual Causality in Decision Making Contexts. PRIMA (2022)
Akihiro Takemura, Katsumi Inoue
Gradient-Based Supported Model Computation in Vector Spaces. LPNMR (2022)
Koji Watanabe, Katsumi Inoue
Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines. CoRR (2022)
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
Learning First-Order Rules with Differentiable Logic Program Semantics. CoRR (2022)
Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue
Learning from interpretation transition using differentiable logic programming semantics. Mach. Learn. 111 (1) (2022)
Yin Jun Phua, Katsumi Inoue
Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance. ILP (2021)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Linear Algebraic Computation of Propositional Horn Abduction. ICTAI (2021)
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
On the computation of probabilistic coalition structures. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Guillaume Lorthioir, Katsumi Inoue
A Robust Approach to Noise for Plan Recognition in RTS Games. ICTAI (2021)
Akihiro Takemura, Katsumi Inoue
Gradient-Based Supported Model Computation in Vector Spaces. ICLP Workshops (2021)
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Logic programming in tensor spaces. Ann. Math. Artif. Intell. 89 (12) (2021)
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. AAMAS (2021)
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
An efficient reasoning method on logic programming using partial evaluation in vector spaces. J. Log. Comput. 31 (5) (2021)
Tianyu Chen, Florian Richoux, Javier M. Torres, Katsumi Inoue
Interpretable Utility-based Models Applied to the FightingICE Platform. CoG (2021)
Akihiro Takemura, Katsumi Inoue
Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming. ICLP Technical Communications (2021)
Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Static Analysis and Stochastic Search for Reachability Problem. SASB (2020)
Jose Barambones, Florian Richoux, Ricardo Imbert, Katsumi Inoue
Resilient Team Formation with Stabilisability of Agent Networks for Task Allocation. ACM Trans. Auton. Adapt. Syst. 15 (3) (2020)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. ICLP Technical Communications (2020)
Taisuke Sato, Chiaki Sakama, Katsumi Inoue
From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. ICAART (2) (2020)
Hidetomo Nabeshima, Katsumi Inoue
Reproducible Efficient Parallel SAT Solving. SAT (2020)
Guillaume Lorthioir, Katsumi Inoue
Design Adaptive AI for RTS Game by Learning Player's Build Order. IJCAI (2020)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
A 0.9-V 50-MHz 256-bit 1D-to-2D-based single/multi-match priority encoder with 0.67-nW standby power on 65-nm SOTB CMOS. Microprocess. Microsystems 73 (2020)
Ali Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispühl
Computational intractability law molds the topology of biological networks. Appl. Netw. Sci. 5 (1) (2020)
Katsumi Inoue, Chiaki Sakama
Disjunctive Abduction. New Gener. Comput. 37 (2) (2019)
Tomonobu Ozaki, Randy Goebel, Katsumi Inoue
From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa. New Gener. Comput. 37 (2) (2019)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
A 1.2-V 162.9 pJ/cycle bitmap index creation core with 0.31-pW/bit standby power on 65-nm SOTB. Microprocess. Microsystems 69 (2019)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Ngoc-Tu Bui, Van-Phuc Hoang, Cong-Kha Pham
A 1.2-V 90-MHz Bitmap Index Creation Accelerator with 0.27-nW Standby Power on 65-nm Silicon-On-Thin-Box (SOTB) CMOS. ISCAS (2019)
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. 275 (1) (2019)
Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. FLAP 6 (4) (2019)
Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
Learning Inference Rules from Data. Künstliche Intell. 33 (3) (2019)
Takahiro Hosaka, Trong-Thuc Hoang, Van-Phuc Hoang, Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham
Live Demonstration: Real-Time Auto-Exposure Histogram Equalization Video-System using Frequent Items Counter. ISCAS (2019)
Chiaki Sakama, Katsumi Inoue
Ordering Argumentation Frameworks. ECSQARU (2019)
Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue
Identifying Belief Sequences in a Network of Communicating Agents. PRIMA (2019)
Yin Jun Phua, Katsumi Inoue
Learning Logic Programs from Noisy State Transition Data. ILP (2019)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
An Efficient I/O Architecture for RAM-Based Content-Addressable Memory on FPGA. IEEE Trans. Circuits Syst. II Express Briefs (2) (2019)
François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). NII Shonan Meet. Rep. 2019 (2019)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Meta-Interpretive Learning Using HEX-Programs. IJCAI (2019)
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. IJCAI (2019)
Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
Robust Coalition Structure Generation. PRIMA (2018)
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
Computing Logic Programming Semantics in Linear Algebra. MIWAI (2018)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR (2018)
Katsumi Inoue, Trong-Thuc Hoang, Xuan-Thuan Nguyen, Hong-Thu Nguyen, Cong-Kha Pham
VLSI Design of Frequent Items Counting Using Binary Decoders Applied to 8-bit per Item Case-study. PRIME (2018)
Katsumi Inoue, Trong-Thuc Hoang, Cong-Kha Pham
Frequent items counter based on binary decoders. IEICE Electron. Express 15 (20) (2018)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation. CoRR (2018)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation. IEEE Access 6 (2018)
Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
Identifying Goals of Agents by Learning from Observations. MIWAI (2018)
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
Partial Evaluation of Logic Programs in Vector Spaces. CoRR (2018)
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP (2018)
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory Pract. Log. Program. 18 (3-4) (2018)
Taisuke Sato, Katsumi Inoue, Chiaki Sakama
Abducing Relations in Continuous Spaces. IJCAI (2018)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit Standby Power on 65-nm SOTB. CoRR (2018)
Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
Recoverable Team Formation: Building Teams Resilient to Change. AAMAS (2018)
Maxime Clement, Tenda Okimoto, Katsumi Inoue
Multi-Objective Distributed Pseudo-Tree Optimization. AAMAS (2018)
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
Probabilistic Coalition Structure Generation. KR (2018)
Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
Learning Commonsense Knowledge Through Interactive Dialogue. ICLP (Technical Communications) (2018)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA. CoRR (2018)
Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
A 219-μW 1D-to-2D-Based Priority Encoder on 65-nm SOTB CMOS. ISCAS (2018)
Trong-Thuc Hoang, Xuan-Thuan Nguyen, Hong-Thu Nguyen, Nhu-Quynh Truong, Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham
FPGA-based frequent items counting using matrix of equality comparators. MWSCAS (2017)
Xuan-Thuan Nguyen, Hong-Thu Nguyen, Katsumi Inoue, Osamu Shimojo, Cong-Kha Pham
Highly parallel bitmap-based regular expression matching for text analytics. ISCAS (2017)
Maxime Clement, Tenda Okimoto, Katsumi Inoue
Distributed Pareto Local Search for Multi-Objective DCOPs. IEICE Trans. Inf. Syst. (12) (2017)
Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue
Learning Logic Program Representation for Delayed Systems With Limited Training Data. ILP (Late Breaking Papers) (2017)
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms 10 (1) (2017)
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
Special issue on inductive logic programming. Mach. Learn. 106 (12) (2017)
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
Inductive Learning from State Transitions over Continuous Domains. ILP (2017)
David Martínez Martínez, Guillem Alenyà, Tony Ribeiro, Katsumi Inoue, Carme Torras
Relational Reinforcement Learning for Planning with Exogenous Effects. J. Mach. Learn. Res. 18 (2017)
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Linear Algebraic Characterization of Logic Programs. KSEM (2017)
Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. ISNN (1) (2017)
Kotaro Okazaki, Katsumi Inoue
Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences. CBI (1) (2017)
Hidetomo Nabeshima, Katsumi Inoue
Coverage-Based Clause Reduction Heuristics for CDCL Solvers. SAT (2017)
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. LPNMR (2017)
David Martínez, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue
Learning Relational Dynamics of Stochastic Domains for Planning. ICAPS (2016)
Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue
Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation. IJCAI (2016)

Katsumi Inoue.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Katsumi Inoue