Edit Profile (opens in new tab) Inoue, Katsumi Compute Distance To: Compute Author ID: inoue.katsumi Published as: Inoue, Katsumi; Inoue, K. Documents Indexed: 117 Publications since 1960 6 Contributions as Editor · 1 Further Contribution Co-Authors: 73 Co-Authors with 100 Joint Publications 1,081 Co-Co-Authors all top 5 Co-Authors 17 single-authored 35 Sakama, Chiaki 13 Nabeshima, Hidetomo 12 Ribeiro, Tony 10 Iwanuma, Koji 8 Banbara, Mutsunori 8 Soh, Takehide 8 Tamura, Naoyuki 7 Magnin, Morgan 6 Roux, Olivier F. 4 Folschette, Maxime 4 Ohta, Yoshihiko 4 Schaub, Torsten H. 3 Egawa, Yoshimi 3 Hasegawa, Ryuzo 3 Ray, Oliver 3 Sato, Taisuke 2 Akaza, Tohru 2 Alenyà, Guillem 2 Ben Abdallah, Emna 2 Bourgne, Gauvain 2 Doncescu, Andrei 2 Kanagawa, Shuya 2 Kawarabayashi, Ken-ichi 2 Koshimura, Miyuki 2 Nivat, Maurice 2 Ohwada, Hayato 2 Okimoto, Tenda 2 Schwind, Nicolas 2 Torras, Carme 2 Wakaki, Toshiko 2 Wang, Patrick Shen-Pei 2 Yamamoto, Akihiro 2 Yamamoto, Yoshitaka 2 Yamashita, Jiro 1 Alad’ev, V. Z. 1 Anwar, Saadat 1 Arimoto, Akio 1 Bando, Hideyuki 1 Baral, Chitta R. 1 Borzacchiello, Domenico 1 Cao, Yongzhi 1 Chai, Xinwei 1 Chinesta, Francisco 1 Corapi, Domenico 1 Davis, Larry S. 1 Eiter, Thomas 1 Fariñas del Cerro, Luis 1 Fessler, G. 1 Froidevaux, Christine 1 Furukawa, Kōichi 1 Gao, Kun 1 Gebser, Martin 1 Golze, Ulrich 1 Gössel, Michael 1 Haneda, Hiromasa 1 Heinrich, Roland 1 Helft, Nicolas 1 Hemmerling, Armin 1 Ishihata, Masakazu 1 Kaminski, Tobias 1 Kaneyuki, Hiromasa 1 Katona, Endre 1 Kaufmann, Benjamin 1 Klette, Reinhard 1 Kobayashi, Ikuo 1 Matsunaka, Haruki 1 Maudet, Nicolas 1 Moriya, Hisao 1 Nasraoui, A. 1 Nitta, Katsumi 1 Ostrowski, Max 1 Paulevé, Loïc 1 Peano, Andrea 1 Pecht, Josef 1 Phua, Yin Jun 1 Quoc, Tuan Nguyen 1 Rebel, Burghard 1 Rosenfeld, Azriel 1 Rougny, Adrien 1 Russo, Alessandra M. 1 Saisho, Yasumasa 1 Saito, Haruka 1 Saoudi, Ahmed 1 Sasaura, Yoshito 1 Satoh, Ken 1 Seutter, F. 1 Sykes, Daniel 1 Tillert, P. 1 Toni, Francesca 1 Tourret, Sophie 1 Ueda, Seiji 1 Völker, Marcus 1 Wachsmuth, Ipke 1 Wang, Hanpin 1 Wanko, Philipp 1 Wedler, Volker 1 Weise, Matthias all top 5 Serials 11 Machine Learning 4 The Journal of Logic Programming 4 Theory and Practice of Logic Programming 3 Tôhoku Mathematical Journal. Second Series 3 Annals of Mathematics and Artificial Intelligence 3 Logic Journal of the IGPL 3 RIMS Kokyuroku 2 Artificial Intelligence 2 The Science Reports of Kanazawa University 2 Journal of Logic and Computation 2 Journal of Applied Logic 2 Lecture Notes in Computer Science 2 Series in Machine Perception and Artificial Intelligence 1 Discrete Applied Mathematics 1 Ars Combinatoria 1 Journal of Multivariate Analysis 1 Theoretical Computer Science 1 New Generation Computing 1 Journal of Automated Reasoning 1 SIAM Journal on Discrete Mathematics 1 AI Communications 1 Annals of Operations Research 1 SUT Journal of Mathematics 1 Discrete and Continuous Dynamical Systems 1 Fundamenta Informaticae 1 Journal of Machine Learning Research (JMLR) 1 ACM Transactions on Computational Logic 1 Algorithms 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications all top 5 Fields 96 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 10 Biology and other natural sciences (92-XX) 8 Functions of a complex variable (30-XX) 6 Group theory and generalizations (20-XX) 5 General and overarching topics; collections (00-XX) 5 Combinatorics (05-XX) 3 Probability theory and stochastic processes (60-XX) 3 Statistics (62-XX) 3 Numerical analysis (65-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Operations research, mathematical programming (90-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Manifolds and cell complexes (57-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 71 Publications have been cited 286 times in 201 Documents Cited by ▼ Year ▼ Linear resolution for consequence finding. Zbl 0805.68105Inoue, Katsumi 23 1992 Negation as failure in the head. Zbl 0905.68030Inoue, Katsumi; Sakama, Chiaki 18 1998 An alternative approach to the semantics of disjunctive logic programs and deductive databases. Zbl 0819.68036Sakama, Chiaki; Inoue, Katsumi 16 1994 An abductive framework for computing knowledge base updates. Zbl 1085.68545Sakama, Chiaki; Inoue, Katsumi 16 2003 Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070Sakama, Chiaki; Inoue, Katsumi 13 1995 Equivalence of logic programs under updates. Zbl 1111.68381Inoue, Katsumi; Sakama, Chiaki 13 2004 Learning from interpretation transition. Zbl 1319.68054Inoue, Katsumi; Ribeiro, Tony; Sakama, Chiaki 12 2014 Prioritized logic programming and its application to commonsense reasoning. Zbl 0952.68020Sakama, C.; Inoue, K. 11 2000 Answer set programming as a modeling language for course timetabling. Zbl 1286.68040Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten 10 2013 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 7 2018 Induction as consequence finding. Zbl 1101.68078Inoue, Katsumi 7 2004 Equivalence of measures for some class of Gaussian random fields. Zbl 0341.60028Inoue, K. 7 1976 Consequence-finding based on ordered linear resolution. Zbl 0745.68095Inoue, Katsumi 6 1991 On the relationship between non-Horn magic sets and relevancy testing. Zbl 0926.03008Ohta, Yoshihiko; Inoue, Katsumi; Hasegawa, Ryuzo 6 1998 Radius of \((2k-1)\)-connected graphs. Zbl 0977.05040Egawa, Yoshimi; Inoue, Katsumi 6 1999 Inductive equivalence of logic programs. Zbl 1134.68480Sakama, Chiaki; Inoue, Katsumi 6 2005 Completing causal networks by meta-level abduction. Zbl 1273.68375Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo 6 2013 SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver 6 2010 A SAT-based method for solving the two-dimensional strip packing problem. Zbl 1214.68374Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo 5 2010 Discovering rules by meta-level abduction. Zbl 1286.68380Inoue, Katsumi; Furukawa, Koichi; Kobayashi, Ikuo; Nabeshima, Hidetomo 5 2010 A fixpoint characterization of abductive logic programs. Zbl 0874.68051Inoue, Katsumi; Sakama, Chiaki 5 1996 Updating extended logic programs through abduction. Zbl 0952.68052Sakama, Chiaki; Inoue, Katsumi 5 1999 Query answering in circumscription. Zbl 0742.68053Helft, Nicolas; Inoue, Katsumi; Poole, David 4 1991 Embedding negation as failure into a model generation theorem prover. Zbl 0925.68417Inoue, Katsumi; Koshimura, Miyuki; Hasegawa, Ryuzo 4 1992 Hypothetical reasoning in logic programs. Zbl 0803.68013Inoue, Katsumi 3 1994 Identifying necessary reactions in metabolic pathways by minimal model generation. Zbl 1211.92025Soh, Takehide; Inoue, Katsumi 3 2010 Mode-directed inverse entailment for full clausal theories. Zbl 1136.68502Ray, Oliver; Inoue, Katsumi 3 2008 A forward-chaining hypothetical reasoner based on upside-down meta-interpretation. Zbl 0862.68096Ohta, Yoshihiko; Inoue, Katsumi 3 1992 Induction, abduction, and consequence-finding. Zbl 1007.68505Inoue, Katsumi 3 2001 Inducing causal laws by regular inference. Zbl 1134.68472Inoue, Katsumi; Bando, Hideyuki; Nabeshima, Hidetomo 3 2005 Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi 3 2010 Probabilistic rule learning in nonmonotonic domains. Zbl 1348.68188Corapi, Domenico; Sykes, Daniel; Inoue, Katsumi; Russo, Alessandra 3 2011 Relational reinforcement learning for planning with exogenous effects. Zbl 1434.68432Martínez, David; Alenyà, Guillem; Ribeiro, Tony; Inoue, Katsumi; Torras, Carme 3 2017 Learning dynamics with synchronous, asynchronous and general semantics. Zbl 1455.68179Ribeiro, Tony; Folschette, Maxime; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi 2 2018 Inductive learning from state transitions over continuous domains. Zbl 1455.68180Ribeiro, Tony; Tourret, Sophie; Folschette, Maxime; Magnin, Morgan; Borzacchiello, Domenico; Chinesta, Francisco; Roux, Olivier; Inoue, Katsumi 2 2018 Automated abduction. Zbl 1012.68189Inoue, Katsumi 2 2002 Minimal answer computation and SOL. Zbl 1013.68210Iwanuma, Koji; Inoue, Katsumi 2 2002 Equivalence issues in abduction and induction. Zbl 1176.68165Sakama, Chiaki; Inoue, Katsumi 2 2009 Circumscription policies for induction. Zbl 1105.68380Inoue, Katsumi; Saito, Haruka 2 2004 Brave induction. Zbl 1156.68549Sakama, Chiaki; Inoue, Katsumi 2 2008 Characterization of logic program revision as an extension of propositional revision. Zbl 1379.68302Schwind, Nicolas; Inoue, Katsumi 2 2016 SOLAR: a consequence finding system for advanced reasoning. Zbl 1274.68412Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi 2 2003 Oscillating behavior of logic programs. Zbl 1357.68036Inoue, Katsumi; Sakama, Chiaki 2 2012 teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp 2 2019 Speculative computation through consequence-finding in multi-agent environments. Zbl 1059.68129Inoue, Katsumi; Iwanuma, Koji 1 2004 Effective SAT planning by speculative computation. Zbl 1032.68751Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi 1 2002 Completing SBGN-AF networks by logic-based hypothesis finding. Zbl 1402.92209Yamamoto, Yoshitaka; Rougny, Adrien; Nabeshima, Hidetomo; Inoue, Katsumi; Moriya, Hisao; Froidevaux, Christine; Iwanuma, Koji 1 2014 Hypothesizing about causal networks with positive and negative effects by meta-level abduction. Zbl 1329.68217Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo 1 2011 Compiling prioritized circumscription into answer set programming. Zbl 1104.68392Wakaki, Toshiko; Inoue, Katsumi 1 2004 Constraint-based probabilistic modeling for statistical abduction. Zbl 1237.62006Sato, Taisuke; Ishihata, Masakazu; Inoue, Katsumi 1 2011 Margulis decomposition and translation lengths of discrete Möbius groups. Zbl 0996.57506Inoue, Katsumi 1 1994 Identification of biological regulatory networks from process hitting models. Zbl 1314.92062Folschette, Maxime; Paulevé, Loïc; Inoue, Katsumi; Magnin, Morgan; Roux, Olivier 1 2015 Abduction, unpredictability and Garden of Eden. Zbl 1320.68172Sakama, Chiaki; Inoue, Katsumi 1 2013 A simple characterization of extended abduction. Zbl 0983.68538Inoue, Katsumi 1 2000 Learning abductive and nonmonotonic logic programs. Zbl 1032.68690Inoue, Katsumi; Haneda, Hiromasa 1 2000 Limit sets of geometrically finite free Kleinian groups. Zbl 0537.30035Akaza, Tohru; Inoue, Katsumi 1 1984 Logical modeling of biological systems. Zbl 1294.92001 1 2014 On the limit set of a geometrically finite Kleinian group. Zbl 0514.30034Akaza, Tohru; Inoue, Katsumi 1 1982 Abductive logic programming and disjunctive logic programming: Their relationship and transferability. Zbl 0957.68015Sakama, Chiaki; Inoue, Katsumi 1 2000 Abductive equivalence in first-order logic. Zbl 1108.03012Inoue, Katsumi; Sakama, Chiaki 1 2006 A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki 1 2006 Analyzing pathways using ASP-based approaches. Zbl 1349.92056Ray, Oliver; Soh, Takehide; Inoue, Katsumi 1 2012 Modeling delayed dynamics in biological regulatory networks from time series data. Zbl 1461.62184Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi 1 2017 Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving. Zbl 1430.68410Hasegawa, Ryuzo; Inoue, Katsumi; Ohta, Yoshihiko; Koshimura, Miyuki 1 1997 An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi 1 2021 Inference of delayed biological regulatory networks from time series data. Zbl 1383.92030Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi 1 2016 Coordination in answer set programming. Zbl 1367.68040Sakama, Chiaki; Inoue, Katsumi 1 2008 Nonseparating induced cycles consisting of contractible edges in \(k\)-connected graphs. Zbl 1075.05554Egawa, Yoshimi; Inoue, Katsumi; Kawarabayashi, Ken-ichi 1 2002 Encoding higher level extensions of Petri nets in answer set programming. Zbl 1405.68040Anwar, Saadat; Baral, Chitta; Inoue, Katsumi 1 2013 Characterization theorems for revision of logic programs. Zbl 1407.68477Schwind, Nicolas; Inoue, Katsumi 1 2013 Embedding circumscriptive theories in general disjunctive programs. Zbl 1496.68323Sakama, Chiaki; Inoue, Katsumi 1 1995 An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi 1 2021 teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049Banbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp 2 2019 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 7 2018 Learning dynamics with synchronous, asynchronous and general semantics. Zbl 1455.68179Ribeiro, Tony; Folschette, Maxime; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi 2 2018 Inductive learning from state transitions over continuous domains. Zbl 1455.68180Ribeiro, Tony; Tourret, Sophie; Folschette, Maxime; Magnin, Morgan; Borzacchiello, Domenico; Chinesta, Francisco; Roux, Olivier; Inoue, Katsumi 2 2018 Relational reinforcement learning for planning with exogenous effects. Zbl 1434.68432Martínez, David; Alenyà, Guillem; Ribeiro, Tony; Inoue, Katsumi; Torras, Carme 3 2017 Modeling delayed dynamics in biological regulatory networks from time series data. Zbl 1461.62184Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi 1 2017 Characterization of logic program revision as an extension of propositional revision. Zbl 1379.68302Schwind, Nicolas; Inoue, Katsumi 2 2016 Inference of delayed biological regulatory networks from time series data. Zbl 1383.92030Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi 1 2016 Identification of biological regulatory networks from process hitting models. Zbl 1314.92062Folschette, Maxime; Paulevé, Loïc; Inoue, Katsumi; Magnin, Morgan; Roux, Olivier 1 2015 Learning from interpretation transition. Zbl 1319.68054Inoue, Katsumi; Ribeiro, Tony; Sakama, Chiaki 12 2014 Completing SBGN-AF networks by logic-based hypothesis finding. Zbl 1402.92209Yamamoto, Yoshitaka; Rougny, Adrien; Nabeshima, Hidetomo; Inoue, Katsumi; Moriya, Hisao; Froidevaux, Christine; Iwanuma, Koji 1 2014 Logical modeling of biological systems. Zbl 1294.92001 1 2014 Answer set programming as a modeling language for course timetabling. Zbl 1286.68040Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten 10 2013 Completing causal networks by meta-level abduction. Zbl 1273.68375Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo 6 2013 Abduction, unpredictability and Garden of Eden. Zbl 1320.68172Sakama, Chiaki; Inoue, Katsumi 1 2013 Encoding higher level extensions of Petri nets in answer set programming. Zbl 1405.68040Anwar, Saadat; Baral, Chitta; Inoue, Katsumi 1 2013 Characterization theorems for revision of logic programs. Zbl 1407.68477Schwind, Nicolas; Inoue, Katsumi 1 2013 Oscillating behavior of logic programs. Zbl 1357.68036Inoue, Katsumi; Sakama, Chiaki 2 2012 Analyzing pathways using ASP-based approaches. Zbl 1349.92056Ray, Oliver; Soh, Takehide; Inoue, Katsumi 1 2012 Probabilistic rule learning in nonmonotonic domains. Zbl 1348.68188Corapi, Domenico; Sykes, Daniel; Inoue, Katsumi; Russo, Alessandra 3 2011 Hypothesizing about causal networks with positive and negative effects by meta-level abduction. Zbl 1329.68217Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo 1 2011 Constraint-based probabilistic modeling for statistical abduction. Zbl 1237.62006Sato, Taisuke; Ishihata, Masakazu; Inoue, Katsumi 1 2011 SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver 6 2010 A SAT-based method for solving the two-dimensional strip packing problem. Zbl 1214.68374Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo 5 2010 Discovering rules by meta-level abduction. Zbl 1286.68380Inoue, Katsumi; Furukawa, Koichi; Kobayashi, Ikuo; Nabeshima, Hidetomo 5 2010 Identifying necessary reactions in metabolic pathways by minimal model generation. Zbl 1211.92025Soh, Takehide; Inoue, Katsumi 3 2010 Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi 3 2010 Equivalence issues in abduction and induction. Zbl 1176.68165Sakama, Chiaki; Inoue, Katsumi 2 2009 Mode-directed inverse entailment for full clausal theories. Zbl 1136.68502Ray, Oliver; Inoue, Katsumi 3 2008 Brave induction. Zbl 1156.68549Sakama, Chiaki; Inoue, Katsumi 2 2008 Coordination in answer set programming. Zbl 1367.68040Sakama, Chiaki; Inoue, Katsumi 1 2008 Abductive equivalence in first-order logic. Zbl 1108.03012Inoue, Katsumi; Sakama, Chiaki 1 2006 A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki 1 2006 Inductive equivalence of logic programs. Zbl 1134.68480Sakama, Chiaki; Inoue, Katsumi 6 2005 Inducing causal laws by regular inference. Zbl 1134.68472Inoue, Katsumi; Bando, Hideyuki; Nabeshima, Hidetomo 3 2005 Equivalence of logic programs under updates. Zbl 1111.68381Inoue, Katsumi; Sakama, Chiaki 13 2004 Induction as consequence finding. Zbl 1101.68078Inoue, Katsumi 7 2004 Circumscription policies for induction. Zbl 1105.68380Inoue, Katsumi; Saito, Haruka 2 2004 Speculative computation through consequence-finding in multi-agent environments. Zbl 1059.68129Inoue, Katsumi; Iwanuma, Koji 1 2004 Compiling prioritized circumscription into answer set programming. Zbl 1104.68392Wakaki, Toshiko; Inoue, Katsumi 1 2004 An abductive framework for computing knowledge base updates. Zbl 1085.68545Sakama, Chiaki; Inoue, Katsumi 16 2003 SOLAR: a consequence finding system for advanced reasoning. Zbl 1274.68412Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi 2 2003 Automated abduction. Zbl 1012.68189Inoue, Katsumi 2 2002 Minimal answer computation and SOL. Zbl 1013.68210Iwanuma, Koji; Inoue, Katsumi 2 2002 Effective SAT planning by speculative computation. Zbl 1032.68751Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi 1 2002 Nonseparating induced cycles consisting of contractible edges in \(k\)-connected graphs. Zbl 1075.05554Egawa, Yoshimi; Inoue, Katsumi; Kawarabayashi, Ken-ichi 1 2002 Induction, abduction, and consequence-finding. Zbl 1007.68505Inoue, Katsumi 3 2001 Prioritized logic programming and its application to commonsense reasoning. Zbl 0952.68020Sakama, C.; Inoue, K. 11 2000 A simple characterization of extended abduction. Zbl 0983.68538Inoue, Katsumi 1 2000 Learning abductive and nonmonotonic logic programs. Zbl 1032.68690Inoue, Katsumi; Haneda, Hiromasa 1 2000 Abductive logic programming and disjunctive logic programming: Their relationship and transferability. Zbl 0957.68015Sakama, Chiaki; Inoue, Katsumi 1 2000 Radius of \((2k-1)\)-connected graphs. Zbl 0977.05040Egawa, Yoshimi; Inoue, Katsumi 6 1999 Updating extended logic programs through abduction. Zbl 0952.68052Sakama, Chiaki; Inoue, Katsumi 5 1999 Negation as failure in the head. Zbl 0905.68030Inoue, Katsumi; Sakama, Chiaki 18 1998 On the relationship between non-Horn magic sets and relevancy testing. Zbl 0926.03008Ohta, Yoshihiko; Inoue, Katsumi; Hasegawa, Ryuzo 6 1998 Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving. Zbl 1430.68410Hasegawa, Ryuzo; Inoue, Katsumi; Ohta, Yoshihiko; Koshimura, Miyuki 1 1997 A fixpoint characterization of abductive logic programs. Zbl 0874.68051Inoue, Katsumi; Sakama, Chiaki 5 1996 Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070Sakama, Chiaki; Inoue, Katsumi 13 1995 Embedding circumscriptive theories in general disjunctive programs. Zbl 1496.68323Sakama, Chiaki; Inoue, Katsumi 1 1995 An alternative approach to the semantics of disjunctive logic programs and deductive databases. Zbl 0819.68036Sakama, Chiaki; Inoue, Katsumi 16 1994 Hypothetical reasoning in logic programs. Zbl 0803.68013Inoue, Katsumi 3 1994 Margulis decomposition and translation lengths of discrete Möbius groups. Zbl 0996.57506Inoue, Katsumi 1 1994 Linear resolution for consequence finding. Zbl 0805.68105Inoue, Katsumi 23 1992 Embedding negation as failure into a model generation theorem prover. Zbl 0925.68417Inoue, Katsumi; Koshimura, Miyuki; Hasegawa, Ryuzo 4 1992 A forward-chaining hypothetical reasoner based on upside-down meta-interpretation. Zbl 0862.68096Ohta, Yoshihiko; Inoue, Katsumi 3 1992 Consequence-finding based on ordered linear resolution. Zbl 0745.68095Inoue, Katsumi 6 1991 Query answering in circumscription. Zbl 0742.68053Helft, Nicolas; Inoue, Katsumi; Poole, David 4 1991 Limit sets of geometrically finite free Kleinian groups. Zbl 0537.30035Akaza, Tohru; Inoue, Katsumi 1 1984 On the limit set of a geometrically finite Kleinian group. Zbl 0514.30034Akaza, Tohru; Inoue, Katsumi 1 1982 Equivalence of measures for some class of Gaussian random fields. Zbl 0341.60028Inoue, K. 7 1976 all cited Publications top 5 cited Publications all top 5 Cited by 341 Authors 23 Inoue, Katsumi 14 Sakama, Chiaki 11 Woltran, Stefan 8 Eiter, Thomas 8 Muggleton, Stephen H. 8 Schaub, Torsten H. 7 Leite, João 6 Gebser, Martin 5 Cropper, Andrew 5 Fink, Michael 5 Mukwembi, Simon 5 Ribeiro, Tony 5 Truszczyński, Mirosław 4 Amendola, Giovanni 4 Baumgartner, Peter 4 Demolombe, Robert 4 Law, Mark M. 4 Leone, Nicola 4 Ricca, Francesco 4 Slota, Martin 4 Tamaddoni-Nezhad, Alireza 4 Tompits, Hans 3 Banbara, Mutsunori 3 Broda, Krysia B. 3 Dankelmann, Peter 3 Fariñas del Cerro, Luis 3 Gonçalves, Ricardo 3 Janhunen, Tomi 3 Knorr, Matthias 3 Niemelä, Ilkka N. F. 3 Russo, Alessandra M. 3 Szałas, Andrzej 3 Tourret, Sophie 3 Wanko, Philipp 3 Yahya, Adnan H. 2 Alferes, José Júlio 2 Bain, Michael E. 2 Bomanson, Jori 2 Brewka, Gerhard 2 Bruynooghe, Maurice 2 Caroprese, Luciano 2 Denecker, Marc 2 Dodaro, Carmine 2 El-Kholany, Mohammed M. S. 2 Erdem, Esra 2 Faber, Wolfgang 2 Fundikwa, Blessings T. 2 Gottlob, Georg 2 Hasegawa, Ryuzo 2 Iori, Manuel 2 Iwanuma, Koji 2 Kaminski, Roland 2 Kaufmann, Benjamin 2 Kohlas, Jürg 2 Kohli, Pushmeet 2 Koshimura, Miyuki 2 Lin, Dianhuan 2 Loveland, Donald W. 2 Magnin, Morgan 2 Maratea, Marco 2 Mazorodze, Jaya Percival 2 Monney, Paul-André 2 Morel, Rolf 2 Nabeshima, Hidetomo 2 Obeid, Naji 2 Ohta, Yoshihiko 2 Ostrowski, Max 2 Palopoli, Luigi 2 Pontelli, Enrico 2 Ray, Oliver 2 Roux, Olivier F. 2 Schaerf, Andrea 2 Schekotihin, Konstantin 2 Schockaert, Steven 2 Sergot, Marek J. 2 Shen, Jun 2 Son, Tran Cao 2 Srinivasan, Ashwin 2 Tamura, Naoyuki 2 Torres-Jimenez, Jose 2 Vermeir, Dirk 2 Wang, Bin 2 Yamamoto, Akihiro 2 Zhang, Shutao 2 Zhang, Zhizheng 2 Zumpano, Ester 1 Acevedo-Juárez, Brenda 1 Aineto, Diego 1 Akaza, Tohru 1 Akkan, Can 1 Alcântara, João 1 Alenyà, Guillem 1 Ali, Patrick 1 Alliot, Jean-Marc 1 Amaral, Paula Alexandra 1 Amir, Eyal 1 Angiulli, Fabrizio 1 Anrig, Bernhard 1 Aravindan, Chandrabose 1 Arieli, Ofer ...and 241 more Authors all top 5 Cited in 41 Serials 33 Artificial Intelligence 22 Theory and Practice of Logic Programming 19 Machine Learning 13 Annals of Mathematics and Artificial Intelligence 9 Theoretical Computer Science 7 Journal of Applied Non-Classical Logics 5 Journal of Applied Logic 4 New Generation Computing 4 Journal of Automated Reasoning 3 Computers & Operations Research 3 Constraints 3 ACM Transactions on Computational Logic 2 Studia Logica 2 Tôhoku Mathematical Journal. Second Series 2 International Journal of Intelligent Systems 2 International Journal of Approximate Reasoning 2 Top 1 Discrete Mathematics 1 Indian Journal of Pure & Applied Mathematics 1 Information Processing Letters 1 Mathematical Biosciences 1 Applied Mathematics and Computation 1 Journal of Combinatorial Theory. Series B 1 Journal of Computer and System Sciences 1 Journal of Graph Theory 1 Operations Research 1 Quaestiones Mathematicae 1 Synthese 1 Information and Computation 1 Annals of Operations Research 1 European Journal of Operational Research 1 ZOR. Zeitschrift für Operations Research 1 The Journal of Artificial Intelligence Research (JAIR) 1 ACM Transactions on Modeling and Computer Simulation 1 Topoi 1 Journal of Machine Learning Research (JMLR) 1 Computational Methods and Function Theory 1 Logical Methods in Computer Science 1 Discrete Mathematics, Algorithms and Applications 1 Algorithms 1 Afrika Matematika all top 5 Cited in 15 Fields 174 Computer science (68-XX) 33 Mathematical logic and foundations (03-XX) 10 Operations research, mathematical programming (90-XX) 10 Biology and other natural sciences (92-XX) 8 Combinatorics (05-XX) 4 Statistics (62-XX) 2 Functions of a complex variable (30-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Differential geometry (53-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year