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