×
Compute Distance To:
Author ID: inoue.katsumi Recent zbMATH articles by "Inoue, Katsumi"
Published as: Inoue, Katsumi; Inoue, K.
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

Publications by Year

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.68105
Inoue, Katsumi
23
1992
Negation as failure in the head. Zbl 0905.68030
Inoue, Katsumi; Sakama, Chiaki
18
1998
An alternative approach to the semantics of disjunctive logic programs and deductive databases. Zbl 0819.68036
Sakama, Chiaki; Inoue, Katsumi
16
1994
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
16
2003
Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070
Sakama, Chiaki; Inoue, Katsumi
13
1995
Equivalence of logic programs under updates. Zbl 1111.68381
Inoue, Katsumi; Sakama, Chiaki
13
2004
Learning from interpretation transition. Zbl 1319.68054
Inoue, Katsumi; Ribeiro, Tony; Sakama, Chiaki
12
2014
Prioritized logic programming and its application to commonsense reasoning. Zbl 0952.68020
Sakama, C.; Inoue, K.
11
2000
Answer set programming as a modeling language for course timetabling. Zbl 1286.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
10
2013
Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
7
2018
Induction as consequence finding. Zbl 1101.68078
Inoue, Katsumi
7
2004
Equivalence of measures for some class of Gaussian random fields. Zbl 0341.60028
Inoue, K.
7
1976
Consequence-finding based on ordered linear resolution. Zbl 0745.68095
Inoue, Katsumi
6
1991
On the relationship between non-Horn magic sets and relevancy testing. Zbl 0926.03008
Ohta, Yoshihiko; Inoue, Katsumi; Hasegawa, Ryuzo
6
1998
Radius of \((2k-1)\)-connected graphs. Zbl 0977.05040
Egawa, Yoshimi; Inoue, Katsumi
6
1999
Inductive equivalence of logic programs. Zbl 1134.68480
Sakama, Chiaki; Inoue, Katsumi
6
2005
Completing causal networks by meta-level abduction. Zbl 1273.68375
Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo
6
2013
SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver
6
2010
A SAT-based method for solving the two-dimensional strip packing problem. Zbl 1214.68374
Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo
5
2010
Discovering rules by meta-level abduction. Zbl 1286.68380
Inoue, Katsumi; Furukawa, Koichi; Kobayashi, Ikuo; Nabeshima, Hidetomo
5
2010
A fixpoint characterization of abductive logic programs. Zbl 0874.68051
Inoue, Katsumi; Sakama, Chiaki
5
1996
Updating extended logic programs through abduction. Zbl 0952.68052
Sakama, Chiaki; Inoue, Katsumi
5
1999
Query answering in circumscription. Zbl 0742.68053
Helft, Nicolas; Inoue, Katsumi; Poole, David
4
1991
Embedding negation as failure into a model generation theorem prover. Zbl 0925.68417
Inoue, Katsumi; Koshimura, Miyuki; Hasegawa, Ryuzo
4
1992
Hypothetical reasoning in logic programs. Zbl 0803.68013
Inoue, Katsumi
3
1994
Identifying necessary reactions in metabolic pathways by minimal model generation. Zbl 1211.92025
Soh, Takehide; Inoue, Katsumi
3
2010
Mode-directed inverse entailment for full clausal theories. Zbl 1136.68502
Ray, Oliver; Inoue, Katsumi
3
2008
A forward-chaining hypothetical reasoner based on upside-down meta-interpretation. Zbl 0862.68096
Ohta, Yoshihiko; Inoue, Katsumi
3
1992
Induction, abduction, and consequence-finding. Zbl 1007.68505
Inoue, Katsumi
3
2001
Inducing causal laws by regular inference. Zbl 1134.68472
Inoue, Katsumi; Bando, Hideyuki; Nabeshima, Hidetomo
3
2005
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182
Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi
3
2010
Probabilistic rule learning in nonmonotonic domains. Zbl 1348.68188
Corapi, Domenico; Sykes, Daniel; Inoue, Katsumi; Russo, Alessandra
3
2011
Relational reinforcement learning for planning with exogenous effects. Zbl 1434.68432
Martínez, David; Alenyà, Guillem; Ribeiro, Tony; Inoue, Katsumi; Torras, Carme
3
2017
Learning dynamics with synchronous, asynchronous and general semantics. Zbl 1455.68179
Ribeiro, Tony; Folschette, Maxime; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi
2
2018
Inductive learning from state transitions over continuous domains. Zbl 1455.68180
Ribeiro, Tony; Tourret, Sophie; Folschette, Maxime; Magnin, Morgan; Borzacchiello, Domenico; Chinesta, Francisco; Roux, Olivier; Inoue, Katsumi
2
2018
Automated abduction. Zbl 1012.68189
Inoue, Katsumi
2
2002
Minimal answer computation and SOL. Zbl 1013.68210
Iwanuma, Koji; Inoue, Katsumi
2
2002
Equivalence issues in abduction and induction. Zbl 1176.68165
Sakama, Chiaki; Inoue, Katsumi
2
2009
Circumscription policies for induction. Zbl 1105.68380
Inoue, Katsumi; Saito, Haruka
2
2004
Brave induction. Zbl 1156.68549
Sakama, Chiaki; Inoue, Katsumi
2
2008
Characterization of logic program revision as an extension of propositional revision. Zbl 1379.68302
Schwind, Nicolas; Inoue, Katsumi
2
2016
SOLAR: a consequence finding system for advanced reasoning. Zbl 1274.68412
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi
2
2003
Oscillating behavior of logic programs. Zbl 1357.68036
Inoue, Katsumi; Sakama, Chiaki
2
2012
teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049
Banbara, 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.68129
Inoue, Katsumi; Iwanuma, Koji
1
2004
Effective SAT planning by speculative computation. Zbl 1032.68751
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi
1
2002
Completing SBGN-AF networks by logic-based hypothesis finding. Zbl 1402.92209
Yamamoto, 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.68217
Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo
1
2011
Compiling prioritized circumscription into answer set programming. Zbl 1104.68392
Wakaki, Toshiko; Inoue, Katsumi
1
2004
Constraint-based probabilistic modeling for statistical abduction. Zbl 1237.62006
Sato, Taisuke; Ishihata, Masakazu; Inoue, Katsumi
1
2011
Margulis decomposition and translation lengths of discrete Möbius groups. Zbl 0996.57506
Inoue, Katsumi
1
1994
Identification of biological regulatory networks from process hitting models. Zbl 1314.92062
Folschette, Maxime; Paulevé, Loïc; Inoue, Katsumi; Magnin, Morgan; Roux, Olivier
1
2015
Abduction, unpredictability and Garden of Eden. Zbl 1320.68172
Sakama, Chiaki; Inoue, Katsumi
1
2013
A simple characterization of extended abduction. Zbl 0983.68538
Inoue, Katsumi
1
2000
Learning abductive and nonmonotonic logic programs. Zbl 1032.68690
Inoue, Katsumi; Haneda, Hiromasa
1
2000
Limit sets of geometrically finite free Kleinian groups. Zbl 0537.30035
Akaza, 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.30034
Akaza, Tohru; Inoue, Katsumi
1
1982
Abductive logic programming and disjunctive logic programming: Their relationship and transferability. Zbl 0957.68015
Sakama, Chiaki; Inoue, Katsumi
1
2000
Abductive equivalence in first-order logic. Zbl 1108.03012
Inoue, Katsumi; Sakama, Chiaki
1
2006
A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036
Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki
1
2006
Analyzing pathways using ASP-based approaches. Zbl 1349.92056
Ray, Oliver; Soh, Takehide; Inoue, Katsumi
1
2012
Modeling delayed dynamics in biological regulatory networks from time series data. Zbl 1461.62184
Ben 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.68410
Hasegawa, Ryuzo; Inoue, Katsumi; Ohta, Yoshihiko; Koshimura, Miyuki
1
1997
An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785
Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi
1
2021
Inference of delayed biological regulatory networks from time series data. Zbl 1383.92030
Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi
1
2016
Coordination in answer set programming. Zbl 1367.68040
Sakama, Chiaki; Inoue, Katsumi
1
2008
Nonseparating induced cycles consisting of contractible edges in \(k\)-connected graphs. Zbl 1075.05554
Egawa, Yoshimi; Inoue, Katsumi; Kawarabayashi, Ken-ichi
1
2002
Encoding higher level extensions of Petri nets in answer set programming. Zbl 1405.68040
Anwar, Saadat; Baral, Chitta; Inoue, Katsumi
1
2013
Characterization theorems for revision of logic programs. Zbl 1407.68477
Schwind, Nicolas; Inoue, Katsumi
1
2013
Embedding circumscriptive theories in general disjunctive programs. Zbl 1496.68323
Sakama, Chiaki; Inoue, Katsumi
1
1995
An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785
Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi
1
2021
teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Zbl 1434.90049
Banbara, 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.68064
Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi
7
2018
Learning dynamics with synchronous, asynchronous and general semantics. Zbl 1455.68179
Ribeiro, Tony; Folschette, Maxime; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi
2
2018
Inductive learning from state transitions over continuous domains. Zbl 1455.68180
Ribeiro, 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.68432
Martí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.62184
Ben 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.68302
Schwind, Nicolas; Inoue, Katsumi
2
2016
Inference of delayed biological regulatory networks from time series data. Zbl 1383.92030
Ben Abdallah, Emna; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi
1
2016
Identification of biological regulatory networks from process hitting models. Zbl 1314.92062
Folschette, Maxime; Paulevé, Loïc; Inoue, Katsumi; Magnin, Morgan; Roux, Olivier
1
2015
Learning from interpretation transition. Zbl 1319.68054
Inoue, Katsumi; Ribeiro, Tony; Sakama, Chiaki
12
2014
Completing SBGN-AF networks by logic-based hypothesis finding. Zbl 1402.92209
Yamamoto, 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.68040
Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten
10
2013
Completing causal networks by meta-level abduction. Zbl 1273.68375
Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo
6
2013
Abduction, unpredictability and Garden of Eden. Zbl 1320.68172
Sakama, Chiaki; Inoue, Katsumi
1
2013
Encoding higher level extensions of Petri nets in answer set programming. Zbl 1405.68040
Anwar, Saadat; Baral, Chitta; Inoue, Katsumi
1
2013
Characterization theorems for revision of logic programs. Zbl 1407.68477
Schwind, Nicolas; Inoue, Katsumi
1
2013
Oscillating behavior of logic programs. Zbl 1357.68036
Inoue, Katsumi; Sakama, Chiaki
2
2012
Analyzing pathways using ASP-based approaches. Zbl 1349.92056
Ray, Oliver; Soh, Takehide; Inoue, Katsumi
1
2012
Probabilistic rule learning in nonmonotonic domains. Zbl 1348.68188
Corapi, Domenico; Sykes, Daniel; Inoue, Katsumi; Russo, Alessandra
3
2011
Hypothesizing about causal networks with positive and negative effects by meta-level abduction. Zbl 1329.68217
Inoue, Katsumi; Doncescu, Andrei; Nabeshima, Hidetomo
1
2011
Constraint-based probabilistic modeling for statistical abduction. Zbl 1237.62006
Sato, Taisuke; Ishihata, Masakazu; Inoue, Katsumi
1
2011
SOLAR: An automated deduction system for consequence finding. Zbl 1205.68362
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi; Ray, Oliver
6
2010
A SAT-based method for solving the two-dimensional strip packing problem. Zbl 1214.68374
Soh, Takehide; Inoue, Katsumi; Tamura, Naoyuki; Banbara, Mutsunori; Nabeshima, Hidetomo
5
2010
Discovering rules by meta-level abduction. Zbl 1286.68380
Inoue, Katsumi; Furukawa, Koichi; Kobayashi, Ikuo; Nabeshima, Hidetomo
5
2010
Identifying necessary reactions in metabolic pathways by minimal model generation. Zbl 1211.92025
Soh, Takehide; Inoue, Katsumi
3
2010
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers. Zbl 1306.68182
Banbara, Mutsunori; Matsunaka, Haruki; Tamura, Naoyuki; Inoue, Katsumi
3
2010
Equivalence issues in abduction and induction. Zbl 1176.68165
Sakama, Chiaki; Inoue, Katsumi
2
2009
Mode-directed inverse entailment for full clausal theories. Zbl 1136.68502
Ray, Oliver; Inoue, Katsumi
3
2008
Brave induction. Zbl 1156.68549
Sakama, Chiaki; Inoue, Katsumi
2
2008
Coordination in answer set programming. Zbl 1367.68040
Sakama, Chiaki; Inoue, Katsumi
1
2008
Abductive equivalence in first-order logic. Zbl 1108.03012
Inoue, Katsumi; Sakama, Chiaki
1
2006
A competitive and cooperative approach to propositional satisfiability. Zbl 1142.68036
Inoue, Katsumi; Soh, Takehide; Ueda, Seiji; Sasaura, Yoshito; Banbara, Mutsunori; Tamura, Naoyuki
1
2006
Inductive equivalence of logic programs. Zbl 1134.68480
Sakama, Chiaki; Inoue, Katsumi
6
2005
Inducing causal laws by regular inference. Zbl 1134.68472
Inoue, Katsumi; Bando, Hideyuki; Nabeshima, Hidetomo
3
2005
Equivalence of logic programs under updates. Zbl 1111.68381
Inoue, Katsumi; Sakama, Chiaki
13
2004
Induction as consequence finding. Zbl 1101.68078
Inoue, Katsumi
7
2004
Circumscription policies for induction. Zbl 1105.68380
Inoue, Katsumi; Saito, Haruka
2
2004
Speculative computation through consequence-finding in multi-agent environments. Zbl 1059.68129
Inoue, Katsumi; Iwanuma, Koji
1
2004
Compiling prioritized circumscription into answer set programming. Zbl 1104.68392
Wakaki, Toshiko; Inoue, Katsumi
1
2004
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
16
2003
SOLAR: a consequence finding system for advanced reasoning. Zbl 1274.68412
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi
2
2003
Automated abduction. Zbl 1012.68189
Inoue, Katsumi
2
2002
Minimal answer computation and SOL. Zbl 1013.68210
Iwanuma, Koji; Inoue, Katsumi
2
2002
Effective SAT planning by speculative computation. Zbl 1032.68751
Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi
1
2002
Nonseparating induced cycles consisting of contractible edges in \(k\)-connected graphs. Zbl 1075.05554
Egawa, Yoshimi; Inoue, Katsumi; Kawarabayashi, Ken-ichi
1
2002
Induction, abduction, and consequence-finding. Zbl 1007.68505
Inoue, Katsumi
3
2001
Prioritized logic programming and its application to commonsense reasoning. Zbl 0952.68020
Sakama, C.; Inoue, K.
11
2000
A simple characterization of extended abduction. Zbl 0983.68538
Inoue, Katsumi
1
2000
Learning abductive and nonmonotonic logic programs. Zbl 1032.68690
Inoue, Katsumi; Haneda, Hiromasa
1
2000
Abductive logic programming and disjunctive logic programming: Their relationship and transferability. Zbl 0957.68015
Sakama, Chiaki; Inoue, Katsumi
1
2000
Radius of \((2k-1)\)-connected graphs. Zbl 0977.05040
Egawa, Yoshimi; Inoue, Katsumi
6
1999
Updating extended logic programs through abduction. Zbl 0952.68052
Sakama, Chiaki; Inoue, Katsumi
5
1999
Negation as failure in the head. Zbl 0905.68030
Inoue, Katsumi; Sakama, Chiaki
18
1998
On the relationship between non-Horn magic sets and relevancy testing. Zbl 0926.03008
Ohta, Yoshihiko; Inoue, Katsumi; Hasegawa, Ryuzo
6
1998
Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving. Zbl 1430.68410
Hasegawa, Ryuzo; Inoue, Katsumi; Ohta, Yoshihiko; Koshimura, Miyuki
1
1997
A fixpoint characterization of abductive logic programs. Zbl 0874.68051
Inoue, Katsumi; Sakama, Chiaki
5
1996
Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070
Sakama, Chiaki; Inoue, Katsumi
13
1995
Embedding circumscriptive theories in general disjunctive programs. Zbl 1496.68323
Sakama, Chiaki; Inoue, Katsumi
1
1995
An alternative approach to the semantics of disjunctive logic programs and deductive databases. Zbl 0819.68036
Sakama, Chiaki; Inoue, Katsumi
16
1994
Hypothetical reasoning in logic programs. Zbl 0803.68013
Inoue, Katsumi
3
1994
Margulis decomposition and translation lengths of discrete Möbius groups. Zbl 0996.57506
Inoue, Katsumi
1
1994
Linear resolution for consequence finding. Zbl 0805.68105
Inoue, Katsumi
23
1992
Embedding negation as failure into a model generation theorem prover. Zbl 0925.68417
Inoue, Katsumi; Koshimura, Miyuki; Hasegawa, Ryuzo
4
1992
A forward-chaining hypothetical reasoner based on upside-down meta-interpretation. Zbl 0862.68096
Ohta, Yoshihiko; Inoue, Katsumi
3
1992
Consequence-finding based on ordered linear resolution. Zbl 0745.68095
Inoue, Katsumi
6
1991
Query answering in circumscription. Zbl 0742.68053
Helft, Nicolas; Inoue, Katsumi; Poole, David
4
1991
Limit sets of geometrically finite free Kleinian groups. Zbl 0537.30035
Akaza, Tohru; Inoue, Katsumi
1
1984
On the limit set of a geometrically finite Kleinian group. Zbl 0514.30034
Akaza, Tohru; Inoue, Katsumi
1
1982
Equivalence of measures for some class of Gaussian random fields. Zbl 0341.60028
Inoue, K.
7
1976
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

Citations by Year