Katsumi Inoue

Citado por

	Total	Desde 2019
Citas	6351	1700
Índice h	38	20
Índice i10	161	54

360

180

270

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 20 36 96 74 66 70 108 79 84 126 115 183 146 156 144 152 179 183 167 246 263 224 265 300 252 272 286 248 279 222 257 345 311 280

Acceso público

Ver todo

22 artículos

0 artículos*

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Chiaki SakamaWakayama UniversityDirección de correo verificada de sys.wakayama-u.ac.jp
Tony RibeiroPostdoc, Laboratoire des Sciences du Numérique de NantesDirección de correo verificada de ls2n.fr
Nicolas SchwindNational Institute of Advanced Industrial Science and TechnologyDirección de correo verificada de aist.go.jp
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of InformaticsDirección de correo verificada de ec-nantes.fr
Takehide SohKobe UniversityDirección de correo verificada de lion.kobe-u.ac.jp
Taisuke SatoNIIDirección de correo verificada de nii.ac.jp
Mutsunori BanbaraNagoya UniversityDirección de correo verificada de nagoya-u.jp
Gauvain BourgneMaitre de conference en informatique, Sorbonne UniversitéDirección de correo verificada de lip6.fr
Naoyuki TamuraKobe UniversityDirección de correo verificada de kobe-u.ac.jp
Maxime CLEMENTTier IVDirección de correo verificada de tier4.jp
Torsten SchaubUniversity of PotsdamDirección de correo verificada de cs.uni-potsdam.de
Oliver RayLecturer, University of BristolDirección de correo verificada de cs.bris.ac.uk
Sébastien KoniecznyCNRSDirección de correo verificada de cril.fr
David PooleProfessor of Computer Science, University of British ColumbiaDirección de correo verificada de cs.ubc.ca
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyDirección de correo verificada de tudelft.nl
Stephen MuggletonImperial College LondonDirección de correo verificada de imperial.ac.uk
Peter FlachProfessor of Artificial Intelligence, Department of Computer Science, University of BristolDirección de correo verificada de bristol.ac.uk
Kazuhiro MinamiProfessor, Institute of Statistical MathematicsDirección de correo verificada de ism.ac.jp
Sophie TourretInriaDirección de correo verificada de loria.fr
Masakazu IshihataNTT Communication Science LaboratoriesDirección de correo verificada de ntt.com

Seguir

Katsumi Inoue

National Institute of Informatics

Dirección de correo verificada de nii.ac.jp - Página principal

Artificial Intelligence Logic Programming Abductive Reasoning Inductive Logic Programming


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Linear resolution for consequence finding K Inoue Artificial Intelligence 56 (2-3), 301-353, 1992	269	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	206	2012
Prioritized logic programming and its application to commonsense reasoning C Sakama, K Inoue Artificial Intelligence 123 (1-2), 185-222, 2000	194	2000
Negation as failure in the head K Inoue, C Sakama The Journal of Logic Programming 35 (1), 39-78, 1998	132	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	111	1995
Paraconsistent stable semantics for extended disjunctive programs C Sakama, K Inoue Journal of Logic and Computation 5 (3), 265-285, 1995	110	1995
Learning from interpretation transition K Inoue, T Ribeiro, C Sakama Machine Learning 94, 51-79, 2014	107	2014
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	99	1994
Updating extended logic programs through abduction C Sakama, K Inoue Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999	96	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	84	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	74	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	73	2010
SAT ソルバーの基礎 (< 特集> 最近の SAT 技術の発展) 井上克巳，田村直之人工知能 25 (1), 57-67, 2010	69	2010
Speculative computation by abduction under incomplete communication environments K Satoh, K Inoue, K Iwanuma, C Sakama Proceedings Fourth International Conference on MultiAgent Systems, 263-270, 2000	67	2000

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores