Robert Givan (givan)

Beiträge zu Philosophie.ch

Bibliography

Givan, Robert, Dean, Thomas L. and Grieg, Matthew. 2003. “Equivalence Notions and Model Minimization in Markov Decision Processes.” Artificial Intelligence 147(1–2): 163–223.
Givan, Robert, Leach, Sonia and Dean, Thomas L. 2000. “Bounded-Parameter Markov Decision Processes.” Artificial Intelligence 122(1–2): 71–109.
Givan, Robert and McAllester, David Allen. 1992. “New Results on Local Inference Relations.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 403–412. San Francisco, California: Morgan Kaufmann Publishers.
McAllester, David Allen and Givan, Robert. 1992. “Natural Language Syntax and First-Order Inference.” Artificial Intelligence 56(1): 1–20.
McAllester, David Allen, Givan, Robert and Fatima, Tanveer. 1989. “Taxonomic Syntax for First Order Inference.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 289–300. San Francisco, California: Morgan Kaufmann Publishers.