Katsumi Inoue

Viittaukset

	Kaikki	2018 lähtien
Sitaatit	5662	1370
h-indeksi	37	17
i10-indeksi	133	39

300

150

225

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 19 33 90 68 68 62 101 76 82 124 109 190 139 154 151 148 170 172 166 207 249 229 277 294 257 276 280 247 272 245 269 276 59

Yleisessä käytössä

Näytä kaikki

13 artikkelia

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Chiaki SakamaWakayama UniversityVahvistettu sähköpostiosoite verkkotunnuksessa sys.wakayama-u.ac.jp
Tony RibeiroPostdoc, Laboratoire des Sciences du Numérique de NantesVahvistettu sähköpostiosoite verkkotunnuksessa ls2n.fr
Nicolas SchwindNational Institute of Advanced Industrial Science and TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa aist.go.jp
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of InformaticsVahvistettu sähköpostiosoite verkkotunnuksessa ec-nantes.fr
Takehide SohKobe UniversityVahvistettu sähköpostiosoite verkkotunnuksessa lion.kobe-u.ac.jp
Taisuke SatoNIIVahvistettu sähköpostiosoite verkkotunnuksessa nii.ac.jp
Gauvain BourgneMaitre de conference en informatique, Sorbonne UniversitéVahvistettu sähköpostiosoite verkkotunnuksessa lip6.fr
Mutsunori BanbaraNagoya UniversityVahvistettu sähköpostiosoite verkkotunnuksessa nagoya-u.jp
Naoyuki TamuraKobe UniversityVahvistettu sähköpostiosoite verkkotunnuksessa kobe-u.ac.jp
Maxime CLEMENTTier IVVahvistettu sähköpostiosoite verkkotunnuksessa tier4.jp
Oliver RayLecturer, University of BristolVahvistettu sähköpostiosoite verkkotunnuksessa cs.bris.ac.uk
Sébastien KoniecznyCNRSVahvistettu sähköpostiosoite verkkotunnuksessa cril.fr
David PooleProfessor of Computer Science, University of British ColumbiaVahvistettu sähköpostiosoite verkkotunnuksessa cs.ubc.ca
Stephen MuggletonImperial College LondonVahvistettu sähköpostiosoite verkkotunnuksessa imperial.ac.uk
Peter FlachProfessor of Artificial Intelligence, Department of Computer Science, University of BristolVahvistettu sähköpostiosoite verkkotunnuksessa bristol.ac.uk
Masakazu IshihataNTT Communication Science LaboratoriesVahvistettu sähköpostiosoite verkkotunnuksessa hco.ntt.co.jp
Yoshitaka KameyaMeijo UniversityVahvistettu sähköpostiosoite verkkotunnuksessa meijo-u.ac.jp
Torsten SchaubUniversity of PotsdamVahvistettu sähköpostiosoite verkkotunnuksessa cs.uni-potsdam.de
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tudelft.nl
alessandra russoProfessor in Applied Computational LogicVahvistettu sähköpostiosoite verkkotunnuksessa imperial.ac.uk

Seuraa

Katsumi Inoue

National Institute of Informatics / SOKENDAI / Tokyo Institute of Technology

Vahvistettu sähköpostiosoite verkkotunnuksessa nii.ac.jp - Kotisivu

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


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
Linear resolution for consequence finding K Inoue Artificial Intelligence 56 (2-3), 301-353, 1992	267	1992
Prioritized logic programming and its application to commonsense reasoning C Sakama, K Inoue Artificial Intelligence 123 (1-2), 185-222, 2000	181	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	180	2012
Negation as failure in the head K Inoue, C Sakama The Journal of Logic Programming 35 (1), 39-78, 1998	125	1998
Embedding negation as failure into a model generation theorem prover K Inoue, M Koshimura, R Hasegawa Automated Deduction—CADE-11: 11th International Conference on Automated …, 2005	113	2005
Abductive Framework for Nonmonotonic Theory Change. K Inoue, C Sakama IJCAI 1995, 204-210, 1995	112	1995
Paraconsistent stable semantics for extended disjunctive programs C Sakama, K Inoue Journal of Logic and Computation 5 (3), 265-285, 1995	105	1995
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
Induction as consequence finding K Inoue Machine Learning 55, 109-135, 2004	99	2004
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	94	2014
Updating extended logic programs through abduction C Sakama, K Inoue Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999	90	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	82	2013
Representing Priorities in Logic Programs. C Sakama, K Inoue JICSLP, 82-96, 1996	78	1996
SOLAR: An automated deduction system for consequence finding H Nabeshima, K Iwanuma, K Inoue, O Ray AI communications 23 (2-3), 183-203, 2010	76	2010
Logic programming for Boolean networks K Inoue IJCAI 2011: Proceedings of the 22nd International Joint Conference on …, 2011	72	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	72	2010
Extended logic programs with default assumptions K Inoue Institute for New Generation Computer Technology, 1990	70	1990
SAT ソルバーの基礎 (< 特集> 最近の SAT 技術の発展) 井上克巳，田村直之人工知能 25 (1), 57-67, 2010	67	2010
A fixpoint characterization of abductive logic programs K Inoue, C Sakama The Journal of logic programming 27 (2), 107-136, 1996	64	1996

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat