David E. Smith (smith-de)

Beiträge zu Philosophie.ch

Bibliography

Ginsberg, Matthew L. and Smith, David E. 1987a. “Reasoning about Action I: A Possible Worlds Approach.” in AAAI-87. Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, edited by Frank Malloy Brown. San Francisco, California: Morgan Kaufmann Publishers. Reprinted as Ginsberg and Smith (1988a).
Ginsberg, Matthew L. and Smith, David E. 1987b. “Reasoning about Action II: The Qualification Problem.” in AAAI-87. Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, edited by Frank Malloy Brown, pp. 259–287. San Francisco, California: Morgan Kaufmann Publishers. Reprinted as Ginsberg and Smith (1988b).
Ginsberg, Matthew L. and Smith, David E. 1988a. “Reasoning about Action I: A Possible Worlds Approach.” Artificial Intelligence 35(2): 165–195. Reprinted, in revised form, in Ginsberg (1987, 433–463).
Ginsberg, Matthew L. and Smith, David E. 1988b. “Reasoning about Action II: The Qualification Problem.” Artificial Intelligence 35(3): 311–342.
Smith, David E. 1989. “Controlling Backward Inference.” Artificial Intelligence 39(2): 145–208.
Smith, David E. and Genesereth, Michael R. 1985. “Ordering Conjunctive Queries.” Artificial Intelligence 26(2): 171–215.
Smith, David E., Genesereth, Michael R. and Ginsberg, Matthew L. 1986. “Controlling Recursive Inference.” Artificial Intelligence 30(3): 343–389.

Further References

Ginsberg, Matthew L., ed. 1987. Readings in Nonmonotonic Reasoning. San Francisco, California: Morgan Kaufmann Publishers.