| 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 |
| Abductire Framework for Nonmonotonic Theory Change K Inoue, C Sakama International Joint Conference on Artificial Intelligence 14, 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 |
| Possible model semantics for disjunctive databases C Sakama 1st International Conference on Deductive and Object-Oriented Databases …, 1989 | 107 | 1989 |
| Learning from Interpretation Transition K Inoue, T Ribeiro, C Sakama Machine Learning 94 (1), 51-79, 0 | 107* | |
| An abductive framework for computing knowledge base updates C Sakama, K Inoue Theory and Practice of Logic Programming 3 (06), 671-715, 2003 | 104 | 2003 |
| An alternative approach to the semantics of disjunctive logic programs and deductive databases C Sakama, K Inoue Journal of automated reasoning 13 (1), 145-172, 1994 | 99 | 1994 |
| Updating extended logic programs through abduction C Sakama, K Inoue Logic Programming and Nonmonotonic Reasoning, 147-161, 1999 | 96 | 1999 |
| Representing priorities in logic programs C Sakama, K Inoue Proceedings of the 1996 Joint International Conference and Symposium on …, 1996 | 84 | 1996 |
| Induction from answer sets in nonmonotonic logic programs C Sakama ACM Transactions on Computational Logic (TOCL) 6 (2), 203-231, 2005 | 70 | 2005 |
| 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 |
| A fixpoint characterization of abductive logic programs K Inoue, C Sakama The Journal of logic programming 27 (2), 107-136, 1996 | 66 | 1996 |
| Equivalence of logic programs under updates K Inoue, C Sakama Logics in Artificial Intelligence, 174-186, 2004 | 64 | 2004 |
| Brave induction: a logical framework for learning from incomplete information C Sakama, K Inoue Machine learning 76 (1), 3-35, 2009 | 61 | 2009 |
| Partial deduction of disjunctive logic programs: A declarative approach C Sakama, H Seki Logic Program Synthesis and Transformation—Meta-Programming in Logic, 170-182, 1994 | 50 | 1994 |
| Extended well-founded semantics for paraconsistent logic programs C Sakama Fifth Generation Computer Systems, 592-599, 1992 | 49 | 1992 |
| A logical account of lying C Sakama, M Caminada, A Herzig Logics in Artificial Intelligence, 286-299, 2010 | 47 | 2010 |
| On positive occurrences of negation as failure K Inoue, C Sakama Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation …, 1994 | 43 | 1994 |
| Nonmonotomic Inductive Logic Programming C Sakama Logic Programming and Nonmotonic Reasoning, 62-80, 2001 | 40 | 2001 |
Katsumi InoueNational Institute of InformaticsVerified email at nii.ac.jp
