Katsumi Inoue

Dikutip oleh

	Semua	Sejak 2020
Kutipan	6449	1479
indeks-h	38	17
indeks-i10	160	50

340

170

255

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 20 40 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

Akses publik

Lihat semua

23 artikel

1 artikel*

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Chiaki SakamaWakayama UniversityEmail yang diverifikasi di sys.wakayama-u.ac.jp
Tony RibeiroPostdoc, Laboratoire des Sciences du Numérique de NantesEmail yang diverifikasi di ls2n.fr
Nicolas SchwindNational Institute of Advanced Industrial Science and TechnologyEmail yang diverifikasi di aist.go.jp
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of InformaticsEmail yang diverifikasi di ec-nantes.fr
Taisuke SatoNIIEmail yang diverifikasi di nii.ac.jp
Takehide SohKobe UniversityEmail yang diverifikasi di lion.kobe-u.ac.jp
Mutsunori BanbaraNagoya UniversityEmail yang diverifikasi di nagoya-u.jp
Gauvain BourgneMaitre de conference en informatique, Sorbonne UniversitéEmail yang diverifikasi di lip6.fr
Naoyuki TamuraEmeritus Professor of Kobe UniversityEmail yang diverifikasi di kobe-u.ac.jp
Maxime CLEMENTTier IVEmail yang diverifikasi di tier4.jp
Torsten SchaubUniversity of PotsdamEmail yang diverifikasi di cs.uni-potsdam.de
Sébastien KoniecznyCNRSEmail yang diverifikasi di cril.fr
Oliver RayLecturer, University of BristolEmail yang diverifikasi di cs.bris.ac.uk
David PooleProfessor of Computer Science, University of British ColumbiaEmail yang diverifikasi di cs.ubc.ca
alessandra russoProfessor in Applied Computational LogicEmail yang diverifikasi di imperial.ac.uk
Yoshitaka KameyaMeijo UniversityEmail yang diverifikasi di meijo-u.ac.jp
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyEmail yang diverifikasi di tudelft.nl
Stephen MuggletonImperial College LondonEmail yang diverifikasi di imperial.ac.uk
Peter FlachProfessor of Artificial Intelligence, Department of Computer Science, University of BristolEmail yang diverifikasi di bristol.ac.uk
Masakazu IshihataNTT Communication Science LaboratoriesEmail yang diverifikasi di ntt.com

Ikuti

Katsumi Inoue

National Institute of Informatics

Email yang diverifikasi di nii.ac.jp - Beranda

Artificial Intelligence Answer Set Programming Abductive Reasoning Inductive Logic Programming


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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
Embedding negation as failure into a model generation theorem prover K Inoue, M Koshimura, R Hasegawa International Conference on Automated Deduction, 400-415, 1992	115	1992
Abductive Framework for Nonmonotonic Theory Change. K Inoue, C Sakama IJCAI 1995, 204-210, 1995	114	1995
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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama