Order:
Disambiguations
Fahiem Bacchus [12]F. Bacchus [2]Francis Bacchus [1]
  1. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference.J. Pearl, F. Bacchus, P. Spirtes, C. Glymour & R. Scheines - 1988 - Synthese 104 (1):161-176.
    No categories
     
    Export citation  
     
    Bookmark   142 citations  
  2. Against Conditionalization.F. Bacchus, Mariam Thalos & H. E. Kyburg - 1990 - Synthese 85 (3):475 - 506.
  3.  1
    From Statistical Knowledge Bases to Degrees of Belief.Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Artificial Intelligence 87 (1-2):75-143.
  4.  29
    Against Conditionalization.Fahiem Bacchus, Henry E. Kyburg Jr & Mariam Thalos - 1990 - Synthese 85 (3):475 - 506.
  5.  2
    Reasoning About Noisy Sensors and Effectors in the Situation Calculus.Fahiem Bacchus, Joseph Y. Halpern & Hector J. Levesque - 1999 - Artificial Intelligence 111 (1-2):171-208.
  6.  8
    Against Conditionalization.Fahiem Bacchus, Henry E. Kyburg & Mariam Thalos - 1990 - Synthese 85 (3):475-506.
  7.  1
    Using Temporal Logics to Express Search Control Knowledge for Planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
  8.  1
    Binary Vs. Non-Binary Constraints☆☆This Paper Includes Results That First Appeared in [1,4,23]. This Research has Been Supported in Part by the Canadian Government Through Their NSERC and IRIS Programs, and by the EPSRC Advanced Research Fellowship Program. [REVIEW]Fahiem Bacchus, Xinguang Chen, Peter van Beek & Toby Walsh - 2002 - Artificial Intelligence 140 (1-2):1-37.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  1
    A Non-Reified Temporal Logic.Fahiem Bacchus, Josh Tenenberg & Johannes A. Koomen - 1991 - Artificial Intelligence 52 (1):87-108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  5
    Anil Nerode and Richard A. Shore. Logic for Applications. Texts and Monographs in Computer Science. Springer-Verlag, New York, Berlin, Heidelberg, Etc., 1993, Xvii + 365 Pp. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
  11.  1
    Downward Refinement and the Efficiency of Hierarchical Problem Solving.Fahiem Bacchus & Qiang Yang - 1994 - Artificial Intelligence 71 (1):43-100.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Early Religious Stages.Francis Bacchus - 1933 - New Blackfriars 14 (160):551-559.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Review: Anil Nerode, Richard A. Shore, Logic for Applications. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
  14.  20
    Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW]Fahiem Bacchus & Toby Walsh (eds.) - 2005 - Springer.
    This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  1
    A Heuristic Search Approach to Planning with Temporally Extended Preferences.Jorge A. Baier, Fahiem Bacchus & Sheila A. McIlraith - 2009 - Artificial Intelligence 173 (5-6):593-618.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Nothing found.