Katsumi Inoue

Cited by

	All	Since 2018
Citations	5891	1528
h-index	37	18
i10-index	139	41

300

150

225

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 20 36 94 74 62 68 105 79 81 125 112 187 146 155 143 154 182 170 166 223 254 239 266 295 252 281 290 248 280 219 268 294 216

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Chiaki SakamaWakayama UniversityVerified email at sys.wakayama-u.ac.jp
Tony RibeiroPostdoc, Laboratoire des Sciences du Numérique de NantesVerified email at ls2n.fr
Nicolas SchwindNational Institute of Advanced Industrial Science and TechnologyVerified email at aist.go.jp
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of InformaticsVerified email at ec-nantes.fr
Takehide SohKobe UniversityVerified email at lion.kobe-u.ac.jp
Taisuke SatoNIIVerified email at nii.ac.jp
Gauvain BourgneMaitre de conference en informatique, Sorbonne UniversitéVerified email at lip6.fr
Mutsunori BanbaraNagoya UniversityVerified email at nagoya-u.jp
Naoyuki TamuraKobe UniversityVerified email at kobe-u.ac.jp
Maxime CLEMENTTier IVVerified email at tier4.jp
Oliver RayLecturer, University of BristolVerified email at cs.bris.ac.uk
Sébastien KoniecznyCNRSVerified email at cril.fr
David PooleProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca
Torsten SchaubUniversity of PotsdamVerified email at cs.uni-potsdam.de
Stephen MuggletonImperial College LondonVerified email at imperial.ac.uk
Peter FlachProfessor of Artificial Intelligence, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Masakazu IshihataNTT Communication Science LaboratoriesVerified email at hco.ntt.co.jp
Yoshitaka KameyaMeijo UniversityVerified email at meijo-u.ac.jp
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk

Katsumi Inoue

National Institute of Informatics / SOKENDAI / Tokyo Institute of Technology

Verified email at nii.ac.jp - Homepage

Artificial Intelligence Knowledge Representation and Reasoning Machine Learning Inductive Logic Programming Resilience


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Linear resolution for consequence finding K Inoue Artificial Intelligence 56 (2-3), 301-353, 1992	269	1992
Prioritized logic programming and its application to commonsense reasoning C Sakama, K Inoue Artificial Intelligence 123 (1-2), 185-222, 2000	191	2000
ILP turns 20: biography and future challenges S Muggleton, L De Raedt, D Poole, I Bratko, P Flach, K Inoue, ... Machine learning 86, 3-23, 2012	184	2012
Negation as failure in the head K Inoue, C Sakama The Journal of Logic Programming 35 (1), 39-78, 1998	127	1998
Embedding negation as failure into a model generation theorem prover K Inoue, M Koshimura, R Hasegawa International Conference on Automated Deduction, 400-415, 1992	114	1992
Abductive Framework for Nonmonotonic Theory Change. K Inoue, C Sakama IJCAI 1995, 204-210, 1995	111	1995
Paraconsistent stable semantics for extended disjunctive programs C Sakama, K Inoue Journal of Logic and Computation 5 (3), 265-285, 1995	105	1995
Induction as consequence finding K Inoue Machine Learning 55, 109-135, 2004	100	2004
An alternative approach to the semantics of disjunctive logic programs and deductive databases C Sakama, K Inoue Journal of automated reasoning 13, 145-172, 1994	99	1994
An abductive framework for computing knowledge base updates C Sakama, K Inoue Theory and Practice of Logic Programming 3 (6), 671-715, 2003	98	2003
Learning from interpretation transition K Inoue, T Ribeiro, C Sakama Machine Learning 94, 51-79, 2014	96	2014
Updating extended logic programs through abduction C Sakama, K Inoue Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999	94	1999
Learning revised models for planning in adaptive systems D Sykes, D Corapi, J Magee, J Kramer, A Russo, K Inoue 2013 35th International Conference on Software Engineering (ICSE), 63-71, 2013	83	2013
Representing Priorities in Logic Programs. C Sakama, K Inoue JICSLP, 82-96, 1996	83	1996
Logic programming for Boolean networks K Inoue IJCAI 2011: Proceedings of the 22nd International Joint Conference on …, 2011	77	2011
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers M Banbara, H Matsunaka, N Tamura, K Inoue Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010	76	2010
SOLAR: An automated deduction system for consequence finding H Nabeshima, K Iwanuma, K Inoue, O Ray AI communications 23 (2-3), 183-203, 2010	75	2010
Extended logic programs with default assumptions K Inoue Institute for New Generation Computer Technology, 1990	73	1990
SAT ソルバーの基礎 (< 特集> 最近の SAT 技術の発展) 井上克巳，田村直之人工知能 25 (1), 57-67, 2010	66	2010
A fixpoint characterization of abductive logic programs K Inoue, C Sakama The Journal of logic programming 27 (2), 107-136, 1996	65	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors