Order:
Disambiguations
Fahiem Bacchus [5]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 - 1995 - Synthese 104 (1):161-176.
    No categories
     
    Export citation  
     
    Bookmark   105 citations  
  2. Against Conditionalization.F. Bacchus, Mariam Thalos & H. E. Kyburg - 1990 - Synthese 85 (3):475 - 506.
  3.  26
    Against Conditionalization.Fahiem Bacchus, Henry E. Kyburg Jr & Mariam Thalos - 1990 - Synthese 85 (3):475 - 506.
  4.  6
    Against Conditionalization.Fahiem Bacchus, Henry E. Kyburg & Mariam Thalos - 1990 - Synthese 85 (3):475-506.
  5.  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.
  6.  5
    Review: Anil Nerode, Richard A. Shore, Logic for Applications. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
  7. Early Religious Stages.Francis Bacchus - 1933 - New Blackfriars 14 (160):551-559.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  19
    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