Katsumi Inoue

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	6448	1479
h-index	38	17
i10-index	160	50

340

170

255

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 20 39 94 80 63 69 107 81 87 129 116 188 144 159 140 151 173 183 174 249 272 227 266 295 256 267 280 258 282 209 259 331 317 321 40

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

23 مقالة

مقالة واحدة*

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Chiaki SakamaWakayama Universityبريد إلكتروني تم التحقق منه على sys.wakayama-u.ac.jp
Tony RibeiroPostdoc, Laboratoire des Sciences du Numérique de Nantesبريد إلكتروني تم التحقق منه على ls2n.fr
Nicolas SchwindNational Institute of Advanced Industrial Science and Technologyبريد إلكتروني تم التحقق منه على aist.go.jp
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of Informaticsبريد إلكتروني تم التحقق منه على ec-nantes.fr
Taisuke SatoNIIبريد إلكتروني تم التحقق منه على nii.ac.jp
Takehide SohKobe Universityبريد إلكتروني تم التحقق منه على lion.kobe-u.ac.jp
Mutsunori BanbaraNagoya Universityبريد إلكتروني تم التحقق منه على nagoya-u.jp
Gauvain BourgneMaitre de conference en informatique, Sorbonne Universitéبريد إلكتروني تم التحقق منه على lip6.fr
Naoyuki TamuraEmeritus Professor of Kobe Universityبريد إلكتروني تم التحقق منه على kobe-u.ac.jp
Maxime CLEMENTTier IVبريد إلكتروني تم التحقق منه على tier4.jp
Torsten SchaubUniversity of Potsdamبريد إلكتروني تم التحقق منه على cs.uni-potsdam.de
Sébastien KoniecznyCNRSبريد إلكتروني تم التحقق منه على cril.fr
Oliver RayLecturer, University of Bristolبريد إلكتروني تم التحقق منه على cs.bris.ac.uk
David PooleProfessor of Computer Science, University of British Columbiaبريد إلكتروني تم التحقق منه على cs.ubc.ca
alessandra russoProfessor in Applied Computational Logicبريد إلكتروني تم التحقق منه على imperial.ac.uk
Yoshitaka KameyaMeijo Universityبريد إلكتروني تم التحقق منه على meijo-u.ac.jp
Emir DemirovićAssistant Professor of Computer Science, Delft University of Technologyبريد إلكتروني تم التحقق منه على tudelft.nl
Stephen MuggletonImperial College Londonبريد إلكتروني تم التحقق منه على imperial.ac.uk
Peter FlachProfessor of Artificial Intelligence, Department of Computer Science, University of Bristolبريد إلكتروني تم التحقق منه على bristol.ac.uk
Masakazu IshihataNTT Communication Science Laboratoriesبريد إلكتروني تم التحقق منه على ntt.com

متابعة

Katsumi Inoue

National Institute of Informatics

بريد إلكتروني تم التحقق منه على nii.ac.jp - الصفحة الرئيسية

Artificial Intelligence Answer Set Programming Abductive Reasoning Inductive Logic Programming


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
Linear resolution for consequence finding‏ K Inoue‏ Artificial Intelligence 56 (2-3), 301-353, 1992‏	270	1992
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‏	212	2012
Prioritized logic programming and its application to commonsense reasoning‏ C Sakama, K Inoue‏ Artificial Intelligence 123 (1-2), 185-222, 2000‏	203	2000
Negation as failure in the head‏ K Inoue, C Sakama‏ The Journal of Logic Programming 35 (1), 39-78, 1998‏	133	1998
Abductive Framework for Nonmonotonic Theory Change.‏ K Inoue, C Sakama‏ IJCAI 1995, 204-210, 1995‏	114	1995
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
Learning from interpretation transition‏ K Inoue, T Ribeiro, C Sakama‏ Machine Learning 94, 51-79, 2014‏	111	2014
Paraconsistent stable semantics for extended disjunctive programs‏ C Sakama, K Inoue‏ Journal of Logic and Computation 5 (3), 265-285, 1995‏	110	1995
An abductive framework for computing knowledge base updates‏ C Sakama, K Inoue‏ Theory and Practice of Logic Programming 3 (6), 671-715, 2003‏	104	2003
Induction as consequence finding‏ K Inoue‏ Machine Learning 55, 109-135, 2004‏	102	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‏	101	1994
Updating extended logic programs through abduction‏ C Sakama, K Inoue‏ International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999‏	100	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‏	89	2013
Representing priorities in logic programs‏ C Sakama, K Inoue‏ Proceedings of the 1996 Joint International Conference and Symposium on …, 1996‏	88	1996
Logic programming for Boolean networks‏ K Inoue‏ IJCAI 2011: Proceedings of the 22nd International Joint Conference on …, 2011‏	82	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‏	79	2010
Extended logic programs with default assumptions‏ K Inoue‏ Institute for New Generation Computer Technology, 1990‏	77	1990
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
SAT ソルバーの基礎 (< 特集> 最近の SAT 技術の発展)‏ 井上克巳，田村直之‏ 人工知能 25 (1), 57-67, 2010‏	69	2010
Brave induction: a logical framework for learning from incomplete information‏ C Sakama, K Inoue‏ Machine Learning 76, 3-35, 2009‏	67	2009

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون