Chiaki Sakama
Chiaki Sakama
Bestätigte E-Mail-Adresse bei sys.wakayama-u.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Prioritized logic programming and its application to commonsense reasoning
C Sakama, K Inoue
Artificial Intelligence 123 (1-2), 185-222, 2000
1652000
Negation as failure in the head
K Inoue, C Sakama
The Journal of Logic Programming 35 (1), 39-78, 1998
1201998
Abductire Framework for Nonmonotonic Theory Change
K Inoue, C Sakama
International Joint Conference on Artificial Intelligence 14, 204-210, 1995
1101995
Possible model semantics for disjunctive databases
C Sakama
1st International Conference on Deductive and Object-Oriented Databases …, 1989
951989
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
941994
Paraconsistent Stable Semantics for extended disjunctive programs
C Sakama, K Inoue
Journal of Logic and Computation 5 (3), 265-285, 1995
911995
An abductive framework for computing knowledge base updates
C Sakama, K Inoue
Theory and Practice of Logic Programming 3 (06), 671-715, 2003
882003
Updating extended logic programs through abduction
C Sakama, K Inoue
Logic Programming and Nonmonotonic Reasoning, 147-161, 1999
861999
Representing priorities in logic programs
C Sakama, K Inoue
Proceedings of the 1996 Joint International Conference and Symposium on …, 1996
781996
A fixpoint characterization of abductive logic programs
K Inoue, C Sakama
The Journal of logic programming 27 (2), 107-136, 1996
661996
Induction from answer sets in nonmonotonic logic programs
C Sakama
ACM Transactions on Computational Logic (TOCL) 6 (2), 203-231, 2005
582005
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
Learning from Interpretation Transition
K Inoue, T Ribeiro, C Sakama
Machine Learning 94 (1), 51-79, 0
56*
Equivalence of logic programs under updates
K Inoue, C Sakama
Logics in Artificial Intelligence, 174-186, 2004
552004
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
471994
Extended well-founded semantics for paraconsistent logic programs
C Sakama
Fifth Generation Computer Systems, 592-599, 1992
461992
Brave induction: a logical framework for learning from incomplete information
C Sakama, K Inoue
Machine learning 76 (1), 3-35, 2009
442009
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
A logical account of lying
C Sakama, M Caminada, A Herzig
Logics in Artificial Intelligence, 286-299, 2010
372010
On the equivalence between disjunctive and abductive logic programs
C Sakama, K Inoue
Logic Programming, Proceedings of the Eleventh International Conference on …, 1994
371994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20