Katsumi Inoue

Cited by

	All	Since 2016
Citations	5065	1379
h-index	35	18
i10-index	120	42

280

140

210

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202115 18 38 92 74 62 67 98 77 87 117 113 171 143 152 129 141 171 166 181 216 258 221 272 280 259 267 277 248 275 241 67

New!

Public access

View all

11 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
Gauvain BourgneMaitre de conference en informatique, Sorbonne UniversitéVerified email at lip6.fr
Mutsunori BanbaraNagoya UniversityVerified email at nagoya-u.jp
Taisuke SatoAIST/NIIVerified email at aist.go.jp
Naoyuki TamuraInformation Science and Technology Center, Kobe UniversityVerified email at kobe-u.ac.jp
Maxime CLEMENTAscent RoboticsVerified email at ascent.ai
David PooleProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca
Sébastien KoniecznyCNRSVerified email at cril.fr
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
Masakazu IshihataNTT Communication Science LaboratoriesVerified email at hco.ntt.co.jp
Yoshitaka KameyaMeijo UniversityVerified email at meijo-u.ac.jp
Torsten SchaubUniversity of PotsdamVerified email at cs.uni-potsdam.de
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk
Lena WieseGoethe-Universität Frankfurt a. M.Verified email at l3s.de
Luc De Raedtprofessor, KU LeuvenVerified email at cs.kuleuven.be

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	265	1992
Prioritized logic programming and its application to commonsense reasoning C Sakama, K Inoue Artificial Intelligence 123 (1-2), 185-222, 2000	175	2000
ILP turns 20 S Muggleton, L De Raedt, D Poole, I Bratko, P Flach, K Inoue, ... Machine learning 86 (1), 3-23, 2012	141	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 CADE-11: International Conference on Automated Deduction 1992, Lecture Notes …, 1992	115	1992
Abductive Framework for Nonmonotonic Theory Change. K Inoue, C Sakama IJCAI 1995, 204-210, 1995	108	1995
Induction as consequence finding K Inoue Machine Learning 55 (2), 109-135, 2004	97	2004
An alternative approach to the semantics of disjunctive logic programs and deductive databases C Sakama, K Inoue Journal of automated reasoning 13 (1), 145-172, 1994	96	1994
Paraconsistent stable semantics for extended disjunctive programs C Sakama, K Inoue Journal of Logic and Computation 5 (3), 265-285, 1995	95	1995
An abductive framework for computing knowledge base updates C Sakama, K Inoue Theory and practice of logic programming 3 (6), 671-715, 2003	93	2003
Updating extended logic programs through abduction C Sakama, K Inoue International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999	90	1999
Representing Priorities in Logic Programs. C Sakama, K Inoue JICSLP, 82-96, 1996	78	1996
SATソルバーの基礎 (<特集> 最近のSAT技術の発展) 田村直之井上克巳，人工知能学会誌 25 (1), 57 - 67, 2010	72*	2010
Extended logic programs with default assumptions K Inoue Proc. 8th Int. Conf. Logic Programming, 490-504, 1991	72	1991
SOLAR: An automated deduction system for consequence finding H Nabeshima, K Iwanuma, K Inoue, O Ray AI communications 23 (2-3), 183-203, 2010	70	2010
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	67	2013
A fixpoint characterization of abductive logic programs K Inoue, C Sakama The Journal of logic programming 27 (2), 107-136, 1996	67	1996
Learning from interpretation transition K Inoue, T Ribeiro, C Sakama Machine Learning 94 (1), 51-79, 2014	66	2014
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers M Banbara, H Matsunaka, N Tamura, K Inoue International Conference on Logic for Programming Artificial Intelligence …, 2010	62	2010
Logic programming for Boolean networks K Inoue IJCAI 2011: Proceedings of the 22nd International Joint Conference on …, 2011	61	2011

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

Upload PDF

Follow this author

Cited by

Co-authors