Katsumi Inoue

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2018
Позовавания	5989	1609
h-индекс	37	19
i10-индекс	145	43

320

160

240

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 20 36 94 74 63 68 106 80 81 125 112 187 146 155 144 153 182 170 166 226 255 242 266 296 251 281 291 248 279 220 267 310 282

Публичен достъп

Преглед на всички

14 статии

0 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

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
Takehide SohKobe UniversityПотвърден имейл адрес: lion.kobe-u.ac.jp
Taisuke SatoNIIПотвърден имейл адрес: nii.ac.jp
Mutsunori BanbaraNagoya UniversityПотвърден имейл адрес: nagoya-u.jp
Gauvain BourgneMaitre de conference en informatique, Sorbonne UniversitéПотвърден имейл адрес: lip6.fr
Naoyuki TamuraKobe UniversityПотвърден имейл адрес: kobe-u.ac.jp
Maxime CLEMENTTier IVПотвърден имейл адрес: tier4.jp
Oliver RayLecturer, University of BristolПотвърден имейл адрес: cs.bris.ac.uk
Sébastien KoniecznyCNRSПотвърден имейл адрес: cril.fr
Torsten SchaubUniversity of PotsdamПотвърден имейл адрес: cs.uni-potsdam.de
David PooleProfessor of Computer Science, University of British ColumbiaПотвърден имейл адрес: cs.ubc.ca
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Потвърден имейл адрес: hco.ntt.co.jp
Yoshitaka KameyaMeijo UniversityПотвърден имейл адрес: meijo-u.ac.jp
alessandra russoProfessor in Applied Computational LogicПотвърден имейл адрес: imperial.ac.uk

Следене

Katsumi Inoue

National Institute of Informatics / SOKENDAI / Tokyo Institute of Technology

Потвърден имейл адрес: nii.ac.jp - Начална страница

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


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Linear resolution for consequence finding K Inoue Artificial Intelligence 56 (2-3), 301-353, 1992	270	1992
Prioritized logic programming and its application to commonsense reasoning C Sakama, K Inoue Artificial Intelligence 123 (1-2), 185-222, 2000	191	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	189	2012
Negation as failure in the head K Inoue, C Sakama The Journal of Logic Programming 35 (1), 39-78, 1998	128	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	114	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	106	1995
Induction as consequence finding K Inoue Machine Learning 55, 109-135, 2004	100	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
Learning from interpretation transition K Inoue, T Ribeiro, C Sakama Machine Learning 94, 51-79, 2014	98	2014
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
Updating extended logic programs through abduction C Sakama, K Inoue Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999	94	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	85	2013
Representing Priorities in Logic Programs. C Sakama, K Inoue JICSLP, 82-96, 1996	83	1996
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	78	2010
Logic programming for Boolean networks K Inoue IJCAI 2011: Proceedings of the 22nd International Joint Conference on …, 2011	77	2011
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
Extended logic programs with default assumptions K Inoue Institute for New Generation Computer Technology, 1990	73	1990
SAT ソルバーの基礎 (< 特集> 最近の SAT 技術の発展) 井上克巳，田村直之人工知能 25 (1), 57-67, 2010	66	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	65	2000

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори