default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKatsumi Inoue
Person information
- affiliation: National Institute of Informatics, NII, Japan
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j75]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: 109943-109956 (2024)- [j74]Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang:
A differentiable first-order rule learner for inductive logic programming. Artif. Intell. 331: 104108 (2024) - [c206]Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis:
BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. AAAI 2024: 10696-10704 - [c205]Akihiro Takemura, Katsumi Inoue:
Differentiable Logic Programming for Distant Supervision. ECAI 2024: 1301-1308 - [c204]Katsumi Inoue:
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract). FLOPS 2024: 3-9 - [c203]Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang:
A differentiable first-order rule learner for inductive logic programming (Abstract Reprint). IJCAI 2024: 8478 - [c202]Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara:
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. LPNMR 2024: 57-70 - [c201]Yin Jun Phua, Katsumi Inoue:
Variable Assignment Invariant Neural Networks for Learning Logic Programs. NeSy (1) 2024: 47-61 - [c200]Tuan Nguyen, Katsumi Inoue, Chiaki Sakama:
Linear Algebraic Partial Evaluation of Logic Programs. NMR 2024: 14-23 - [c199]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara:
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. WALCOM 2024: 242-256 - [i27]Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura:
MOD-CL: Multi-label Object Detection with Constrained Loss. CoRR abs/2403.07885 (2024) - [i26]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 abs/2405.11305 (2024) - [i25]Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko:
Abductive Reasoning in a Paraconsistent Framework. CoRR abs/2408.07287 (2024) - [i24]Yin Jun Phua, Katsumi Inoue:
Variable Assignment Invariant Neural Networks for Learning Logic Programs. CoRR abs/2408.10709 (2024) - [i23]Akihiro Takemura, Katsumi Inoue:
Differentiable Logic Programming for Distant Supervision. CoRR abs/2408.12591 (2024) - [i22]Akihiro Takemura, Katsumi Inoue:
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. CoRR abs/2410.11000 (2024) - 2023
- [j73]Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez:
Algorithms for partially robust team formation. Auton. Agents Multi Agent Syst. 37(2): 22 (2023) - [j72]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): 296-311 (2023) - [j71]Taisuke Sato, Katsumi Inoue:
Differentiable learning of matricized DNFs and its application to Boolean networks. Mach. Learn. 112(8): 2821-2843 (2023) - [c198]Nicolas Schwind, Katsumi Inoue, Pierre Marquis:
Editing Boolean Classifiers: A Belief Change Perspective. AAAI 2023: 6516-6524 - [c197]Tuan Nguyen Quoc, Katsumi Inoue:
On Converting Logic Programs Into Matrices. ICAART (2) 2023: 405-415 - [c196]Takeru Isobe, Katsumi Inoue:
Learning Strategies of Inductive Logic Programming Using Reinforcement Learning. ILP 2023: 46-61 - [c195]Sota Moriyama, Koji Watanabe, Katsumi Inoue:
GNN Based Extraction of Minimal Unsatisfiable Subsets. ILP 2023: 77-92 - [c194]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: 262-277 - [c193]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub:
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA 2023: 278-286 - [c192]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Linear Algebraic Abduction with Partial Evaluation. PADL 2023: 197-215 - [c191]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: 133-143 - [i21]Taisuke Sato, Akihiro Takemura, Katsumi Inoue:
Towards end-to-end ASP computation. CoRR abs/2306.06821 (2023) - [i20]Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub:
Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR abs/2307.10688 (2023) - [i19]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:
Structured World Representations in Maze-Solving Transformers. CoRR abs/2312.02566 (2023) - 2022
- [j70]Kotaro Okazaki, Katsumi Inoue:
Explainable Model Fusion for Customer Journey Mapping. Frontiers Artif. Intell. 5: 824197 (2022) - [j69]Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue:
Learning from interpretation transition using differentiable logic programming semantics. Mach. Learn. 111(1): 123-145 (2022) - [j68]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): 3593-3670 (2022) - [j67]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. New Gener. Comput. 40(1): 225-254 (2022) - [c190]Binh Kieu-Do-Nguyen, Tuan-Kiet Dang, 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: 109-112 - [c189]Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang:
Learning First-Order Rules with Differentiable Logic Program Semantics. IJCAI 2022: 3008-3014 - [c188]Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue:
Diagnosis of Event Sequences with LFIT. ILP 2022: 117-126 - [c187]Akihiro Takemura, Katsumi Inoue:
Gradient-Based Supported Model Computation in Vector Spaces. LPNMR 2022: 336-349 - [c186]Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia:
Action Languages Based Actual Causality in Decision Making Contexts. PRIMA 2022: 243-259 - [i18]Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang:
Learning First-Order Rules with Differentiable Logic Program Semantics. CoRR abs/2204.13570 (2022) - [i17]Camilo Sarmiento, Gauvain Bourgne, Daniele Cavalli, Katsumi Inoue, Jean-Gabriel Ganascia:
Action Languages Based Actual Causality in Ethical Decision Making Contexts. CoRR abs/2205.02919 (2022) - [i16]Koji Watanabe, Katsumi Inoue:
Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines. CoRR abs/2212.03374 (2022) - 2021
- [j66]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): 14 (2021) - [j65]Chiaki Sakama, Katsumi Inoue, Taisuke Sato:
Logic programming in tensor spaces. Ann. Math. Artif. Intell. 89(12): 1133-1153 (2021) - [j64]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): 1298-1316 (2021) - [c185]Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez:
Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. AAMAS 2021: 1154-1162 - [c184]Tianyu Chen, Florian Richoux, Javier M. Torres, Katsumi Inoue:
Interpretable Utility-based Models Applied to the FightingICE Platform. CoG 2021: 1-8 - [c183]Akihiro Takemura, Katsumi Inoue:
Gradient-Based Supported Model Computation in Vector Spaces. ICLP Workshops 2021 - [c182]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Linear Algebraic Computation of Propositional Horn Abduction. ICTAI 2021: 240-247 - [c181]Guillaume Lorthioir, Katsumi Inoue:
A Robust Approach to Noise for Plan Recognition in RTS Games. ICTAI 2021: 469-474 - [c180]Yin Jun Phua, Katsumi Inoue:
Learning Logic Programs Using Neural Networks by Exploiting Symbolic Invariance. ILP 2021: 203-218 - [c179]Akihiro Takemura, Katsumi Inoue:
Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming. ICLP Technical Communications 2021: 127-140 - 2020
- [j63]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): 34 (2020) - [j62]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: 102970 (2020) - [j61]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): 7:1-7:24 (2020) - [c178]Taisuke Sato, Chiaki Sakama, Katsumi Inoue:
From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. ICAART (2) 2020: 758-765 - [c177]Guillaume Lorthioir, Katsumi Inoue:
Design Adaptive AI for RTS Game by Learning Player's Build Order. IJCAI 2020: 5194-5195 - [c176]Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Static Analysis and Stochastic Search for Reachability Problem. SASB 2020: 139-158 - [c175]Hidetomo Nabeshima, Katsumi Inoue:
Reproducible Efficient Parallel SAT Solving. SAT 2020: 123-138 - [c174]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. ICLP Technical Communications 2020: 192-205
2010 – 2019
- 2019
- [j60]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): 3-37 (2019) - [j59]Yin Jun Phua, Tony Ribeiro, Katsumi Inoue:
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge. FLAP 6(4): 695-708 (2019) - [j58]Chiaki Sakama, Katsumi Inoue, Tony Ribeiro:
Learning Inference Rules from Data. Künstliche Intell. 33(3): 267-278 (2019) - [j57]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: 112-117 (2019) - [j56]Tomonobu Ozaki, Randy Goebel, Katsumi Inoue:
From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa. New Gener. Comput. 37(2): 141-158 (2019) - [j55]Katsumi Inoue, Chiaki Sakama:
Disjunctive Abduction. New Gener. Comput. 37(2): 219-243 (2019) - [j54]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 66-II(2): 472-476 (2019) - [c173]Chiaki Sakama, Katsumi Inoue:
Ordering Argumentation Frameworks. ECSQARU 2019: 87-98 - [c172]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: 1865-1871 - [c171]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Meta-Interpretive Learning Using HEX-Programs. IJCAI 2019: 6186-6190 - [c170]Yin Jun Phua, Katsumi Inoue:
Learning Logic Programs from Noisy State Transition Data. ILP 2019: 72-80 - [c169]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: 1 - [c168]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: 1-4 - [c167]Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue:
Identifying Belief Sequences in a Network of Communicating Agents. PRIMA 2019: 370-386 - [i15]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) - 2018
- [j53]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: 16046-16059 (2018) - [j52]Katsumi Inoue, Trong-Thuc Hoang, Cong-Kha Pham:
Frequent items counter based on binary decoders. IEICE Electron. Express 15(20): 20180808 (2018) - [j51]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Theory Pract. Log. Program. 18(3-4): 571-588 (2018) - [c166]Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue:
Recoverable Team Formation: Building Teams Resilient to Change. AAMAS 2018: 1362-1370 - [c165]Maxime Clement, Tenda Okimoto, Katsumi Inoue:
Multi-Objective Distributed Pseudo-Tree Optimization. AAMAS 2018: 1903-1905 - [c164]Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue:
Learning Commonsense Knowledge Through Interactive Dialogue. ICLP (Technical Communications) 2018: 12:1-12:19 - [c163]Taisuke Sato, Katsumi Inoue, Chiaki Sakama:
Abducing Relations in Continuous Spaces. IJCAI 2018: 1956-1962 - [c162]Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Learning Dynamics with Synchronous, Asynchronous and General Semantics. ILP 2018: 118-140 - [c161]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: 1-4 - [c160]Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis:
Probabilistic Coalition Structure Generation. KR 2018: 663-664 - [c159]Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue:
Computing Logic Programming Semantics in Linear Algebra. MIWAI 2018: 32-48 - [c158]Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue:
Identifying Goals of Agents by Learning from Observations. MIWAI 2018: 125-138 - [c157]Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis:
Robust Coalition Structure Generation. PRIMA 2018: 140-157 - [c156]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: 161-164 - [i14]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 abs/1803.11207 (2018) - [i13]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 abs/1804.02330 (2018) - [i12]Tobias Kaminski, Thomas Eiter, Katsumi Inoue:
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR abs/1805.00068 (2018) - [i11]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 abs/1806.06902 (2018) - [i10]Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue:
Partial Evaluation of Logic Programs in Vector Spaces. CoRR abs/1811.11435 (2018) - 2017
- [j50]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): 8 (2017) - [j49]Maxime Clement, Tenda Okimoto, Katsumi Inoue:
Distributed Pareto Local Search for Multi-Objective DCOPs. IEICE Trans. Inf. Syst. 100-D(12): 2897-2905 (2017) - [j48]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: 78:1-78:44 (2017) - [j47]Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto:
Special issue on inductive logic programming. Mach. Learn. 106(12): 1863-1865 (2017) - [c155]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: 27-37 - [c154]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: 124-139 - [c153]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: 1-4 - [c152]Sophie Tourret, Enguerrand Gentet, Katsumi Inoue:
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. ISNN (1) 2017: 483-492 - [c151]Chiaki Sakama, Katsumi Inoue, Taisuke Sato:
Linear Algebraic Characterization of Logic Programs. KSEM 2017: 520-533 - [c150]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: 265-278 - [c149]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: 285-288 - [c148]Hidetomo Nabeshima, Katsumi Inoue:
Coverage-Based Clause Reduction Heuristics for CDCL Solvers. SAT 2017: 136-144 - [c147]Kotaro Okazaki, Katsumi Inoue:
Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences. CBI (1) 2017: 53-61 - 2016
- [j46]Alexander Andreychenko, Morgan Magnin, Katsumi Inoue:
Analyzing resilience properties in oscillatory biological systems using parametric model checking. Biosyst. 149: 50-58 (2016) - [j45]Katsumi Inoue:
Meta-Level Abduction. FLAP 3(1): 7-36 (2016) - [j44]Chiaki Sakama, Katsumi Inoue:
Abduction, conversational implicature and misleading in human dialogues. Log. J. IGPL 24(4): 526-541 (2016) - [j43]Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama:
Formalization of resilience for constraint-based dynamic systems. J. Reliab. Intell. Environ. 2(1): 17-35 (2016) - [j42]Nicolas Schwind, Katsumi Inoue:
Characterization of logic program revision as an extension of propositional revision. Theory Pract. Log. Program. 16(1): 111-138 (2016) - [c146]Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto:
Inductive Logic Programming: Challenges. AAAI 2016: 4330-4332 - [c145]David Martínez, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue:
Learning Relational Dynamics of Stochastic Domains for Planning. ICAPS 2016: 235-243 - [c144]Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Inference of Delayed Biological Regulatory Networks from Time Series Data. CMSB 2016: 30-48 - [c143]Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue:
Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation. IJCAI 2016: 454-460 - [c142]Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. IJCAI 2016: 1237-1243 - [c141]Enguerrand Gentet, Sophie Tourret, Katsumi Inoue:
Learning from Interpretation Transition using Feed-Forward Neural Networks. ILP (Short Papers) 2016: 27-33 - [c140]Xuan-Thuan Nguyen, Hong-Thu Nguyen, Trong-Thuc Hoang, Katsumi Inoue, Osamu Shimojo, Toshio Murayama, Kenji Tominaga, Cong-Kha Pham:
An efficient FPGA-based database processor for fast database analytics. ISCAS 2016: 1758-1761 - [c139]Nicolas Schwind, Tenda Okimoto, Maxime Clement, Katsumi Inoue:
Representative Solutions for Multi-Objective Constraint Optimization Problems. KR 2016: 601-604 - [e3]Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto:
Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015. CEUR Workshop Proceedings 1636, CEUR-WS.org 2016 [contents] - [e2]Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto:
Inductive Logic Programming - 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9575, Springer 2016, ISBN 978-3-319-40565-0 [contents] - 2015
- [j41]Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux:
Identification of biological regulatory networks from Process Hitting models. Theor. Comput. Sci. 568: 49-71 (2015) - [c138]Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
Belief Revision Games. AAAI 2015: 1590-1596 - [c137]Chiaki Sakama, Katsumi Inoue:
Abduction and Conversational Implicature (Extended Abstract). AAAI Spring Symposia 2015 - [c136]Chiaki Sakama, Katsumi Inoue:
Can Machines Learn Logics? AGI 2015: 341-351 - [c135]Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis:
How to Form a Task-Oriented Robust Team. AAMAS 2015: 395-403 - [c134]Alexander Andreychenko, Morgan Magnin, Katsumi Inoue:
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. CMSB 2015: 239-250 - [c133]Maxime Clement, Tenda Okimoto, Nicolas Schwind, Katsumi Inoue:
Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problems. ICAART (2) 2015: 509-516 - [c132]David Martínez, Tony Ribeiro, Katsumi Inoue, Guillem Alenyà, Carme Torras:
Learning Probabilistic Action Models from Interpretation Transitions. ICLP (Technical Communications) 2015 - [c131]Marcus Völker, Katsumi Inoue:
Logic Programming for Cellular Automata. ICLP (Technical Communications) 2015 - [c130]Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama:
Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. ICMLA 2015: 25-31 - [c129]Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux:
Completing signaling networks by abductive reasoning with perturbation experiments. ILP (Late Breaking Papers) 2015: 95-100 - [c128]Chiaki Sakama, Tony Ribeiro, Katsumi Inoue:
Learning Inference by Induction. ILP 2015: 183-199 - [c127]Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise:
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR 2015: 112-126 - [i9]Alexander Andreychenko, Morgan Magnin, Katsumi Inoue:
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information. CoRR abs/1506.06299 (2015) - [i8]Nicolas Schwind, Katsumi Inoue:
Characterization of Logic Program Revision as an Extension of Propositional Revision. CoRR abs/1506.08919 (2015) - 2014
- [b1]Luis Fariñas del Cerro, Katsumi Inoue:
Logical Modeling of Biological Systems. Bioengineering and Health Science Series, iSTE / Wiley 2014, ISBN 978-1-84821-680-8, pp. I-XVI, 1-410 - [j40]Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham:
A CAM-Based Information Detection Hardware System for Fast Image Matching on FPGA. IEICE Trans. Electron. 97-C(1): 65-76 (2014) - [j39]Alexandre Medi, Tenda Okimoto, Katsumi Inoue:
A Two-Phase Complete Algorithm for Multi-Objective Distributed Constraint Optimization. J. Adv. Comput. Intell. Intell. Informatics 18(4): 573-580 (2014) - [j38]Katsumi Inoue, Tony Ribeiro, Chiaki Sakama:
Learning from interpretation transition. Mach. Learn. 94(1): 51-79 (2014) - [c126]Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue:
Lp-Norm based algorithm for multi-objective distributed constraint optimization. AAMAS 2014: 1427-1428 - [c125]Rungsiman Nararatwong, Kotaro Okazaki, Hitoshi Okada, Katsumi Inoue:
How Social Identity May Matter Most in Brand Crisis Management. BDCloud 2014: 572-578 - [c124]Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma:
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. FMMB 2014: 165-179 - [c123]Tenda Okimoto, Tony Ribeiro, Maxime Clement, Katsumi Inoue:
Modeling and Algorithm for Dynamic Multi-objective Weighted Constraint Satisfaction Problem. ICAART (1) 2014: 420-427 - [c122]Nicolas Schwind, Tenda Okimoto, Sébastien Konieczny, Maxime Wack, Katsumi Inoue:
Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization. ICTAI 2014: 170-177 - [c121]Tony Ribeiro, Katsumi Inoue:
Learning Prime Implicant Conditions from Interpretation Transition. ILP 2014: 108-125 - [c120]Maxime Wack, Tenda Okimoto, Maxime Clement, Katsumi Inoue:
Local Search Based Approximate Algorithm for Multi-Objective DCOPs. PRIMA 2014: 390-406 - 2013
- [j37]Duc-Hung Le, Katsumi Inoue, Cong-Kha Pham:
Design a Fast CAM-Based Exact Pattern Matching System on FPGA and 0.18µm CMOS Process. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(9): 1883-1888 (2013) - [j36]Chiaki Sakama, Katsumi Inoue:
Abduction, unpredictability and Garden of Eden. Log. J. IGPL 21(6): 980-998 (2013) - [j35]Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima:
Completing causal networks by meta-level abduction. Mach. Learn. 91(2): 239-277 (2013) - [j34]Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [j33]Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub:
Answer set programming as a modeling language for course timetabling. Theory Pract. Log. Program. 13(4-5): 783-798 (2013) - [j32]Tony Ribeiro, Katsumi Inoue, Gauvain Bourgne:
Combining Answer Set Programs for Adaptive and Reactive Reasoning. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c119]Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, Hiroshi Maruyama:
Systems resilience: a challenge problem for dynamic constraint-based agent systems. AAMAS 2013: 785-788 - [c118]Maheen Bakhtyar, Lena Wiese, Katsumi Inoue, Nam Dang:
Filtering of Unrelated Answers in a CooperativeQuery Answering System. DaEng 2013: 461-470 - [c117]Tenda Okimoto, Naoto Ikegai, Katsumi Inoue, Hitoshi Okada, Tony Ribeiro, Hiroshi Maruyama:
Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique. DSN Workshops 2013: 1-7 - [c116]Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham:
A fast CAM-based Watermarking extraction on FPGA. ICICDT 2013: 207-210 - [c115]Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue:
Learning revised models for planning in adaptive systems. ICSE 2013: 63-71 - [c114]Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
On-the-Fly Lazy Clause Simplification Based on Binary Resolvents. ICTAI 2013: 987-995 - [c113]Tony Ribeiro, Katsumi Inoue, Chiaki Sakama:
A BDD-Based Algorithm for Learning from Interpretation Transition. ILP 2013: 47-63 - [c112]Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham:
A fast CAM-based image matching system on FPGA. ISCAS 2013: 1797-1800 - [c111]Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. LPNMR 2013: 116-121 - [c110]Nicolas Schwind, Katsumi Inoue:
Characterization Theorems for Revision of Logic Programs. LPNMR 2013: 485-498 - [c109]Tenda Okimoto, Maxime Clement, Katsumi Inoue:
AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization. MIWAI 2013: 175-186 - [c108]Duc-Hung Le, Tran Bao Thuong Cao, Katsumi Inoue, Cong-Kha Pham:
A CAM-based Information Detection Hardware System for fast exact pattern matching. MWSCAS 2013: 848-851 - [c107]Maxime Clement, Tenda Okimoto, Tony Ribeiro, Katsumi Inoue:
Model and Algorithm for Dynamic Multi-Objective Distributed Optimization. PRIMA 2013: 413-420 - [i7]Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning. CoRR abs/1306.3542 (2013) - [i6]Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. CoRR abs/1306.3548 (2013) - [i5]Katsumi Inoue, Chiaki Sakama:
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning. CoRR abs/1311.4639 (2013) - [i4]Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise:
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR abs/1312.6113 (2013) - 2012
- [j31]Duc-Hung Le, Katsumi Inoue, Masahiro Sowa, Cong-Kha Pham:
An FPGA-Based Information Detection Hardware System Employing Multi-Match Content Addressable Memory. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(10): 1708-1717 (2012) - [j30]Stephen H. Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A. Flach, Katsumi Inoue, Ashwin Srinivasan:
ILP turns 20 - Biography and future challenges. Mach. Learn. 86(1): 3-23 (2012) - [j29]Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma:
Inverse subsumption for complete explanatory induction. Mach. Learn. 86(1): 115-139 (2012) - [c106]Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet:
Finding new consequences of an observation in a system of agents. AAMAS 2012: 1223-1224 - [c105]Katsumi Inoue, Chiaki Sakama:
Oscillating Behavior of Logic Programs. Correct Reasoning 2012: 345-362 - [c104]Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux:
Concretizing the Process Hitting into Biological Regulatory Networks. CMSB 2012: 166-186 - [c103]Maheen Bakhtyar, Nam Dang, Katsumi Inoue, Lena Wiese:
Implementing Inductive Concept Learning For Cooperative Query Answering. GfKl 2012: 127-134 - [c102]Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue:
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. ICLP (Technical Communications) 2012: 86-97 - [c101]Andrei Doncescu, Katsumi Inoue, Jacques Demongeot:
MicroRNAs Robustness in Genetic Regulatory Networks. ILP (Late Breaking Papers) 2012: 26-37 - [c100]Yoshitaka Yamamoto, Koji Iwanuma, Katsumi Inoue:
Non-monotone Dualization via Monotone Dualization. ILP (Late Breaking Papers) 2012: 74-79 - [c99]Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma:
Heuristic Inverse Subsumption in Full-Clausal Theories. ILP 2012: 241-256 - [c98]Thu-Le Pham, Katsumi Inoue:
Minimal Generalization for Conjunctive Queries. MIWAI 2012: 246-257 - 2011
- [j28]Chiaki Sakama, Katsumi Inoue:
Inductive equivalence in clausal logic and nonmonotonic logic programming. Mach. Learn. 83(1): 1-29 (2011) - [j27]Taisuke Sato, Masakazu Ishihata, Katsumi Inoue:
Constraint-based probabilistic modeling for statistical abduction. Mach. Learn. 83(2): 241-264 (2011) - [c97]Grégoire Lejay, Katsumi Inoue, Andrei Doncescu:
Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR. AINA Workshops 2011: 495-500 - [c96]Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato:
Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology. BIOINFORMATICS 2011: 47-54 - [c95]Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato:
Discretized Kinetic Models for Abductive Reasoning in Systems Biology. BIOSTEC (Selected Papers) 2011: 141-154 - [c94]Katsumi Inoue, Chiaki Sakama:
Exploring Relations between Answer Set Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 91-110 - [c93]Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo:
Probabilistic Rule Learning in Nonmonotonic Domains. CLIMA 2011: 243-258 - [c92]Katsumi Inoue, Lena Wiese:
Generalizing Conjunctive Queries for Informative Answers. FQAS 2011: 1-12 - [c91]Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto:
Complete Distributed Consequence Finding with Message Passing. ICAART (2) 2011: 134-143 - [c90]Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto:
Distributed Consequence Finding: Partition-Based and Cooperative Approaches. ICAART (Revised Selected Papers) 2011: 429-444 - [c89]Gauvain Bourgne, Katsumi Inoue:
Partition-Based Consequence Finding. ICTAI 2011: 641-648 - [c88]Katsumi Inoue:
Logic Programming for Boolean Networks. IJCAI 2011: 924-930 - [c87]Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue:
Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding. ILP (Late Breaking Papers) 2011: 69-76 - [c86]Katsumi Inoue:
DNF Hypotheses in Explanatory Induction. ILP 2011: 173-188 - [c85]Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma:
Comparison of Upward and Downward Generalizations in CF-Induction. ILP 2011: 373-388 - [c84]Katsumi Inoue, Chiaki Sakama, Lena Wiese:
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. INAP/WLP 2011: 134-151 - [i3]Katsumi Inoue, Chiaki Sakama, Lena Wiese:
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction. CoRR abs/1108.5825 (2011) - [i2]Katsuhisa Horimoto, Katsumi Inoue, Oliver Ray:
International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7). NII Shonan Meet. Rep. 2011 (2011) - 2010
- [j26]Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray:
SOLAR: An automated deduction system for consequence finding. AI Commun. 23(2-3): 183-203 (2010) - [j25]Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima:
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundam. Informaticae 102(3-4): 467-487 (2010) - [c83]Katsumi Inoue, Andrei Doncescu, Gabriel Synnaeve, Nabil Kabbaj:
Main Pathway Discovery in Metabolic Pathways. AINA Workshops 2010: 796-801 - [c82]Oliver Ray, Takehide Soh, Katsumi Inoue:
Analyzing Pathways Using ASP-Based Approaches. ANB 2010: 167-183 - [c81]Gauvain Bourgne, Katsumi Inoue:
Query-Driven Coordination of Multiple Answer Sets. DALT 2010: 40-59 - [c80]Takehide Soh, Katsumi Inoue:
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. ECAI 2010: 277-282 - [c79]Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet:
Abduction of distributed theories through local interactions. ECAI 2010: 901-906 - [c78]Takehide Soh, Katsumi Inoue:
Finding Minimal Reaction Sets in Large Metabolic Pathways. WCB@ICLP 2010: 38-52 - [c77]Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima:
Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction. ILP 2010: 114-129 - [c76]Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet:
Towards Efficient Multi-agent Abduction Protocols. LADS 2010: 19-38 - [c75]Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue:
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. LPAR (Yogyakarta) 2010: 112-126 - [c74]Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet:
Towards Efficient Multi-Agent Abduction Protocols. MALLOW 2010
2000 – 2009
- 2009
- [j24]Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima:
Reconsideration of circumscriptive induction with pointwise circumscription. J. Appl. Log. 7(3): 307-317 (2009) - [j23]Chiaki Sakama, Katsumi Inoue:
Equivalence issues in abduction and induction. J. Appl. Log. 7(3): 318-328 (2009) - [j22]Chiaki Sakama, Katsumi Inoue:
Brave induction: a logical framework for learning from incomplete information. Mach. Learn. 76(1): 3-35 (2009) - [c73]Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu:
Abductive Reasoning in Cancer Therapy. AINA Workshops 2009: 948-953 - [c72]Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue:
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. FTP 2009 - [c71]Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima:
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. IJCAI 2009: 810-815 - [c70]Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima:
Discovering Rules by Meta-level Abduction. ILP 2009: 49-64 - [c69]Petr Buryan, Jirí Kubalík, Katsumi Inoue:
Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning. ISDA 2009: 1450-1455 - 2008
- [j21]Yoshimi Egawa, Katsumi Inoue, Ken-ichi Kawarabayashi:
Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs. SIAM J. Discret. Math. 21(4): 1061-1070 (2008) - [j20]Chiaki Sakama, Katsumi Inoue:
Coordination in answer set programming. ACM Trans. Comput. Log. 9(2): 9:1-9:30 (2008) - [c68]Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu:
Estimation of Possible Reaction States in Metabolic Pathways Using Inductive Logic Programming. AINA Workshops 2008: 808-813 - [c67]Katsumi Inoue, Chiaki Sakama:
Comparing Abductive Theories. ECAI 2008: 35-39 - [c66]Chiaki Sakama, Katsumi Inoue:
Brave Induction. ILP 2008: 261-278 - [c65]Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
Complete Pruning Methods and a Practical Search Strategy for SOL. LPAR Workshops 2008 - [c64]Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima:
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. RCRA 2008 - 2007
- [j19]Andrei Doncescu, Sébastien Régis, Katsumi Inoue, Richard Emilion:
Analysis of New Aggregation Operators: Mean 3Pi. J. Adv. Comput. Intell. Intell. Informatics 11(6): 561-569 (2007) - [c63]Katsumi Inoue, Chiaki Sakama:
Generality and Equivalence Relations in Default Logic. AAAI 2007: 434-439 - [c62]Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue:
Biological Systems Analysis Using Inductive Logic Programming. AINA Workshops (1) 2007: 690-695 - [c61]Chiaki Sakama, Katsumi Inoue:
Negotiation by abduction and relaxation. AAMAS 2007: 242 - [c60]Oliver Ray, Katsumi Inoue:
A Consequence Finding Approach for Full Clausal Abduction. Discovery Science 2007: 173-184 - [c59]Andrei Doncescu, Katsumi Inoue, Yoshitaka Yamamoto:
Knowledge Based Discovery in Systems Biology Using CF-Induction. IEA/AIE 2007: 395-404 - [c58]Oliver Ray, Katsumi Inoue:
Mode-Directed Inverse Entailment for Full Clausal Theories. ILP 2007: 225-238 - [c57]Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue:
Towards a Logical Reconstruction of CF-Induction. JSAI 2007: 330-343 - [e1]Katsumi Inoue, Ken Satoh, Francesca Toni:
Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4371, Springer 2007, ISBN 978-3-540-69618-6 [contents] - 2006
- [j18]Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura:
A competitive and cooperative approach to propositional satisfiability. Discret. Appl. Math. 154(16): 2291-2306 (2006) - [j17]Katsumi Inoue, Chiaki Sakama:
Abductive Equivalence in First-order Logic. Log. J. IGPL 14(2): 333-346 (2006) - [j16]Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima:
Consequence finding and computing answers with defaults. J. Intell. Inf. Syst. 26(1): 41-58 (2006) - [c56]Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, Gilles Richard:
A web architecture for data mining in biology. AINA (2) 2006: 607-612 - [c55]Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma:
Lemma Reusing for SAT based Planning and Scheduling. ICAPS 2006: 103-113 - [c54]Andrei Doncescu, Katsumi Inoue:
Automated Abduction for Computer Forensics. ATC 2006: 493-499 - [c53]Katsumi Inoue, Chiaki Sakama:
Generality Relations in Answer Set Programming. ICLP 2006: 211-225 - [c52]Chiaki Sakama, Katsumi Inoue:
Constructing Consensus Logic Programs. LOPSTR 2006: 26-42 - 2005
- [c51]Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs. Answer Set Programming 2005 - [c50]Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs. CLIMA 2005: 320-339 - [c49]Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, Gilles Richard:
A Web-Based Architecture for Inductive Logic Programming in Biology. ICEIS (2) 2005: 357-361 - [c48]Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima:
Upside-Down Transformation in SOL/Connection Tableaux and Its Application. ICTAC 2005: 166-179 - [c47]Katsumi Inoue, Chiaki Sakama:
Equivalence in Abductive Logic. IJCAI 2005: 472-477 - [c46]Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima:
Inducing Causal Laws by Regular Inference. ILP 2005: 154-171 - [c45]Chiaki Sakama, Katsumi Inoue:
Inductive Equivalence of Logic Programs. ILP 2005: 312-329 - [c44]Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue:
Prolog Cafe : A Prolog to Java Translator System. INAP 2005: 1-11 - 2004
- [j15]Katsumi Inoue, Koji Iwanuma:
Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Ann. Math. Artif. Intell. 42(1-3): 255-291 (2004) - [j14]Katsumi Inoue:
Induction as Consequence Finding. Mach. Learn. 55(2): 109-135 (2004) - [c43]Chiaki Sakama, Katsumi Inoue:
Coordination Between Logical Agents. CLIMA 2004: 161-177 - [c42]Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima:
Consequence Finding in Default Theories. FQAS 2004: 459-472 - [c41]Toshiko Wakaki, Katsumi Inoue:
Compiling Prioritized Circumscription into Answer Set Programming. ICLP 2004: 356-370 - [c40]Katsumi Inoue, Haruka Saito:
Circumscription Policies for Induction. ILP 2004: 164-179 - [c39]Katsumi Inoue, Chiaki Sakama:
Equivalence of Logic Programs Under Updates. JELIA 2004: 174-186 - [c38]Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta:
The PLP System. JELIA 2004: 706-709 - [i1]Chiaki Sakama, Katsumi Inoue:
An Abductive Framework For Computing Knowledge Base Updates. CoRR cs.DB/0405076 (2004) - 2003
- [j13]Chiaki Sakama, Katsumi Inoue:
An abductive framework for computing knowledge base updates. Theory Pract. Log. Program. 3(6): 671-713 (2003) - [c37]Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta:
Computing Preferred Answer Sets in Answer Set Programming. LPAR 2003: 259-273 - [c36]Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
SOLAR: A Consequence Finding System for Advanced Reasoning. TABLEAUX 2003: 257-263 - 2002
- [j12]Yoshimi Egawa, Katsumi Inoue, Ken-ichi Kawarabayashi:
Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs. Electron. Notes Discret. Math. 11: 253-264 (2002) - [c35]Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue:
Effective SAT Planning by Speculative Computation. Australian Joint Conference on Artificial Intelligence 2002: 726-728 - [c34]Katsumi Inoue:
Automated Abduction. Computational Logic: Logic Programming and Beyond 2002: 311-341 - [c33]Katsumi Inoue, Chiaki Sakama:
Disjunctive Explanations. ICLP 2002: 317-332 - [c32]Koji Iwanuma, Katsumi Inoue:
Minimal Answer Computation and SOL. JELIA 2002: 245-258 - [c31]Koji Iwanuma, Katsumi Inoue:
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. CLIMA 2002: 167-182 - 2001
- [c30]Katsumi Inoue:
Induction, Abduction, and Consequence-Finding. ILP 2001: 65-79 - 2000
- [j11]Chiaki Sakama, Katsumi Inoue:
Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. 123(1-2): 185-222 (2000) - [j10]Chiaki Sakama, Katsumi Inoue:
Abductive logic programming and disjunctive logic programming: their relationship and transferability. J. Log. Program. 44(1-3): 75-100 (2000) - [c29]Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh:
A Defeasible Reasoning System in Multi-Agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 1-6 - [c28]Katsumi Inoue:
A Simple Characterization of Extended Abduction. Computational Logic 2000: 718-732 - [c27]Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama:
Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270 - [c26]Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda:
Implementing an action language using a SAT solver. ICTAI 2000: 96-103
1990 – 1999
- 1999
- [j9]Katsumi Inoue, Chiaki Sakama:
Computing Extended Abduction Through Transaction Programs. Ann. Math. Artif. Intell. 25(3-4): 339-367 (1999) - [j8]Yoshimi Egawa, Katsumi Inoue:
Radius of (2k-1)-Connected Graphs. Ars Comb. 51 (1999) - [c25]Kiyoharu Tagawa, Kenji Kanesige, Katsumi Inoue, Hiromasa Haneda:
Distance based hybrid genetic algorithm: an application for the graph coloring problem. CEC 1999: 2325-2332 - [c24]Katsumi Inoue, Chiaki Sakama:
Abducing Priorities to Derive Intended Conclusions. IJCAI 1999: 44-49 - [c23]Chiaki Sakama, Katsumi Inoue:
Updating Extended Logic Programs through Abduction. LPNMR 1999: 147-161 - 1998
- [j7]Katsumi Inoue, Chiaki Sakama:
Negation as Failure in the Head. J. Log. Program. 35(1): 39-78 (1998) - [c22]Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa:
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348 - [c21]Katsumi Inoue, Chiaki Sakama:
Specifying Transactions for Extended Abduction. KR 1998: 394-405 - 1997
- [c20]Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura:
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE 1997: 176-190 - [c19]Katsumi Inoue, Yoshimitsu Kudoh:
Learning Extended Logic Programs. IJCAI (1) 1997: 176-181 - 1996
- [j6]Katsumi Inoue, Chiaki Sakama:
A Fixpoint Characterization of Abductive Logic Programs. J. Log. Program. 27(2): 107-136 (1996) - [c18]Chiaki Sakama, Katsumi Inoue:
Representing Priorities in Logic Programs. JICSLP 1996: 82-96 - 1995
- [j5]Chiaki Sakama, Katsumi Inoue:
Paraconsistent Stable Semantics for Extended Disjunctive Programs. J. Log. Comput. 5(3): 265-285 (1995) - [c17]Chiaki Sakama, Katsumi Inoue:
The Effect of Partial Deduction in Abductive Reasoning. ICLP 1995: 383-397 - [c16]Katsumi Inoue, Chiaki Sakama:
Abductive Framework for Nonmonotonic Theory Change. IJCAI 1995: 204-210 - [c15]Chiaki Sakama, Katsumi Inoue:
Embedding Circumscriptive Theories in General Disjunctive Programs. LPNMR 1995: 344-357 - 1994
- [j4]Chiaki Sakama, Katsumi Inoue:
An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. J. Autom. Reason. 13(1): 145-172 (1994) - [j3]Katsumi Inoue:
Hypothetical Reasoning in Logic Programs. J. Log. Program. 18(3): 191-227 (1994) - [c14]Chiaki Sakama, Katsumi Inoue:
On the Equivalence between Disjunctive and Abductive Logic Programs. ICLP 1994: 489-503 - [c13]Katsumi Inoue, Chiaki Sakama:
On Positive Occurrences of Negation as Failure. KR 1994: 293-304 - 1993
- [j2]Yoshihiko Ohta, Katsumi Inoue:
Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. New Gener. Comput. 11(3): 401-421 (1993) - [c12]Katsumi Inoue, Chiaki Sakama:
Transforming Abductive Logic Programs to Disjunctive Programs. ICLP 1993: 335-353 - [c11]Chiaki Sakama, Katsumi Inoue:
Negation in Disjunctive Logic Programs. ICLP 1993: 703-719 - [c10]Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima:
Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108 - [c9]Chiaki Sakama, Katsumi Inoue:
Relating Disjunctive Logic Programs to Default Theories. LPNMR 1993: 266-282 - 1992
- [j1]Katsumi Inoue:
Linear Resolution for Consequence Finding. Artif. Intell. 56(2-3): 301-353 (1992) - [c8]Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa:
Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415 - [c7]Yoshihiko Ohta, Katsumi Inoue:
A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. FGCS 1992: 522-529 - 1991
- [c6]Katsumi Inoue:
Extended Logic Programs with Default Assumptions. ICLP 1991: 490-504 - [c5]Katsumi Inoue:
Consequence-Finding Based on Ordered Linear Resolution. IJCAI 1991: 158-164 - [c4]Nicolas Helft, Katsumi Inoue, David Poole:
Query Answering in Circumscription. IJCAI 1991: 426-431 - 1990
- [c3]Katsumi Inoue:
An Abductive Procedure for the CMS/ATMS. Truth Maintenance Systems (ECAI Workshop) 1990: 34-53 - [c2]Yoshihiko Ohta, Katsumi Inoue:
A forward-chaining multiple-context reasoner and its application to logic design. TAI 1990: 386-392
1980 – 1989
- 1988
- [c1]Katsumi Inoue:
Problem Solving with Hypothetical Reasoning. FGCS 1988: 1275-1281
Coauthor Index
[c200] [c192] [j67] [j65] [j64] [c182] [c178] [c174] [j58] [j55] [c173] [c163] [c159] [i10] [c151] [j44] [c137] [c136] [c130] [c128] [j38] [j36] [c113] [i5] [c105] [j28] [c94] [c84] [i3] [j23] [j22] [j20] [c67] [c66] [c63] [c61] [j17] [c53] [c52] [c51] [c50] [c47] [c45] [c43] [c39] [c38] [i1] [j13] [c37] [c33] [j11] [j10] [c29] [c27] [j9] [c24] [c23] [j7] [c21] [j6] [c18] [j5] [c17] [c16] [c15] [j4] [c14] [c13] [c12] [c11] [c9]
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-12-02 22:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
