David Allen McAllester (mcallester)

Contributions to Philosophie.ch

Bibliography

Ginsberg, Matthew L. and McAllester, David Allen. 1994. “GSAT and Efficient Backtracking.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 226–227. San Francisco, California: Morgan Kaufmann Publishers.
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.
Halpern, Joseph Y. and McAllester, David Allen. 1984. “Likelihood, Probability, and Knowledge.” rj 4313. San Jose, California: IBM Research Laboratory.
Kautz, Henry A., McAllester, David Allen and Selman, Bart. 1996. “Encoding Plans in Propositional Logic.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 374–384. San Francisco, California: Morgan Kaufmann Publishers.
McAllester, David Allen. 1988. “Conspiracy Numbers for Min-Max Search.” Artificial Intelligence 35(3): 287–310.
McAllester, David Allen. 1990. “Truth Maintenance.” in AAAI-90. Proceedings of the Eighth National Conference on Artificial Intelligence, edited by Thomas G. Dietterich and William R. Swartout, pp. 1109–1116. Menlo Park, California: The AAAI Press.
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.
McAllester, David Allen and Rosenblitt, David. 1991. “Systematic Nonlinear Planning.” in AAAI-91. Proceedings of the Ninth National Conference on Artificial Intelligence, edited by Thomas L. Dean and Kathleen R. McKeown, pp. 634–539. Menlo Park, California: The AAAI Press.
Shankar, Natarajan and McAllester, David Allen. 1993. “ONTIC: A Knowledge Representation System for Mathematics.” Artificial Intelligence 62(2): 355–362.
Siskind, Jeffrey Mark and McAllester, David Allen. 1991. “Screamer: A Portable Efficient Implementation of Nondeterministic Common Lisp.” ircs-93-03. Philadelphia, Pennsylvania: University of Pennsylvania Institute for Research in Cognitive Science.
Siskind, Jeffrey Mark and McAllester, David Allen. 1993. “Nondeterministic Lisp as a Substrate for Constraint Logic Programming.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert. Menlo Park, California: The AAAI Press.