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
1932000
Negation as failure in the head
K Inoue, C Sakama
The Journal of Logic Programming 35 (1), 39-78, 1998
1301998
Abductire Framework for Nonmonotonic Theory Change
K Inoue, C Sakama
International Joint Conference on Artificial Intelligence 14, 204-210, 1995
1111995
Paraconsistent Stable Semantics for extended disjunctive programs
C Sakama, K Inoue
Journal of Logic and Computation 5 (3), 265-285, 1995
1101995
Possible model semantics for disjunctive databases
C Sakama
1st International Conference on Deductive and Object-Oriented Databases …, 1989
1061989
Learning from Interpretation Transition
K Inoue, T Ribeiro, C Sakama
Machine Learning 94 (1), 51-79, 0
106*
An abductive framework for computing knowledge base updates
C Sakama, K Inoue
Theory and Practice of Logic Programming 3 (06), 671-715, 2003
1032003
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
991994
Updating extended logic programs through abduction
C Sakama, K Inoue
Logic Programming and Nonmonotonic Reasoning, 147-161, 1999
961999
Representing priorities in logic programs
C Sakama, K Inoue
Proceedings of the 1996 Joint International Conference and Symposium on …, 1996
841996
Induction from answer sets in nonmonotonic logic programs
C Sakama
ACM Transactions on Computational Logic (TOCL) 6 (2), 203-231, 2005
702005
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
672000
A fixpoint characterization of abductive logic programs
K Inoue, C Sakama
The Journal of logic programming 27 (2), 107-136, 1996
661996
Equivalence of logic programs under updates
K Inoue, C Sakama
Logics in Artificial Intelligence, 174-186, 2004
632004
Brave induction: a logical framework for learning from incomplete information
C Sakama, K Inoue
Machine learning 76 (1), 3-35, 2009
612009
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
501994
Extended well-founded semantics for paraconsistent logic programs
C Sakama
Fifth Generation Computer Systems, 592-599, 1992
491992
A logical account of lying
C Sakama, M Caminada, A Herzig
Logics in Artificial Intelligence, 286-299, 2010
472010
On positive occurrences of negation as failure
K Inoue, C Sakama
Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation …, 1994
431994
Nonmonotomic Inductive Logic Programming
C Sakama
Logic Programming and Nonmotonic Reasoning, 62-80, 2001
402001
The system can't perform the operation now. Try again later.
Articles 1–20