Chiaki Sakama (sakama)

Contributions to Philosophie.ch

Bibliography

Darwiche, Adnan and Sakama, Chiaki. 1995. “Model-Based Diagnosis Using Causal Networks.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 211–218. San Francisco, California: Morgan Kaufmann Publishers.
Inoue, Katsumi and Sakama, Chiaki. 1994. “On Positive Occurrences of Negation as Failure.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 293–304. San Francisco, California: Morgan Kaufmann Publishers.
Inoue, Katsumi and Sakama, Chiaki. 1995. “Abductive Framework for Theory Change.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 204–210. San Francisco, California: Morgan Kaufmann Publishers.
Inoue, Katsumi and Sakama, Chiaki. 1998. “Specifying Transactions for Extended Abduction.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 394–405. San Francisco, California: Morgan Kaufmann Publishers.
Sakama, Chiaki and Inoue, Katsumi. 2000. “Prioritized Logic Programming and Its Application to Commonsense Reasoning.” Artificial Intelligence 123(1–2): 185–222.
Sakama, Chiaki and Seki, Hirohisa. 1994. “Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 170–182. Berlin: Springer.