Katsumi Inoue (inoue-k)

Contributions to Philosophie.ch

Bibliography

Inoue, Katsumi. 1979. “An Analysis of the English Present Perfect.” Linguistics 17: 561–589.
Inoue, Katsumi. 1992. “Linear Resolution for Consequence Finding.” Artificial Intelligence 56(2–3): 301–353.
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.
Sawaragi, Y., Inoue, Katsumi and Nakayama, H. 1977. “Multiobjective Decision Making with Applications to Environmental and Urban Design.” in Conflicting Objectives in Decisions, edited by David E. Bell, Ralph L. Keeney, and Howard Raiffa, pp. 358–388. Hoboken, New Jersey: John Wiley; Sons, Inc.