Linear resolution for consequence finding K Inoue Artificial Intelligence 56 (2-3), 301-353, 1992 | 268 | 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 | 200 | 2012 |
Prioritized logic programming and its application to commonsense reasoning C Sakama, K Inoue Artificial Intelligence 123 (1-2), 185-222, 2000 | 191 | 2000 |
Negation as failure in the head K Inoue, C Sakama The Journal of Logic Programming 35 (1), 39-78, 1998 | 129 | 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 | 109 | 1995 |
Learning from interpretation transition K Inoue, T Ribeiro, C Sakama Machine Learning 94, 51-79, 2014 | 103 | 2014 |
An abductive framework for computing knowledge base updates C Sakama, K Inoue Theory and Practice of Logic Programming 3 (6), 671-715, 2003 | 103 | 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 | 88 | 2013 |
Representing priorities in logic programs C Sakama, K Inoue | 84 | 1996 |
Logic programming for Boolean networks K Inoue IJCAI 2011: Proceedings of the 22nd International Joint Conference on …, 2011 | 81 | 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 | 77 | 2010 |
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 |
Extended logic programs with default assumptions K Inoue Institute for New Generation Computer Technology, 1990 | 73 | 1990 |
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 |