James M. Crawford (crawford-jm)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Crawford, James M. 1977. “In Re Intention.” Proceedings of the Aristotelian Society, Supplementary Volume 51: 187–208.
Crawford, James M. 1990. “Access-Limited Logic – A Language for Knowledge Representation.” PhD dissertation, Austin, Texas: Department of Computer Science, University of Texas at Austin. Also Technical Report AI90–141, Artificial Intelligence Laboratory, University of Texas at Austin. .
Crawford, James M. and Anton, L. D. 1993. “Experimental Results on the Crossover Point in Satisfiability Problems.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 21–27. Menlo Park, California: The AAAI Press.
Crawford, James M. and Anton, L. D. 1996. “Experimental Results on the Crossover Point in Random 3-SAT.” Artificial Intelligence 81(1–2): 31–57.
Crawford, James M. and Etherington, David W. 1992. “Formalizing Reasoning about Change: a Qualitative Reasoning Approach.” in AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S. Rosenbloom and Peter Szolovits, pp. 577–583. Menlo Park, California: The AAAI Press.
Crawford, James M. and Etherington, David W. 1995. “Observations on Observations in Action Theories.” in AAAI-95. Working Notes of the AAAI Spring Symposium on Extending Theories of Action: Formal Theories and Applications, edited by Craig Boutilier and Moisés Goldszmidt. Menlo Park, California: The AAAI Press.
Crawford, James M., Farquhar, Adam and Kuipers, Benjamin J. 1990. “QPC: a Compiler From Physical Models Into Qualitative Differential Equations.” in AAAI-90. Proceedings of the Eighth National Conference on Artificial Intelligence, edited by Thomas G. Dietterich and William R. Swartout, pp. 365–372. Menlo Park, California: The AAAI Press.
Crawford, James M., Ginsberg, Matthew L., Luck, Eugene and Roy, Amitabha. 1996. “Symmetry-Breaking Predicates for Search Problems.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 148–159. San Francisco, California: Morgan Kaufmann Publishers.
Crawford, James M. and Kuipers, Benjamin J. 1989. “Towards a Theory of Access-Limited Logic for Knowledge Representation.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 67–78. San Francisco, California: Morgan Kaufmann Publishers.
Crawford, James M. and Litman, Diane J. 1996. “Path-Based Rules in Object-Oriented Programming.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 490–497. Menlo Park, California: The AAAI Press.
Etherington, David W. and Crawford, James M. 1996. “Toward Efficient Default Reasoning.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 627–632. Menlo Park, California: The AAAI Press.