Volgen
Chiaki Sakama
Chiaki Sakama
Geverifieerd e-mailadres voor sys.wakayama-u.ac.jp - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Prioritized logic programming and its application to commonsense reasoning
C Sakama, K Inoue
Artificial Intelligence 123 (1-2), 185-222, 2000
1912000
Negation as failure in the head
K Inoue, C Sakama
The Journal of Logic Programming 35 (1), 39-78, 1998
1321998
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
1081995
Possible model semantics for disjunctive databases
C Sakama
1st International Conference on Deductive and Object-Oriented Databases …, 1989
1041989
An abductive framework for computing knowledge base updates
C Sakama, K Inoue
Theory and Practice of Logic Programming 3 (06), 671-715, 2003
1022003
Learning from Interpretation Transition
K Inoue, T Ribeiro, C Sakama
Machine Learning 94 (1), 51-79, 0
99*
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
Updating extended logic programs through abduction
C Sakama, K Inoue
Logic Programming and Nonmonotonic Reasoning, 147-161, 1999
951999
Representing priorities in logic programs
C Sakama, K Inoue
Proceedings of the 1996 Joint International Conference and Symposium on …, 1996
821996
Induction from answer sets in nonmonotonic logic programs
C Sakama
ACM Transactions on Computational Logic (TOCL) 6 (2), 203-231, 2005
692005
A fixpoint characterization of abductive logic programs
K Inoue, C Sakama
The Journal of logic programming 27 (2), 107-136, 1996
651996
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
642000
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
491994
Extended well-founded semantics for paraconsistent logic programs
C Sakama
Fifth Generation Computer Systems, 592-599, 1992
481992
A logical account of lying
C Sakama, M Caminada, A Herzig
Logics in Artificial Intelligence, 286-299, 2010
452010
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
Logic programming for multiagent planning with negotiation
T Son, E Pontelli, C Sakama
Logic Programming, 99-114, 2009
382009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20