Fahiem Bacchus (bacchus)

Beiträge zu Philosophie.ch

Bibliography

Bacchus, Fahiem. 1989. “A Modest, but Semantically Well Founded, Inheritance Reasoner.” in IJCAI-89. Proceedings of the 11th International Joint Conference on Artificial Intelligence, edited by N. S. Sridharan, pp. 1104–1109. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem, ed. 1990. Representing and Reasoning with Probabilistic Knowledge. Cambridge, Massachusetts: The MIT Press.
Bacchus, Fahiem. 1991. “Default Reasoning from Statistics.” in AAAI-91. Proceedings of the Ninth National Conference on Artificial Intelligence, edited by Thomas L. Dean and Kathleen R. McKeown, pp. 392–398. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem. 2001. “AIPS’00 Planning Competition.” The AI Magazine 22(1): 47–56.
Bacchus, Fahiem. 2002. “Enhancing Davis Putnam with Enriched Binary Clause Reasoning.” in AAAI-02. Proceedings of the Eighteenth National Conference on Artificial Intelligence, edited by Rina Dechter, Richard S. Sutton, and Michael J. Kearns, pp. 613–619. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Chen, Xinguang, van Beek, Peter and Walsh, Toby. 2002. “Binary versus Non-Binary Constraints.” Artificial Intelligence 140(1–2): 1–37.
Bacchus, Fahiem and Grove, Adam J. 1995. “Graphical Models for Preference and Utility.” in UAI-95. Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence, edited by Philippe Besnard and Steven Hanks, pp. 3–10. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem and Grove, Adam J. 1996. “Utility Independence in Qualitative Decision Theory.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 542–552. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem and Grove, Adam J. 1997. “Independence in Qualitative Decision Theory.” in AAAI-97. Working Papers of the AAAI Spring Symposium on Qualitative Preferences in Deliberation and Practical Reasoning, edited by Jon Doyle and Richmond H. Thomason, pp. 1–8. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1992. “From Statistics to Belief.” in AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S. Rosenbloom and Peter Szolovits, pp. 602–608. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1994a. “Forming Beliefs about a Changing World.” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 222–229. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1994b. “Generating New Beliefs from Old.” in AAAI-94. Proceedings of the Twelfth National Conference on Artificial Intelligence, edited by Barbara Hayes-Roth and Richard E. Korf, pp. 37–45. Menlo Park, California: The AAAI Press.
Bacchus, Fahiem, Grove, Adam J., Halpern, Joseph Y. and Kohler, Daphne. 1996. “From Statistical Knowledge Bases to Degrees of Belief.” Artificial Intelligence 87(1–2): 75–143.
Bacchus, Fahiem, Grove, Adam J. and Koller, Daphne. 1993. “Statistical Foundations for Default Reasoning.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem, Halpern, Joseph Y. and Levesque, Hector J. 1995. “Reasoning about Noisy Sensors in the Situation Calculus.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1933–1940. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem, Halpern, Joseph Y. and Levesque, Hector J. 1999. “Reasoning about Noisy Sensors and Effectors in the Situation Calculus.” Artificial Intelligence 111(1–2): 171–208.
Bacchus, Fahiem and Kabanza, Froduald. 2000. “Using Temporal Logics to Express Search Control Knowledge for Planning.” Artificial Intelligence 116(1–2): 123–191.
Bacchus, Fahiem, Kyburg, Henry E., Jr. and Thalos, Mariam. 1990. “Against Conditionalization.” Synthese 84(3): 475–506.
Bacchus, Fahiem and Petrick, Ronald P. A. 1998. “Modeling an Agent’s Incomplete Knowledge during Planning and Execution.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 432–443. San Francisco, California: Morgan Kaufmann Publishers.
Bacchus, Fahiem, Tennenberg, Joshua and Koomen, Johannes A. G. M. 1989. “A Non-Reified Temporal Logic.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 2–10. San Francisco, California: Morgan Kaufmann Publishers. Republished as Bacchus, Tennenberg and Koomen (1991).
Bacchus, Fahiem, Tennenberg, Joshua and Koomen, Johannes A. G. M. 1991. “A Non-Reified Temporal Logic.” Artificial Intelligence 52(1): 87–108.
Bacchus, Fahiem and Yang, Quiang. 1994. “Downward Refinement and the Efficiency of Hierarchical Problem Solving.” Artificial Intelligence 71(1): 41–100.