Katsumi Inoue - RankMe

337 papers A* 34A 18B 63C 19Misc 1Journal 113Unranked 86

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Abductive Reasoning in Expansions of Belnap-Dunn Logic. J. Artif. Intell. Res. Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2026	J	`jnl`	Differentiable Rule Induction from Raw Sequence Inputs. CoRR Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Feng Yang
2025	—	`conf`	A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract). DL Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
2025	A*	`conf`	A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. KR Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
2025	J	`jnl`	A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. CoRR Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
2025	A*	`conf`	Complexity of Abduction in Łukasiewicz Logic. KR Katsumi Inoue, Daniil Kozhemiachenko
2025	J	`jnl`	Complexity of Abduction in Łukasiewicz Logic. CoRR Katsumi Inoue, Daniil Kozhemiachenko
2025	A*	`conf`	Differentiable Rule Induction from Raw Sequence Inputs. ICLR Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng
2025	C	`conf`	Disentangling Neural Disjunctive Normal Form Models. NeSy Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo
2025	J	`jnl`	Disentangling Neural Disjunctive Normal Form Models. CoRR Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo
2025	B	`conf`	Formally Explaining Decision Tree Models with Answer Set Programming. ICLP Akihiro Takemura, Masayuki Otani, Katsumi Inoue
2025	—	`conf`	Interaction Graphs of Phytoplankton Species Interactions Using Logical Learning. CMSB Madeleine Eyraud, Maxime Folschette, Katsumi Inoue, Sébastien Lefebvre, Cédric Lhoussaine
2025	A*	`conf`	Iterated Belief Change as Learning. IJCAI Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis
2025	J	`jnl`	Learning possibilistic dynamic systems from state transitions. Fuzzy Sets Syst. Hongbo Hu, Yisong Wang, Katsumi Inoue
2025	J	`jnl`	Neural Logic Networks for Interpretable Classification. CoRR Vincent Perreault, Katsumi Inoue, Richard Labib, Alain Hertz
2025	J	`jnl`	Predicate Renaming via Large Language Models. CoRR Elisabetta Gentili, Tony Ribeiro, Fabrizio Riguzzi, Katsumi Inoue
2025	A	`conf`	SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints. SAT Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura
2024	A*	`conf`	A differentiable first-order rule learner for inductive logic programming (Abstract Reprint). IJCAI Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2024	J	`jnl`	A differentiable first-order rule learner for inductive logic programming. Artif. Intell. Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2024	B	`conf`	ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. LPNMR Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024	A*	`conf`	Abductive Reasoning in a Paraconsistent Framework. KR Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2024	J	`jnl`	Abductive Reasoning in a Paraconsistent Framework. CoRR Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko
2024	Misc	`conf`	Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract). FLOPS Katsumi Inoue
2024	A*	`conf`	BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. AAAI Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis
2024	B	`conf`	Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. WALCOM Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara
2024	A	`conf`	Differentiable Logic Programming for Distant Supervision. ECAI Akihiro Takemura, Katsumi Inoue
2024	J	`jnl`	Differentiable Logic Programming for Distant Supervision. CoRR Akihiro Takemura, Katsumi Inoue
2024	J	`jnl`	Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. CoRR Akihiro Takemura, Katsumi Inoue
2024	J	`jnl`	Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. Theory Pract. Log. Program. Akihiro Takemura, Katsumi Inoue
2024	A*	`conf`	Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. KR Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024	J	`jnl`	Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024	J	`jnl`	Learning Visual-Inertial Odometry With Robocentric Iterated Extended Kalman Filter. IEEE Access Khac Duy Nguyen, Dinh Tuan Tran, Quyen Van Pham, Dinh Tuan Nguyen, Katsumi Inoue, Jooho Lee, Anh Quang Nguyen
2024	—	`conf`	Learning from Interpretation Transition with Unknowns. IJCLR Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Kuo-Yen Lo, Antoine Roquilly, Jérémie Poschmann, Katsumi Inoue
2024	B	`conf`	Linear Algebraic Partial Evaluation of Logic Programs. ICTAI Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
2024	—	`conf`	Linear Algebraic Partial Evaluation of Logic Programs. NMR Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
2024	J	`jnl`	MOD-CL: Multi-label Object Detection with Constrained Loss. CoRR Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura
2024	B	`conf`	Neuro-Symbolic Contrastive Learning for Cross-domain Inference. ICLP Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris G. Willcocks
2024	J	`jnl`	Privacy-Preserving Face and Hair Swapping in Real-Time With a GAN-Generated Face Image. IEEE Access Dinh Tuan Tran, Duc Tung Phung, Duc Manh Duong, Katsumi Inoue, Joo-Ho Lee, Anh Quang Nguyen
2024	J	`jnl`	Transformers Use Causal World Models in Maze-Solving Tasks. CoRR Alex F. Spies, William Edwards, Michael I. Ivanitskiy, Adrians Skapars, Tilman Räuker, Katsumi Inoue, Alessandra Russo, Murray Shanahan
2024	—	`conf`	Variable Assignment Invariant Neural Networks for Learning Logic Programs. NeSy (1) Yin Jun Phua, Katsumi Inoue
2024	J	`jnl`	Variable Assignment Invariant Neural Networks for Learning Logic Programs. CoRR Yin Jun Phua, Katsumi Inoue
2023	J	`jnl`	Algorithms for partially robust team formation. Auton. Agents Multi Agent Syst. Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
2023	J	`jnl`	Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
2023	J	`jnl`	Differentiable learning of matricized DNFs and its application to Boolean networks. Mach. Learn. Taisuke Sato, Katsumi Inoue
2023	A*	`conf`	Editing Boolean Classifiers: A Belief Change Perspective. AAAI Nicolas Schwind, Katsumi Inoue, Pierre Marquis
2023	B	`conf`	GNN Based Extraction of Minimal Unsatisfiable Subsets. ILP Sota Moriyama, Koji Watanabe, Katsumi Inoue
2023	B	`conf`	Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2023	J	`jnl`	Learning State Transition Rules from High-Dimensional Time Series Data with Recurrent Temporal Gaussian-Bernoulli Restricted Boltzmann Machines. Hum. Centric Intell. Syst. Koji Watanabe, Katsumi Inoue
2023	B	`conf`	Learning Strategies of Inductive Logic Programming Using Reinforcement Learning. ILP Takeru Isobe, Katsumi Inoue
2023	C	`conf`	Linear Algebraic Abduction with Partial Evaluation. PADL Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2023	—	`conf`	Linearly Structured World Representations in Maze-Solving Transformers. UniReps 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
2023	—	`conf`	On Converting Logic Programs Into Matrices. ICAART (2) Tuan Nguyen Quoc, Katsumi Inoue
2023	B	`conf`	Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
2023	J	`jnl`	Structured World Representations in Maze-Solving Transformers. CoRR 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
2023	J	`jnl`	Towards end-to-end ASP computation. CoRR Taisuke Sato, Akihiro Takemura, Katsumi Inoue
2022	B	`conf`	Action Languages Based Actual Causality in Decision Making Contexts. PRIMA Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia
2022	J	`jnl`	Action Languages Based Actual Causality in Ethical Decision Making Contexts. CoRR Camilo Sarmiento, Gauvain Bourgne, Daniele Cavalli, Katsumi Inoue, Jean-Gabriel Ganascia
2022	B	`conf`	Diagnosis of Event Sequences with LFIT. ILP Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue
2022	J	`jnl`	Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. New Gener. Comput. Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2022	J	`jnl`	Explainable Model Fusion for Customer Journey Mapping. Frontiers Artif. Intell. Kotaro Okazaki, Katsumi Inoue
2022	B	`conf`	Gradient-Based Supported Model Computation in Vector Spaces. LPNMR Akihiro Takemura, Katsumi Inoue
2022	—	`conf`	High-speed FPGA-based Design and Implementation of Text Search Processor. ICICDT Binh Kieu-Do-Nguyen, Tuan-Kiet Dang, Trong-Thuc Hoang, Katsumi Inoue, Toshinori Usugi, Masanori Odaka, Shuichi Kameyama, Cong-Kha Pham
2022	A*	`conf`	Learning First-Order Rules with Differentiable Logic Program Semantics. IJCAI Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2022	J	`jnl`	Learning First-Order Rules with Differentiable Logic Program Semantics. CoRR Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang
2022	J	`jnl`	Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines. CoRR Koji Watanabe, Katsumi Inoue
2022	J	`jnl`	Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Mach. Learn. Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
2022	J	`jnl`	Learning from interpretation transition using differentiable logic programming semantics. Mach. Learn. Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue
2021	B	`conf`	A Robust Approach to Noise for Plan Recognition in RTS Games. ICTAI Guillaume Lorthioir, Katsumi Inoue
2021	J	`jnl`	An efficient reasoning method on logic programming using partial evaluation in vector spaces. J. Log. Comput. Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
2021	—	`conf`	Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming. ICLP Technical Communications Akihiro Takemura, Katsumi Inoue
2021	—	`conf`	Gradient-Based Supported Model Computation in Vector Spaces. ICLP Workshops Akihiro Takemura, Katsumi Inoue
2021	C	`conf`	Interpretable Utility-based Models Applied to the FightingICE Platform. CoG Tianyu Chen, Florian Richoux, Javier M. Torres, Katsumi Inoue
2021	B	`conf`	Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance. ILP Yin Jun Phua, Katsumi Inoue
2021	B	`conf`	Linear Algebraic Computation of Propositional Horn Abduction. ICTAI Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2021	J	`jnl`	Logic programming in tensor spaces. Ann. Math. Artif. Intell. Chiaki Sakama, Katsumi Inoue, Taisuke Sato
2021	J	`jnl`	On the computation of probabilistic coalition structures. Auton. Agents Multi Agent Syst. Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
2021	A	`conf`	Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. AAMAS Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
2020	J	`jnl`	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 Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2020	J	`jnl`	Computational intractability law molds the topology of biological networks. Appl. Netw. Sci. Ali Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispühl
2020	A*	`conf`	Design Adaptive AI for RTS Game by Learning Player's Build Order. IJCAI Guillaume Lorthioir, Katsumi Inoue
2020	—	`conf`	Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. ICLP Technical Communications Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2020	—	`conf`	From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. ICAART (2) Taisuke Sato, Chiaki Sakama, Katsumi Inoue
2020	A	`conf`	Reproducible Efficient Parallel SAT Solving. SAT Hidetomo Nabeshima, Katsumi Inoue
2020	J	`jnl`	Resilient Team Formation with Stabilisability of Agent Networks for Task Allocation. ACM Trans. Auton. Adapt. Syst. Jose Barambones, Florian Richoux, Ricardo Imbert, Katsumi Inoue
2020	—	`conf`	Static Analysis and Stochastic Search for Reachability Problem. SASB Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
2019	J	`jnl`	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 Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2019	C	`conf`	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 Xuan-Thuan Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Ngoc-Tu Bui, Van-Phuc Hoang, Cong-Kha Pham
2019	J	`jnl`	An Efficient I/O Architecture for RAM-Based Content-Addressable Memory on FPGA. IEEE Trans. Circuits Syst. II Express Briefs Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2019	J	`jnl`	Disjunctive Abduction. New Gener. Comput. Katsumi Inoue, Chiaki Sakama
2019	J	`jnl`	Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). NII Shonan Meet. Rep. François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu
2019	J	`jnl`	From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa. New Gener. Comput. Tomonobu Ozaki, Randy Goebel, Katsumi Inoue
2019	B	`conf`	Identifying Belief Sequences in a Network of Communicating Agents. PRIMA Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue
2019	J	`jnl`	Learning Inference Rules from Data. Künstliche Intell. Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
2019	B	`conf`	Learning Logic Programs from Noisy State Transition Data. ILP Yin Jun Phua, Katsumi Inoue
2019	J	`jnl`	Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. FLAP Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
2019	C	`conf`	Live Demonstration: Real-Time Auto-Exposure Histogram Equalization Video-System using Frequent Items Counter. ISCAS Takahiro Hosaka, Trong-Thuc Hoang, Van-Phuc Hoang, Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham
2019	A*	`conf`	Meta-Interpretive Learning Using HEX-Programs. IJCAI Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2019	C	`conf`	Ordering Argumentation Frameworks. ECSQARU Chiaki Sakama, Katsumi Inoue
2019	A*	`conf`	What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. IJCAI Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2019	J	`jnl`	teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
2018	J	`jnl`	A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit Standby Power on 65-nm SOTB. CoRR Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2018	C	`conf`	A 219-μW 1D-to-2D-Based Priority Encoder on 65-nm SOTB CMOS. ISCAS Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2018	A*	`conf`	Abducing Relations in Continuous Spaces. IJCAI Taisuke Sato, Katsumi Inoue, Chiaki Sakama
2018	J	`jnl`	An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA. CoRR Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2018	J	`jnl`	An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation. IEEE Access Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2018	J	`jnl`	An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation. CoRR Xuan-Thuan Nguyen, Trong-Thuc Hoang, Hong-Thu Nguyen, Katsumi Inoue, Cong-Kha Pham
2018	—	`conf`	Computing Logic Programming Semantics in Linear Algebra. MIWAI Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
2018	J	`jnl`	Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2018	J	`jnl`	Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory Pract. Log. Program. Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2018	J	`jnl`	Frequent items counter based on binary decoders. IEICE Electron. Express Katsumi Inoue, Trong-Thuc Hoang, Cong-Kha Pham
2018	—	`conf`	Identifying Goals of Agents by Learning from Observations. MIWAI Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
2018	—	`conf`	Learning Commonsense Knowledge Through Interactive Dialogue. ICLP (Technical Communications) Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
2018	B	`conf`	Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
2018	A	`conf`	Multi-Objective Distributed Pseudo-Tree Optimization. AAMAS Maxime Clement, Tenda Okimoto, Katsumi Inoue
2018	J	`jnl`	Partial Evaluation of Logic Programs in Vector Spaces. CoRR Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
2018	A*	`conf`	Probabilistic Coalition Structure Generation. KR Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
2018	A	`conf`	Recoverable Team Formation: Building Teams Resilient to Change. AAMAS Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
2018	B	`conf`	Robust Coalition Structure Generation. PRIMA Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
2018	—	`conf`	VLSI Design of Frequent Items Counting Using Binary Decoders Applied to 8-bit per Item Case-study. PRIME Katsumi Inoue, Trong-Thuc Hoang, Xuan-Thuan Nguyen, Hong-Thu Nguyen, Cong-Kha Pham
2017	A	`conf`	Coverage-Based Clause Reduction Heuristics for CDCL Solvers. SAT Hidetomo Nabeshima, Katsumi Inoue
2017	J	`jnl`	Distributed Pareto Local Search for Multi-Objective DCOPs. IEICE Trans. Inf. Syst. Maxime Clement, Tenda Okimoto, Katsumi Inoue
2017	—	`conf`	FPGA-based frequent items counting using matrix of equality comparators. MWSCAS Trong-Thuc Hoang, Xuan-Thuan Nguyen, Hong-Thu Nguyen, Nhu-Quynh Truong, Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham
2017	C	`conf`	Highly parallel bitmap-based regular expression matching for text analytics. ISCAS Xuan-Thuan Nguyen, Hong-Thu Nguyen, Katsumi Inoue, Osamu Shimojo, Cong-Kha Pham
2017	B	`conf`	Inductive Learning from State Transitions over Continuous Domains. ILP Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
2017	—	`conf`	Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. ISNN (1) Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
2017	—	`conf`	Learning Logic Program Representation for Delayed Systems With Limited Training Data. ILP (Late Breaking Papers) Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue
2017	C	`conf`	Linear Algebraic Characterization of Logic Programs. KSEM Chiaki Sakama, Katsumi Inoue, Taisuke Sato
2017	J	`jnl`	Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
2017	—	`conf`	Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences. CBI (1) Kotaro Okazaki, Katsumi Inoue
2017	J	`jnl`	Relational Reinforcement Learning for Planning with Exogenous Effects. J. Mach. Learn. Res. David Martínez Martínez, Guillem Alenyà, Tony Ribeiro, Katsumi Inoue, Carme Torras
2017	J	`jnl`	Special issue on inductive logic programming. Mach. Learn. Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
2017	B	`conf`	catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. LPNMR Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2016	J	`jnl`	Abduction, conversational implicature and misleading in human dialogues. Log. J. IGPL Chiaki Sakama, Katsumi Inoue
2016	C	`conf`	An efficient FPGA-based database processor for fast database analytics. ISCAS Xuan-Thuan Nguyen, Hong-Thu Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Osamu Shimojo, Toshio Murayama, Kenji Tominaga, Cong-Kha Pham
2016	J	`jnl`	Analyzing resilience properties in oscillatory biological systems using parametric model checking. Biosyst. Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
2016	J	`jnl`	Characterization of logic program revision as an extension of propositional revision. Theory Pract. Log. Program. Nicolas Schwind, Katsumi Inoue
2016	J	`jnl`	Formalization of resilience for constraint-based dynamic systems. J. Reliab. Intell. Environ. Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama
2016	B	`ed.`	Inductive Logic Programming - 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers ILP Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
2016	A*	`conf`	Inductive Logic Programming: Challenges. AAAI Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
2016	—	`conf`	Inference of Delayed Biological Regulatory Networks from Time Series Data. CMSB Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
2016	A*	`conf`	Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. IJCAI Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis
2016	—	`ed.`	Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015. ILP (Late Breaking Papers) Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
2016	A*	`conf`	Learning Relational Dynamics of Stochastic Domains for Planning. ICAPS David Martínez, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue
2016	—	`conf`	Learning from Interpretation Transition using Feed-Forward Neural Networks. ILP (Short Papers) Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
2016	J	`jnl`	Meta-Level Abduction. FLAP Katsumi Inoue
2016	A*	`conf`	Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation. IJCAI Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue
2016	A*	`conf`	Representative Solutions for Multi-Objective Constraint Optimization Problems. KR Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue
2015	—	`conf`	Abduction and Conversational Implicature (Extended Abstract). AAAI Spring Symposia Chiaki Sakama, Katsumi Inoue
2015	A*	`conf`	Belief Revision Games. AAAI Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis
2015	—	`conf`	Can Machines Learn Logics? AGI Chiaki Sakama, Katsumi Inoue
2015	J	`jnl`	Characterization of Logic Program Revision as an Extension of Propositional Revision. CoRR Nicolas Schwind, Katsumi Inoue
2015	—	`conf`	Completing signaling networks by abductive reasoning with perturbation experiments. ILP (Late Breaking Papers) Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
2015	—	`conf`	Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problems. ICAART (2) Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue
2015	A	`conf`	How to Form a Task-Oriented Robust Team. AAMAS Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis
2015	J	`jnl`	Identification of biological regulatory networks from Process Hitting models. Theor. Comput. Sci. Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
2015	B	`conf`	Learning Inference by Induction. ILP Chiaki Sakama, Tony Ribeiro, Katsumi Inoue
2015	C	`conf`	Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. ICMLA Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
2015	—	`conf`	Learning Probabilistic Action Models from Interpretation Transitions. ICLP (Technical Communications) David Martínez, Tony Ribeiro, Katsumi Inoue, Guillem Alenyà, Carme Torras
2015	—	`conf`	Logic Programming for Cellular Automata. ICLP (Technical Communications) Marcus Völker, Katsumi Inoue
2015	—	`conf`	Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. CMSB Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
2015	J	`jnl`	Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. CoRR Alexander Andreychenko, Morgan Magnin, Katsumi Inoue
2015	B	`conf`	aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2014	J	`jnl`	A CAM-Based Information Detection Hardware System for Fast Image Matching on FPGA. IEICE Trans. Electron. Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham
2014	J	`jnl`	A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization. J. Adv. Comput. Intell. Intell. Informatics Alexandre Medi, Tenda Okimoto, Katsumi Inoue
2014	—	`conf`	Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. FMMB Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma
2014	—	`conf`	How Social Identity May Matter Most in Brand Crisis Management. BDCloud Rungsiman Nararatwong, Kotaro Okazaki, Hitoshi Okada, Katsumi Inoue
2014	B	`conf`	Learning Prime Implicant Conditions from Interpretation Transition. ILP Tony Ribeiro, Katsumi Inoue
2014	J	`jnl`	Learning from interpretation transition. Mach. Learn. Katsumi Inoue, Tony Ribeiro, Chiaki Sakama
2014	B	`conf`	Local Search Based Approximate Algorithm for Multi-Objective DCOPs. PRIMA Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue
2014	—	`book`	Logical Modeling of Biological Systems. Luis Fariñas del Cerro, Katsumi Inoue
2014	A	`conf`	Lp-Norm based algorithm for multi-objective distributed constraint optimization. AAMAS Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
2014	—	`conf`	Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem. ICAART (1) Tenda Okimoto, Tony Ribeiro, Maxime Clement, Katsumi Inoue
2014	B	`conf`	Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization. ICTAI Nicolas Schwind, Tenda Okimoto, Sébastien Konieczny, Maxime Wack, Katsumi Inoue
2013	B	`conf`	A BDD-Based Algorithm for Learning from Interpretation Transition. ILP Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
2013	—	`conf`	A CAM-based Information Detection Hardware System for fast exact pattern matching. MWSCAS Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham
2013	—	`conf`	A fast CAM-based Watermarking extraction on FPGA. ICICDT Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham
2013	C	`conf`	A fast CAM-based image matching system on FPGA. ISCAS Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham
2013	—	`conf`	AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization. MIWAI Tenda Okimoto, Maxime Clement, Katsumi Inoue
2013	J	`jnl`	Abduction, unpredictability and Garden of Eden. Log. J. IGPL Chiaki Sakama, Katsumi Inoue
2013	J	`jnl`	Answer set programming as a modeling language for course timetabling. Theory Pract. Log. Program. Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
2013	J	`jnl`	Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2013	B	`conf`	Characterization Theorems for Revision of Logic Programs. LPNMR Nicolas Schwind, Katsumi Inoue
2013	J	`jnl`	Combining Answer Set Programs for Adaptive and Reactive Reasoning. Theory Pract. Log. Program. Tony Ribeiro, Katsumi Inoue, Gauvain Bourgne
2013	J	`jnl`	Completing causal networks by meta-level abduction. Mach. Learn. Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
2013	—	`conf`	Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique. DSN Workshops Tenda Okimoto, Naoto Ikegai, Katsumi Inoue, Hitoshi Okada, Tony Ribeiro, Hiroshi Maruyama
2013	J	`jnl`	Design a Fast CAM-Based Exact Pattern Matching System on FPGA and 0.18µm CMOS Process. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham
2013	B	`conf`	Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. LPNMR Saadat Anwar, Chitta Baral, Katsumi Inoue
2013	J	`jnl`	Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. CoRR Saadat Anwar, Chitta Baral, Katsumi Inoue
2013	J	`jnl`	Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. CoRR Saadat Anwar, Chitta Baral, Katsumi Inoue
2013	J	`jnl`	Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. Theory Pract. Log. Program. Saadat Anwar, Chitta Baral, Katsumi Inoue
2013	—	`conf`	Filtering of Unrelated Answers in a CooperativeQuery Answering System. DaEng Maheen Bakhtyar, Lena Wiese, Katsumi Inoue, Nam Dang
2013	A*	`conf`	Learning revised models for planning in adaptive systems. ICSE Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue
2013	B	`conf`	Model and Algorithm for Dynamic Multi-Objective Distributed Optimization. PRIMA Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue
2013	B	`conf`	On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. ICTAI Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
2013	J	`jnl`	Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning. CoRR Katsumi Inoue, Chiaki Sakama
2013	A	`conf`	Systems resilience: a challenge problem for dynamic constraint-based agent systems. AAMAS Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, Hiroshi Maruyama
2012	J	`jnl`	An FPGA-Based Information Detection Hardware System Employing Multi-Match Content Addressable Memory. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Duc-Hung Le, Katsumi Inoue, Masahiro Sowa, Cong-Kha Pham
2012	—	`conf`	Concretizing the Process Hitting into Biological Regulatory Networks. CMSB Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux
2012	A	`conf`	Finding new consequences of an observation in a system of agents. AAMAS Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
2012	—	`conf`	Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. ICLP (Technical Communications) Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
2012	B	`conf`	Heuristic Inverse Subsumption in Full-Clausal Theories. ILP Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
2012	J	`jnl`	ILP turns 20 - Biography and future challenges. Mach. Learn. Stephen H. Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A. Flach, Katsumi Inoue, Ashwin Srinivasan
2012	—	`conf`	Implementing Inductive Concept Learning For Cooperative Query Answering. GfKl Maheen Bakhtyar, Nam Dang, Katsumi Inoue, Lena Wiese
2012	J	`jnl`	Inverse subsumption for complete explanatory induction. Mach. Learn. Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
2012	—	`conf`	MicroRNAs Robustness in Genetic Regulatory Networks. ILP (Late Breaking Papers) Andrei Doncescu, Katsumi Inoue, Jacques Demongeot
2012	—	`conf`	Minimal Generalization for Conjunctive Queries. MIWAI Thu-Le Pham, Katsumi Inoue
2012	—	`conf`	Non-monotone Dualization via Monotone Dualization. ILP (Late Breaking Papers) Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue
2012	—	`conf`	Oscillating Behavior of Logic Programs. Correct Reasoning Katsumi Inoue, Chiaki Sakama
2011	—	`conf`	Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR. AINA Workshops Grégoire Lejay, Katsumi Inoue, Andrei Doncescu
2011	B	`conf`	Comparison of Upward and Downward Generalizations in CF-Induction. ILP Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
2011	—	`conf`	Complete Distributed Consequence Finding with Message Passing. ICAART (2) Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto
2011	J	`jnl`	Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction CoRR Katsumi Inoue, Chiaki Sakama, Lena Wiese
2011	—	`conf`	Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. INAP/WLP Katsumi Inoue, Chiaki Sakama, Lena Wiese
2011	J	`jnl`	Constraint-based probabilistic modeling for statistical abduction. Mach. Learn. Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
2011	B	`conf`	DNF Hypotheses in Explanatory Induction. ILP Katsumi Inoue
2011	—	`conf`	Discretized Kinetic Models for Abductive Reasoning in Systems Biology. BIOSTEC (Selected Papers) Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
2011	—	`conf`	Distributed Consequence Finding: Partition-Based and Cooperative Approaches. ICAART (Revised Selected Papers) Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto
2011	—	`conf`	Exploring Relations between Answer Set Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Katsumi Inoue, Chiaki Sakama
2011	C	`conf`	Generalizing Conjunctive Queries for Informative Answers. FQAS Katsumi Inoue, Lena Wiese
2011	J	`jnl`	Inductive equivalence in clausal logic and nonmonotonic logic programming. Mach. Learn. Chiaki Sakama, Katsumi Inoue
2011	J	`jnl`	International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7). NII Shonan Meet. Rep. Katsuhisa Horimoto, Katsumi Inoue, Oliver Ray
2011	—	`conf`	Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology. BIOINFORMATICS Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
2011	A*	`conf`	Logic Programming for Boolean Networks. IJCAI Katsumi Inoue
2011	—	`conf`	Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding. ILP (Late Breaking Papers) Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
2011	B	`conf`	Partition-Based Consequence Finding. ICTAI Gauvain Bourgne, Katsumi Inoue
2011	—	`conf`	Probabilistic Rule Learning in Nonmonotonic Domains. CLIMA Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
2010	J	`jnl`	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundam. Informaticae Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
2010	A	`conf`	Abduction of distributed theories through local interactions. ECAI Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
2010	—	`conf`	Analyzing Pathways Using ASP-Based Approaches. ANB Oliver Ray, Takehide Soh, Katsumi Inoue
2010	—	`conf`	Finding Minimal Reaction Sets in Large Metabolic Pathways. WCB@ICLP Takehide Soh, Katsumi Inoue
2010	—	`conf`	Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. LPAR (Yogyakarta) Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue
2010	B	`conf`	Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction. ILP Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
2010	A	`conf`	Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. ECAI Takehide Soh, Katsumi Inoue
2010	—	`conf`	Main Pathway Discovery in Metabolic Pathways. AINA Workshops Katsumi Inoue, Andrei Doncescu, Gabriel Synnaeve, Nabil Kabbaj
2010	—	`conf`	Query-Driven Coordination of Multiple Answer Sets. DALT Gauvain Bourgne, Katsumi Inoue
2010	J	`jnl`	SOLAR: An automated deduction system for consequence finding. AI Commun. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray
2010	—	`conf`	Towards Efficient Multi-Agent Abduction Protocols. MALLOW Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
2010	—	`conf`	Towards Efficient Multi-agent Abduction Protocols. LADS Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
2009	—	`conf`	Abductive Reasoning in Cancer Therapy. AINA Workshops Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
2009	J	`jnl`	Brave induction: a logical framework for learning from incomplete information. Mach. Learn. Chiaki Sakama, Katsumi Inoue
2009	B	`conf`	Discovering Rules by Meta-level Abduction. ILP Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima
2009	J	`jnl`	Equivalence issues in abduction and induction. J. Appl. Log. Chiaki Sakama, Katsumi Inoue
2009	A*	`conf`	Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. IJCAI Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
2009	C	`conf`	Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning. ISDA Petr Buryan, Jirí Kubalík, Katsumi Inoue
2009	J	`jnl`	Reconsideration of circumscriptive induction with pointwise circumscription. J. Appl. Log. Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
2009	—	`conf`	Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. FTP Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
2008	—	`conf`	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. RCRA Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
2008	B	`conf`	Brave Induction. ILP Chiaki Sakama, Katsumi Inoue
2008	A	`conf`	Comparing Abductive Theories. ECAI Katsumi Inoue, Chiaki Sakama
2008	—	`conf`	Complete Pruning Methods and a Practical Search Strategy for SOL. LPAR Workshops Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
2008	J	`jnl`	Coordination in answer set programming. ACM Trans. Comput. Log. Chiaki Sakama, Katsumi Inoue
2008	—	`conf`	Estimation of Possible Reaction States in Metabolic Pathways Using Inductive Logic Programming. AINA Workshops Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
2008	J	`jnl`	Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs. SIAM J. Discret. Math. Yoshimi Egawa, Katsumi Inoue, Ken-ichi Kawarabayashi
2007	B	`conf`	A Consequence Finding Approach for Full Clausal Abduction. Discovery Science Oliver Ray, Katsumi Inoue
2007	J	`jnl`	Analysis of New Aggregation Operators: Mean 3Pi. J. Adv. Comput. Intell. Intell. Informatics Andrei Doncescu, Sébastien Régis, Katsumi Inoue, Richard Emilion
2007	—	`conf`	Biological Systems Analysis Using Inductive Logic Programming. AINA Workshops (1) Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue
2007	—	`ed.`	Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers CLIMA Katsumi Inoue, Ken Satoh, Francesca Toni
2007	A*	`conf`	Generality and Equivalence Relations in Default Logic. AAAI Katsumi Inoue, Chiaki Sakama
2007	C	`conf`	Knowledge Based Discovery in Systems Biology Using CF-Induction. IEA/AIE Andrei Doncescu, Katsumi Inoue, Yoshitaka Yamamoto
2007	B	`conf`	Mode-Directed Inverse Entailment for Full Clausal Theories. ILP Oliver Ray, Katsumi Inoue
2007	A	`conf`	Negotiation by abduction and relaxation. AAMAS Chiaki Sakama, Katsumi Inoue
2007	—	`conf`	Towards a Logical Reconstruction of CF-Induction. JSAI Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
2006	J	`jnl`	A competitive and cooperative approach to propositional satisfiability. Discret. Appl. Math. Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
2006	—	`conf`	A web architecture for data mining in biology. AINA (2) Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, Gilles Richard
2006	J	`jnl`	Abductive Equivalence in First-order Logic. Log. J. IGPL Katsumi Inoue, Chiaki Sakama
2006	C	`conf`	Automated Abduction for Computer Forensics. ATC Andrei Doncescu, Katsumi Inoue
2006	J	`jnl`	Consequence finding and computing answers with defaults. J. Intell. Inf. Syst. Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima
2006	C	`conf`	Constructing Consensus Logic Programs. LOPSTR Chiaki Sakama, Katsumi Inoue
2006	B	`conf`	Generality Relations in Answer Set Programming. ICLP Katsumi Inoue, Chiaki Sakama
2006	A*	`conf`	Lemma Reusing for SAT based Planning and Scheduling. ICAPS Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma
2005	—	`conf`	A Web-Based Architecture for Inductive Logic Programming in Biology. ICEIS (2) Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, Gilles Richard
2005	—	`conf`	Combining Answer Sets of Nonmonotonic Logic Programs. Answer Set Programming Chiaki Sakama, Katsumi Inoue
2005	—	`conf`	Combining Answer Sets of Nonmonotonic Logic Programs. CLIMA Chiaki Sakama, Katsumi Inoue
2005	A*	`conf`	Equivalence in Abductive Logic. IJCAI Katsumi Inoue, Chiaki Sakama
2005	B	`conf`	Inducing Causal Laws by Regular Inference. ILP Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima
2005	B	`conf`	Inductive Equivalence of Logic Programs. ILP Chiaki Sakama, Katsumi Inoue
2005	—	`conf`	Prolog Cafe : A Prolog to Java Translator System. INAP Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
2005	C	`conf`	Upside-Down Transformation in SOL/Connection Tableaux and Its Application. ICTAC Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
2004	J	`jnl`	An Abductive Framework For Computing Knowledge Base Updates CoRR Chiaki Sakama, Katsumi Inoue
2004	B	`conf`	Circumscription Policies for Induction. ILP Katsumi Inoue, Haruka Saito
2004	B	`conf`	Compiling Prioritized Circumscription into Answer Set Programming. ICLP Toshiko Wakaki, Katsumi Inoue
2004	C	`conf`	Consequence Finding in Default Theories. FQAS Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima
2004	—	`conf`	Coordination Between Logical Agents. CLIMA Chiaki Sakama, Katsumi Inoue
2004	B	`conf`	Equivalence of Logic Programs Under Updates. JELIA Katsumi Inoue, Chiaki Sakama
2004	J	`jnl`	Induction as Consequence Finding. Mach. Learn. Katsumi Inoue
2004	J	`jnl`	Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Ann. Math. Artif. Intell. Katsumi Inoue, Koji Iwanuma
2004	B	`conf`	The PLP System. JELIA Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
2003	J	`jnl`	An abductive framework for computing knowledge base updates. Theory Pract. Log. Program. Chiaki Sakama, Katsumi Inoue
2003	B	`conf`	Computing Preferred Answer Sets in Answer Set Programming. LPAR Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
2003	B	`conf`	SOLAR: A Consequence Finding System for Advanced Reasoning. TABLEAUX Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
2002	—	`conf`	Automated Abduction. Computational Logic: Logic Programming and Beyond Katsumi Inoue
2002	—	`conf`	Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. CLIMA Koji Iwanuma, Katsumi Inoue
2002	B	`conf`	Disjunctive Explanations. ICLP Katsumi Inoue, Chiaki Sakama
2002	—	`conf`	Effective SAT Planning by Speculative Computation. Australian Joint Conference on Artificial Intelligence Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
2002	B	`conf`	Minimal Answer Computation and SOL. JELIA Koji Iwanuma, Katsumi Inoue
2002	J	`jnl`	Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs. Electron. Notes Discret. Math. Yoshimi Egawa, Katsumi Inoue, Ken-ichi Kawarabayashi
2001	B	`conf`	Induction, Abduction, and Consequence-Finding. ILP Katsumi Inoue
2000	—	`conf`	A Defeasible Reasoning System in Multi-Agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh
2000	—	`conf`	A Simple Characterization of Extended Abduction. Computational Logic Katsumi Inoue
2000	J	`jnl`	Abductive logic programming and disjunctive logic programming: their relationship and transferability. J. Log. Program. Chiaki Sakama, Katsumi Inoue
2000	B	`conf`	Implementing an action language using a SAT solver. ICTAI Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda
2000	J	`jnl`	Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. Chiaki Sakama, Katsumi Inoue
2000	—	`conf`	Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama
1999	A*	`conf`	Abducing Priorities to Derive Intended Conclusions. IJCAI Katsumi Inoue, Chiaki Sakama
1999	J	`jnl`	Computing Extended Abduction Through Transaction Programs. Ann. Math. Artif. Intell. Katsumi Inoue, Chiaki Sakama
1999	B	`conf`	Distance based hybrid genetic algorithm: an application for the graph coloring problem. CEC Kiyoharu Tagawa, Kenji Kanesige, Katsumi Inoue, Hiromasa Haneda
1999	J	`jnl`	Radius of (2k-1)-Connected Graphs. Ars Comb. Yoshimi Egawa, Katsumi Inoue
1999	B	`conf`	Updating Extended Logic Programs through Abduction. LPNMR Chiaki Sakama, Katsumi Inoue
1998	J	`jnl`	Negation as Failure in the Head. J. Log. Program. Katsumi Inoue, Chiaki Sakama
1998	A	`conf`	On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa
1998	A*	`conf`	Specifying Transactions for Extended Abduction. KR Katsumi Inoue, Chiaki Sakama
1997	—	`conf`	Learning Extended Logic Programs. IJCAI (1) Katsumi Inoue, Yoshimitsu Kudoh
1997	A	`conf`	Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura
1996	J	`jnl`	A Fixpoint Characterization of Abductive Logic Programs. J. Log. Program. Katsumi Inoue, Chiaki Sakama
1996	—	`conf`	Representing Priorities in Logic Programs. JICSLP Chiaki Sakama, Katsumi Inoue
1995	A*	`conf`	Abductive Framework for Nonmonotonic Theory Change. IJCAI Katsumi Inoue, Chiaki Sakama
1995	B	`conf`	Embedding Circumscriptive Theories in General Disjunctive Programs. LPNMR Chiaki Sakama, Katsumi Inoue
1995	J	`jnl`	Paraconsistent Stable Semantics for Extended Disjunctive Programs. J. Log. Comput. Chiaki Sakama, Katsumi Inoue
1995	B	`conf`	The Effect of Partial Deduction in Abductive Reasoning. ICLP Chiaki Sakama, Katsumi Inoue
1994	J	`jnl`	An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. J. Autom. Reason. Chiaki Sakama, Katsumi Inoue
1994	J	`jnl`	Hypothetical Reasoning in Logic Programs. J. Log. Program. Katsumi Inoue
1994	A*	`conf`	On Positive Occurrences of Negation as Failure. KR Katsumi Inoue, Chiaki Sakama
1994	B	`conf`	On the Equivalence between Disjunctive and Abductive Logic Programs. ICLP Chiaki Sakama, Katsumi Inoue
1993	A*	`conf`	Bottom-up Abduction by Model Generation. IJCAI Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima
1993	J	`jnl`	Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. New Gener. Comput. Yoshihiko Ohta, Katsumi Inoue
1993	B	`conf`	Negation in Disjunctive Logic Programs. ICLP Chiaki Sakama, Katsumi Inoue
1993	B	`conf`	Relating Disjunctive Logic Programs to Default Theories. LPNMR Chiaki Sakama, Katsumi Inoue
1993	B	`conf`	Transforming Abductive Logic Programs to Disjunctive Programs. ICLP Katsumi Inoue, Chiaki Sakama
1992	—	`conf`	A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. FGCS Yoshihiko Ohta, Katsumi Inoue
1992	A	`conf`	Embedding Negation as Failure into a Model Generation Theorem Prover. CADE Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa
1992	J	`jnl`	Linear Resolution for Consequence Finding. Artif. Intell. Katsumi Inoue
1991	A*	`conf`	Consequence-Finding Based on Ordered Linear Resolution. IJCAI Katsumi Inoue
1991	B	`conf`	Extended Logic Programs with Default Assumptions. ICLP Katsumi Inoue
1991	A*	`conf`	Query Answering in Circumscription. IJCAI Nicolas Helft, Katsumi Inoue, David Poole
1990	—	`conf`	A forward-chaining multiple-context reasoner and its application to logic design. TAI Yoshihiko Ohta, Katsumi Inoue
1990	—	`conf`	An Abductive Procedure for the CMS/ATMS. Truth Maintenance Systems (ECAI Workshop) Katsumi Inoue
1988	—	`conf`	Problem Solving with Hypothetical Reasoning. FGCS Katsumi Inoue