Andrew B. Baker (baker-ab)

Contributi a Philosophie.ch

Bibliography

Baker, Andrew B. 1989. “A Simple Solution to the Yale Shooting Problem.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 11–20. San Francisco, California: Morgan Kaufmann Publishers.
Baker, Andrew B. 1991. “Nonmonotonic Reasoning in the Framework of the Situation Calculus.” Artificial Intelligence 49(1–3): 5–23.
Baker, Andrew B. and Ginsberg, Matthew L. 1989a. “A Theorem Prover for Prioritized Circumscription.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 463–467. San Francisco, California: Morgan Kaufmann Publishers.
Baker, Andrew B. and Ginsberg, Matthew L. 1989b. “Temporal Projection and Explanation.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 906–911. San Francisco, California: Morgan Kaufmann Publishers.