Follow
Chiaki Sakama
Chiaki Sakama
Verified email at sys.wakayama-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
Prioritized logic programming and its application to commonsense reasoning
C Sakama, K Inoue
Artificial Intelligence 123 (1-2), 185-222, 2000
1802000
Negation as failure in the head
K Inoue, C Sakama
The Journal of Logic Programming 35 (1), 39-78, 1998
1251998
Abductire Framework for Nonmonotonic Theory Change
K Inoue, C Sakama
International Joint Conference on Artificial Intelligence 14, 204-210, 1995
1121995
Paraconsistent Stable Semantics for extended disjunctive programs
C Sakama, K Inoue
Journal of Logic and Computation 5 (3), 265-285, 1995
1051995
Possible model semantics for disjunctive databases
C Sakama
1st International Conference on Deductive and Object-Oriented Databases …, 1989
1031989
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
1011994
An abductive framework for computing knowledge base updates
C Sakama, K Inoue
Theory and Practice of Logic Programming 3 (06), 671-715, 2003
982003
Learning from Interpretation Transition
K Inoue, T Ribeiro, C Sakama
Machine Learning 94 (1), 51-79, 0
91*
Updating extended logic programs through abduction
C Sakama, K Inoue
Logic Programming and Nonmonotonic Reasoning, 147-161, 1999
901999
Representing priorities in logic programs
C Sakama, K Inoue
Proceedings of the 1996 Joint International Conference and Symposium on …, 1996
781996
Induction from answer sets in nonmonotonic logic programs
C Sakama
ACM Transactions on Computational Logic (TOCL) 6 (2), 203-231, 2005
682005
A fixpoint characterization of abductive logic programs
K Inoue, C Sakama
The Journal of logic programming 27 (2), 107-136, 1996
641996
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
622000
Equivalence of logic programs under updates
K Inoue, C Sakama
Logics in Artificial Intelligence, 174-186, 2004
592004
Brave induction: a logical framework for learning from incomplete information
C Sakama, K Inoue
Machine learning 76 (1), 3-35, 2009
552009
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
491994
Extended well-founded semantics for paraconsistent logic programs
C Sakama
Fifth Generation Computer Systems, 592-599, 1992
441992
A logical account of lying
C Sakama, M Caminada, A Herzig
Logics in Artificial Intelligence, 286-299, 2010
422010
On positive occurrences of negation as failure
K Inoue, C Sakama
Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation …, 1994
401994
Nonmonotomic Inductive Logic Programming
C Sakama
Logic Programming and Nonmotonic Reasoning, 62-80, 2001
382001
The system can't perform the operation now. Try again later.
Articles 1–20