Fahiem Bacchus

2012 (2)

MAXSAT Heuristics for Cost Optimal Planning. Zhang, L.; and Bacchus, F. In Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI-2012), 2012.

MAXSAT Heuristics for Cost Optimal Planning [pdf]

Paper link bibtex 108 downloads

@inproceedings{ZhangBacchusAAA12,
  author    = {Lei Zhang and Fahiem Bacchus},
  title     = {{MAXSAT} Heuristics for Cost Optimal Planning},
  url       = {ZB_AAAI12.pdf},
  booktitle = {Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI-2012)},
  year      = {2012},
  pages     = {}
}

Off the Trail: Re-examining the CDCL Algorithm. Goultiaeva, A.; and Bacchus, F. In Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT-2012), pages 30-43, 2012.

Off the Trail: Re-examining the CDCL Algorithm [pdf]

Paper

Off the Trail: Re-examining the CDCL Algorithm [link]

Link link bibtex 44 downloads

@inproceedings{DBLP:conf/sat/GoultiaevaB12,
  author    = {Alexandra Goultiaeva and
               Fahiem Bacchus},
  title     = {Off the Trail: Re-examining the CDCL Algorithm},
  url       = {GB_SAT2012.pdf},
  booktitle = {Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing (SAT-2012)},
  year      = {2012},
  pages     = {30-43},
  ee        = {http://dx.doi.org/10.1007/978-3-642-31612-8_4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

2011 (3)

Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011. Bacchus, F.; Domshlak, C.; Edelkamp, S.; and Helmert, M., editors. In Bacchus, F.; Domshlak, C.; Edelkamp, S.; and Helmert, M., editor(s), 2011. AAAI

Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011 [link]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/aips/2011,
  editor    = {Fahiem Bacchus and
               Carmel Domshlak and
               Stefan Edelkamp and
               Malte Helmert},
  title     = {Proceedings of the 21st International Conference on Automated
               Planning and Scheduling, ICAPS 2011, Freiburg, Germany June
               11-16, 2011},
  url       = {http://www.aaai.org/Press/Proceedings/icaps11.php},
  publisher = {AAAI},
  year      = 2011,
  bibsource = {DBLP http://dblp.uni-trier.de}
}

A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. Goultiaeva, A.; Gelder, A. V.; and Bacchus, F. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011), pages 546-553, 2011.

A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas [pdf]

Paper link bibtex 13 downloads

@inproceedings{DBLP:conf/ijcai/GoultiaevaGB11,
  author    = {Alexandra Goultiaeva and
               Allen Van Gelder and
               Fahiem Bacchus},
  title     = {A Uniform Approach for Generating Proofs and Strategies
               for Both True and False QBF Formulas},
  url       = {GvGB_IJCAI11.pdf},
  booktitle = {Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011)},
  year      = {2011},
  pages     = {546-553},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. Davies, J.; and Bacchus, F. In 17th International Conference on Principles and Practice of Constraint Programming (CP-2011), pages 225-239, 2011.

Solving MAXSAT by Solving a Sequence of Simpler SAT Instances [pdf]

Paper

Solving MAXSAT by Solving a Sequence of Simpler SAT Instances [link]

Link link bibtex 22 downloads

@inproceedings{DBLP:conf/cp/DaviesB11,
  author    = {Jessica Davies and
               Fahiem Bacchus},
  title     = {Solving MAXSAT by Solving a Sequence of Simpler SAT Instances},
  url       = {DB_CP2011.pdf},                  
  booktitle = {17th International Conference on Principles and Practice of Constraint Programming (CP-2011)},
  year      = {2011},
  pages     = {225-239},
  ee        = {http://dx.doi.org/10.1007/978-3-642-23786-7_19},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

2010 (4)

Using Learnt Clauses in maxsat. Davies, J.; Cho, J.; and Bacchus, F. In 16th International Conference on Principles and Practice of Constraint Programming (CP-2010), pages 176-190, 2010.

Paper

Link link bibtex 14 downloads

@inproceedings{DBLP:conf/cp/DaviesCB10,
  author    = {Jessica Davies and
               Jeremy Cho and
               Fahiem Bacchus},
  title     = {Using Learnt Clauses in maxsat},
  url       = {BCDCP2010.pdf},
  booktitle = {16th International Conference on Principles and Practice of Constraint Programming (CP-2010)},
  year      = {2010},
  pages     = {176-190},
  ee        = {http://dx.doi.org/10.1007/978-3-642-15396-9_17},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Exploiting QBF Duality on a Circuit Representation. Goultiaeva, A.; and Bacchus, F. In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-2010), pages 71-76, 2010.

Exploiting QBF Duality on a Circuit Representation [pdf]

Paper

Exploiting QBF Duality on a Circuit Representation [link]

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/aaai/GoultiaevaB10,
  author    = {Alexandra Goultiaeva and Fahiem Bacchus},
  title     = {Exploiting QBF Duality on a Circuit Representation},
  booktitle = {Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-2010)},
  year      = {2010},
  url       = {GB_AAAI2010.pdf},                  
  ee        = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1791},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  pages = {71-76}
}

Leveraging dominators for preprocessing QBF. Mangassarian, H.; Le, B.; Goultiaeva, A.; Veneris, A. G.; and Bacchus, F. In Design, Automation and Test in Europe (DATE 2010), pages 1695-1700, 2010.

Leveraging dominators for preprocessing QBF [pdf]

Paper

Leveraging dominators for preprocessing QBF [link]

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/date/MangassarianLGVB10,
  author    = {Hratch Mangassarian and
               Bao Le and
               Alexandra Goultiaeva and
               Andreas G. Veneris and
               Fahiem Bacchus},
  title     = {Leveraging dominators for preprocessing QBF},
  booktitle = {Design, Automation and Test in Europe (DATE 2010)},
  year      = {2010},
  url       = {MLGVB_DATE2010.pdf},                   
  pages     = {1695-1700},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Exploiting Circuit Representations in QBF Solving. Goultiaeva, A.; and Bacchus, F. In Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT-2010), pages 333-339, 2010.

Link

Exploiting Circuit Representations in QBF Solving [pdf]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/sat/GoultiaevaB10,
  author    = {Alexandra Goultiaeva and
               Fahiem Bacchus},
  title     = {Exploiting Circuit Representations in QBF Solving},
  booktitle = {Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT-2010)},
  year      = {2010},
  pages     = {333-339},
  ee        = {http://dx.doi.org/10.1007/978-3-642-14186-7_29},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  url       = {GB_SAT2010.pdf}
}

2009 (5)

Solving #SAT and Bayesian Inference with Backtracking Search. Bacchus, F.; Dalmao, S.; and Pitassi, T. J. Artif. Intell. Res. (JAIR), 34: 391-442. 2009.

Paper link bibtex 6 downloads

@Article{BDPSharpSatbyBacktracking_JAIR_2009,
  author = {Fahiem Bacchus and Shannon Dalmao and Toniann Pitassi},
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  title = {Solving \#SAT and Bayesian Inference with  Backtracking Search},
  journal =  {J. Artif. Intell. Res. (JAIR)},
  year = 2009,
  url = {http://dx.doi.org/10.1613/jair.2648},
  volume = 34,
  pages = {391-442}
}

A heuristic search approach to planning with temporally extended preferences. Baier, J. A.; Bacchus, F.; and McIlraith, S. A. , 173(5–6): 593-618. 2009.

Paper link bibtex 26 downloads

@Article{BBMHSiPwTEP_AIJ_2009, 
   author = {Jorge A. Baier and Fahiem	Bacchus and Sheila A. McIlraith}, 
   title = {A heuristic search approach to planning with temporally extended preferences},
   year = 2009,
   url = {http://dx.doi.org/10.1016/j.artint.2008.11.011}, 
   area = {Planning (including under Uncertainty)}, 
   volume = {173},
   number = {5--6}, 
   pages = {593-618} 
}

Exploiting Decomposition on Constraint Problems with High Tree-Width. Kitching, M.; and Bacchus, F. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), pages 525-531, 2009.

Exploiting Decomposition on Constraint Problems with High Tree-Width [pdf]

Paper link bibtex 9 downloads

@inproceedings{DBLP:conf/ijcai/KitchingB109,
   author = {Matthew Kitching and Fahiem Bacchus},
   title = {Exploiting Decomposition on Constraint Problems with High Tree-Width},
   url = {KB1_IJCAI09.pdf},
   area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
   booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)},
   year = {2009},
   pages = {525-531},
}

Set Branching in Constraint Optimization. Kitching, M.; and Bacchus, F. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), pages 532-537, 2009.

Set Branching in Constraint Optimization [pdf]

Paper link bibtex 5 downloads

@inproceedings{DBLP:conf/ijcai/KitchingB209,
	author = {Matthew Kitching and Fahiem Bacchus},
	title = {Set Branching in Constraint Optimization},
	url = {KB2_IJCAI09.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009)},
	year = {2009},
	pages = {532-537},
}

Beyond CNF: A Circuit-Based QBF Solver. Goultiaeva, A.; Iverson, V.; and Bacchus, F. In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT-2009), pages 412-426, 2009.

Beyond CNF: A Circuit-Based QBF Solver [pdf]

Paper

Beyond CNF: A Circuit-Based QBF Solver [link]

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/sat/GoultiaevaIB09,
  author    = {Alexandra Goultiaeva and Vicki Iverson and Fahiem Bacchus},
  title     = {Beyond CNF: A Circuit-Based QBF Solver},
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  booktitle = {Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT-2009)},
  year      = {2009},
  pages     = {412-426},
  url       = {GIB_SAT2009.pdf},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02777-2_38},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

2008 (3)

Clause Learning Can Effectively P-Simulate General Propositional Resolution. Hertel, P.; Bacchus, F.; Pitassi, T.; and Gelder, A. V. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2008), pages 283-290, 2008.

Clause Learning Can Effectively P-Simulate General Propositional Resolution [pdf]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/aaai/HertelBPG08,
	author = {Philipp Hertel and Fahiem Bacchus and Toniann Pitassi and Allen Van Gelder},
	title = {Clause Learning Can Effectively P-Simulate General Propositional Resolution},
	url = {HBPvG_AAAI2008.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2008)},
	year = {2008},
	pages = {283-290},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Exploiting Decomposition in Constraint Optimization Problems. Kitching, M.; and Bacchus, F. In Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP-2008), pages 478-492, 2008.

Exploiting Decomposition in Constraint Optimization Problems [pdf]

Paper

Exploiting Decomposition in Constraint Optimization Problems [link]

Link link bibtex 10 downloads

@inproceedings{DBLP:conf/cp/KitchingB08,
	author = {Matthew Kitching and Fahiem Bacchus},
	title = {Exploiting Decomposition in Constraint Optimization Problems},
	booktitle = {Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP-2008)},
	year = {2008},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	pages = {478-492},
        url = {MB_CP2008.pdf},
	ee = {http://dx.doi.org/10.1007/978-3-540-85958-1_32},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Distributional Importance Sampling for Approximate Weighted Model Counting. Davies, J.; and Bacchus, F. In Workshop on Counting Problems in CSP and SAT, and other neighbouring problems, 2008.

Distributional Importance Sampling for Approximate Weighted Model Counting [pdf]

Paper link bibtex 1 download

@inproceedings{DB_Counting_2008,
        author = {Jessica Davies and Fahiem Bacchus},
        title = {Distributional Importance Sampling for Approximate Weighted Model Counting},
        year = {2008},                  
        booktitle = {Workshop on Counting Problems in CSP and SAT, and other neighbouring problems},
        url = {Davies-Counting08.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)}
}

2007 (8)

Using More Reasoning to Improve #SAT Solving. Davies, J.; and Bacchus, F. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), pages 185-190, 2007.

Using More Reasoning to Improve #SAT Solving [pdf]

Paper link bibtex 7 downloads

@inproceedings{DBLP:conf/aaai/DaviesB07,
	author = {Jessica Davies and Fahiem Bacchus},
	title = {Using More Reasoning to Improve \#SAT Solving},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	url = {DBaaai07.pdf},
	booktitle = {Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007)},
	year = {2007},
	pages = {185-190},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Using Expectation Maximization to Find Likely Assignments for Solving CSP's. Hsu, E. I.; Kitching, M.; Bacchus, F.; and McIlraith, S. A. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), pages 224-230, 2007.

Using Expectation Maximization to Find Likely Assignments for Solving CSP's [pdf]

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/aaai/HsuKBM07,
	author = {Eric I. Hsu and Matthew Kitching and Fahiem Bacchus and Sheila A. McIlraith},
	title = {Using Expectation Maximization to Find Likely Assignments for Solving CSP's},
	url = {HKBMaaai07.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007)},
	year = {2007},
	pages = {224-230},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Caching in Backtracking Search (Invited Talk). Bacchus, F. In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), pages 1-1, 2007.

Paper

Link link bibtex 4 downloads

@inproceedings{DBLP:conf/cp/Bacchus07,
	author = {Fahiem Bacchus},
	title = {Caching in Backtracking Search (Invited Talk)},
	booktitle = {Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007)},
	year = {2007},
        url = {../Presentations/Caching_in_Backtracking.ppt},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	pages = {1-1},
	ee = {http://dx.doi.org/10.1007/978-3-540-74970-7_1},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

GAC Via Unit Propagation. Bacchus, F. In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), pages 133-147, 2007.

Paper

Link link bibtex 10 downloads

@inproceedings{DBLP:conf/cp/Bacchus07a,
	author = {Fahiem Bacchus},
	title = {GAC Via Unit Propagation},
	url = {B-CP2007.pdf},
	booktitle = {Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007)},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	year = {2007},
	pages = {133-147},
	ee = {http://dx.doi.org/10.1007/978-3-540-74970-7_12},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Solution Directed Backjumping for QCSP. Bacchus, F.; and Stergiou, K. In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), pages 148-163, 2007.

Solution Directed Backjumping for QCSP [pdf]

Paper

Solution Directed Backjumping for QCSP [link]

Link link bibtex 1 download

@inproceedings{DBLP:conf/cp/BacchusS07,
	author = {Fahiem Bacchus and Kostas Stergiou},
	title = {Solution Directed Backjumping for QCSP},
	url = {SB-cp2007.pdf},
	booktitle = {Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007)},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	year = {2007},
	pages = {148-163},
	ee = {http://dx.doi.org/10.1007/978-3-540-74970-7_13},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Symmetric Component Caching. Kitching, M.; and Bacchus, F. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), pages 118-124, 2007.

Paper

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/ijcai/KitchingB07,
	author = {Matthew Kitching and Fahiem Bacchus},
	title = {Symmetric Component Caching},
	url = {KBijcai07.pdf},
	booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	year = {2007},
	pages = {118-124},
	ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-017.pdf},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

A Heuristic Search Approach to Planning with Temporally Extended Preferences. Baier, J. A.; Bacchus, F.; and McIlraith, S. A. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), pages 1808-1815, 2007.

Paper

Link link bibtex 8 downloads

@inproceedings{DBLP:conf/ijcai/BaierBM07,
	author = {Jorge A. Baier and Fahiem Bacchus and Sheila A. McIlraith},
	title = {A Heuristic Search Approach to Planning with Temporally Extended Preferences},
	url = {BBMijcai07.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007)},
	year = {2007},
	pages = {1808-1815},
	ee = {http://www.ijcai.org/papers07/Papers/IJCAI07-292.pdf},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Dynamically Partitioning for Solving QBF. Samulowitz, H.; and Bacchus, F. In Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT-2007), pages 215-229, 2007.

Dynamically Partitioning for Solving QBF [pdf]

Paper

Dynamically Partitioning for Solving QBF [link]

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/sat/SamulowitzB07,
	author = {Horst Samulowitz and Fahiem Bacchus},
	title = {Dynamically Partitioning for Solving QBF},
	url = {SBsat2007.pdf},
	booktitle = {Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT-2007)},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	year = {2007},
	pages = {215-229},
	ee = {http://dx.doi.org/10.1007/978-3-540-72788-0_22},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

2006 (3)

Preprocessing QBF. Samulowitz, H.; Davies, J.; and Bacchus, F. In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-2006), pages 514-529, 2006.

Paper

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/cp/SamulowitzDB06,
	author = {Horst Samulowitz and Jessica Davies and Fahiem Bacchus},
	title = {Preprocessing QBF},
	url = {SDBCP2006.pdf},
       	booktitle = {Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-2006)},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	year = {2006},
	pages = {514-529},
	ee = {http://dx.doi.org/10.1007/11889205_37},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

CSPs: Adding Structure to SAT (Invited Talk). Bacchus, F. In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006), pages 10-10, 2006.

CSPs: Adding Structure to SAT (Invited Talk) [ppt]

Paper

CSPs: Adding Structure to SAT (Invited Talk) [link]

Link link bibtex

@inproceedings{DBLP:conf/sat/Bacchus06,
	author = {Fahiem Bacchus},
	title = {CSPs: Adding Structure to SAT (Invited Talk)},
      	booktitle = {Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006)},
	year = {2006},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	pages = {10-10},
        url = {../Presentations/SAT2006-SATvCSPs.ppt},
	ee = {http://dx.doi.org/10.1007/11814948_2},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Binary Clause Reasoning in QBF. Samulowitz, H.; and Bacchus, F. In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006), pages 353-367, 2006.

Paper

Link link bibtex 4 downloads

@inproceedings{DBLP:conf/sat/SamulowitzB06,
	author = {Horst Samulowitz and Fahiem Bacchus},
	title = {Binary Clause Reasoning in QBF},
	url = {SBSAT2006.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
      	booktitle = {Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006)},
	year = {2006},
	pages = {353-367},
	ee = {http://dx.doi.org/10.1007/11814948_33},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

2005 (5)

Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Bacchus, F.; and Walsh, T., editors. Volume 3569, of Lecture Notes in Computer Science.Springer. 2005.

Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 [link]

Paper link bibtex

@proceedings{DBLP:conf/sat/2005,
	editor = {Fahiem Bacchus and Toby Walsh},
	title = {Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005},
	publisher = {Springer},
        url = {http://dx.doi.org/10.1007/b137280},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	series = {Lecture Notes in Computer Science},
	volume = {3569},
	year = {2005},
	isbn = {3-540-26276-8},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

21st Conference on Uncertainty in Artificial Intelligence, UAI 2005, Edinburgh, Scotland. Bacchus, F.; and Jaakkola, T., editors. Brightdoc On-Line Demand Publishers. 2005.

21st Conference on Uncertainty in Artificial Intelligence, UAI 2005, Edinburgh, Scotland [link]

Paper link bibtex 1 download

@proceedings{conf/UAI/2005,
	editor = {Fahiem Bacchus and Tommi Jaakkola},
	title = {21st Conference on  Uncertainty in Artificial Intelligence, UAI 2005, Edinburgh,  Scotland},
	publisher = {Brightdoc On-Line Demand Publishers},
        url = {https://pos.brightdoc.com/store/product.asp?ProductID=3020&CollectionID=0&TSearch=&DSearch=&ProductSelect=NotSelected&CategoryID=0&Cart=&page=1},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	year = {2005}
}

Generalized NoGoods in CSPs. Katsirelos, G.; and Bacchus, F. In Proceedings of the 20th AAAI Conference on Artificial Intelligence (AAAI-2005), pages 390-396, 2005.

Paper link bibtex

@inproceedings{DBLP:conf/aaai/KatsirelosB05,
	author = {George Katsirelos and Fahiem Bacchus},
	title = {Generalized NoGoods in CSPs},
	url = {KBAAAI05.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 20th AAAI Conference on Artificial Intelligence (AAAI-2005)},
	year = {2005},
	pages = {390-396},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Using SAT in QBF. Samulowitz, H.; and Bacchus, F. In Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP-2005), pages 578-592, 2005.

Paper

Link link bibtex 7 downloads

@inproceedings{DBLP:conf/cp/SamulowitzB05,
	author = {Horst Samulowitz and Fahiem Bacchus},
	title = {Using SAT in QBF},
	url = {SBCP2005.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP-2005)},
	year = {2005},
	pages = {578-592},
	ee = {http://dx.doi.org/10.1007/11564751_43},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Propagating Logical Combinations of Constraints. Bacchus, F.; and Walsh, T. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), pages 35-40, 2005.

Propagating Logical Combinations of Constraints [pdf]

Paper

Link link bibtex 5 downloads

@inproceedings{DBLP:conf/ijcai/BacchusW05,
	author = {Fahiem Bacchus and Toby Walsh},
	title = {Propagating Logical Combinations of Constraints},
	url = {BWIJCAI05.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
     	booktitle = {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005)},
	year = {2005},
	pages = {35-40},
	ee = {http://www.ijcai.org/papers/0543.pdf},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

2004 (5)

Solving Non-clausal Formulas with DPLL Search. Thiffault, C.; Bacchus, F.; and Walsh, T. In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004), pages 663-678, 2004.

Paper

Link link bibtex 4 downloads

@inproceedings{DBLP:conf/cp/ThiffaultBW04,
	author = {Christian Thiffault and Fahiem Bacchus and Toby Walsh},
	title = {Solving Non-clausal Formulas with DPLL Search},
	url = {ThiffaultetalCP2004.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004)},
	year = {2004},
	pages = {663-678},
	ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3258{\&}spage=663},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. Hyafil, N.; and Bacchus, F. In Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI-2004), pages 1033-1034, 2004.

Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning [pdf]

Paper link bibtex

@inproceedings{DBLP:conf/ecai/HyafilB04,
	author = {Nathanael Hyafil and Fahiem Bacchus},
	title = {Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning},
	url = {HyafilBacchus_ECAI04_long.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI-2004)},
	year = {2004},
	pages = {1033-1034},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Petrick, R. P. A.; and Bacchus, F. In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-2004), pages 2-11, 2004.

Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing [pdf]

Paper link bibtex 1 download

@inproceedings{DBLP:conf/aips/PetrickB04,
	author = {Ronald P. A. Petrick and Fahiem Bacchus},
	title = {Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing},
	url = {PetrickBacchusICAPS2004.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-2004)},
	year = {2004},
	pages = {2-11},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Petrick, R. P. A.; and Bacchus, F. In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-2004), pages 613-622, 2004.

Paper link bibtex 1 download

@inproceedings{DBLP:conf/kr/PetrickB04,
	author = {Ronald P. A. Petrick and Fahiem Bacchus},
	title = {Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing},
	url = {PetrickBacchusICAPS2004.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-2004)},
	year = {2004},
	pages = {613-622},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Combining Component Caching and Clause Learning for Effective Model Counting. Sang, T.; Bacchus, F.; Beame, P.; Kautz, H. A.; and Pitassi, T. In Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing (SAT-2004), 2004.

Combining Component Caching and Clause Learning for Effective Model Counting [pdf]

Paper

Link link bibtex 9 downloads

@inproceedings{DBLP:conf/sat/SangBBKP04,
	author = {Tian Sang and Fahiem Bacchus and Paul Beame and Henry A. Kautz and Toniann Pitassi},
	title = {Combining Component Caching and Clause Learning for Effective Model Counting},
        url = {SangetalSAT2004.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
     	booktitle = {Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing (SAT-2004)},
	year = {2004},
	ee = {http://www.satisfiability.org/SAT04/programme/21.pdf},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

2003 (7)

Unrestricted Nogood Recording in CSP Search. Katsirelos, G.; and Bacchus, F. In Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP-2003), pages 873-877, 2003.

Paper

Link link bibtex 4 downloads

@inproceedings{DBLP:conf/cp/KatsirelosB03,
	author = {George Katsirelos and Fahiem Bacchus},
	title = {Unrestricted Nogood Recording in CSP Search},
	url = {katsirelosBacchusCP2003.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP-2003)},
	year = {2003},
	pages = {873-877},
	ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2833{\&}spage=873},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Algorithms and Complexity Results for #SAT and Bayesian Inference. Bacchus, F.; Dalmao, S.; and Pitassi, T. In Proceedings of the 44th Symposium on Foundations of Computer Science (FOCS-2003), pages 340-351, 2003.

Algorithms and Complexity Results for #SAT and Bayesian Inference [pdf]

Paper

Algorithms and Complexity Results for #SAT and Bayesian Inference [link]

Link link bibtex 7 downloads

@inproceedings{DBLP:conf/focs/BacchusDP03,
	author = {Fahiem Bacchus and Shannon Dalmao and Toniann Pitassi},
	title = {Algorithms and Complexity Results for \#SAT and Bayesian Inference},
	url = {BDPFOCS2004.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 44th Symposium on Foundations of Computer Science (FOCS-2003)},
	year = {2003},
	pages = {340-351},
	ee = {http://csdl.computer.org/comp/proceedings/focs/2003/2040/00/20400340abs.htm},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Conformant Probabilistic Planning via CSPs. Hyafil, N.; and Bacchus, F. In Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-2003), pages 205-214, 2003.

Conformant Probabilistic Planning via CSPs [pdf]

Paper link bibtex

@inproceedings{DBLP:conf/aips/HyafilB03,
	author = {Nathanael Hyafil and Fahiem Bacchus},
	title = {Conformant Probabilistic Planning via CSPs},
	url = {HBICAPS2003.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-2003)},
	year = {2003},
	pages = {205-214},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Generalizing GraphPlan by Formulating Planning as a CSP. Lopez, A.; and Bacchus, F. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), pages 954-960, 2003.

Generalizing GraphPlan by Formulating Planning as a CSP [pdf]

Paper link bibtex 1 download

@inproceedings{DBLP:conf/ijcai/LopezB03,
	author = {Adriana Lopez and Fahiem Bacchus},
	title = {Generalizing GraphPlan by Formulating Planning as a CSP},
	url = {LBIJCAI2003.pdf},
        area = {Planning (including under Uncertainty)},
     	booktitle = {Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003)},
	year = {2003},
	pages = {954-960},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Effective Preprocessing with Hyper-Resolution and Equality Reduction. Bacchus, F.; and Winter, J. In Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing (SAT-2003), pages 341-355, 2003.

Effective Preprocessing with Hyper-Resolution and Equality Reduction [pdf]

Paper

Effective Preprocessing with Hyper-Resolution and Equality Reduction [link]

Link link bibtex 5 downloads

@inproceedings{DBLP:conf/sat/BacchusW03,
	author = {Fahiem Bacchus and Jonathan Winter},
	title = {Effective Preprocessing with Hyper-Resolution and Equality Reduction},
	url = {BSAT2003.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
     	booktitle = {Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing (SAT-2003)},
	year = {2003},
	pages = {341-355},
	ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2919{\&}spage=341},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Value Elimination: Bayesian Inference via Backtracking Search. Bacchus, F.; Dalmao, S.; and Pitassi, T. In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence August (UAI-2003), pages 20-28, 2003.

Paper link bibtex 4 downloads

@inproceedings{DBLP:conf/uai/BacchusDP03,
	author = {Fahiem Bacchus and Shannon Dalmao and Toniann Pitassi},
	title = {Value Elimination: Bayesian Inference via Backtracking Search},
	url = {BDPUAI2003.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence August (UAI-2003)},
	year = {2003},
	pages = {20-28},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

The Power of Modeling - a Response to PDDL2.1. Bacchus, F. J. Artif. Intell. Res. (JAIR), 20: 125-132. 2003.

The Power of Modeling - a Response to PDDL2.1 [link]

Paper

Link link bibtex

@article{DBLP:journals/jair/Bacchus03,
	author = {Fahiem Bacchus},
	title = {The Power of Modeling - a Response to PDDL2.1},
	url = {http://dx.doi.org/10.1613/jair.1993},
        area = {Planning (including under Uncertainty)},
	journal = {J. Artif. Intell. Res. (JAIR)},
	volume = {20},
	year = {2003},
	pages = {125-132},
	ee = {http://www.cs.washington.edu/research/jair/abstracts/bacchus03a.html},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

2002 (3)

Enhancing Davis Putnam with Extended Binary Clause Reasoning. Bacchus, F. In Proceedings of the 18th AAAI Conference on Artificial Intelligence (AAAI-2002), pages 613-619, 2002.

Enhancing Davis Putnam with Extended Binary Clause Reasoning [pdf]

Paper link bibtex 4 downloads

@inproceedings{DBLP:conf/aaai/Bacchus02,
	author = {Fahiem Bacchus},
	title = {Enhancing Davis Putnam with Extended Binary Clause Reasoning},
	url = {BAAAI02.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 18th AAAI Conference on Artificial Intelligence (AAAI-2002)},
	year = {2002},
	pages = {613-619},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Petrick, R. P. A.; and Bacchus, F. In Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS-2002), pages 212-222, 2002.

A Knowledge-Based Approach to Planning with Incomplete Information and Sensing [pdf]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/aips/PetrickB02,
	author = {Ronald P. A. Petrick and Fahiem Bacchus},
	title = {A Knowledge-Based Approach to Planning with Incomplete Information and Sensing},
	url = {PBAIPS2002.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS-2002)},
	year = {2002},
	pages = {212-222},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Binary vs. non-binary constraints. Bacchus, F.; Chen, X.; van Beek, P.; and Walsh, T. Artif. Intell., 140(1/2): 1-37. 2002.

Binary vs. non-binary constraints [link]

Paper link bibtex 3 downloads

@article{DBLP:journals/ai/BacchusCBW02,
	author = {Fahiem Bacchus and Xinguang Chen and Peter van Beek and Toby Walsh},
	title = {Binary vs. non-binary constraints},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	journal = {Artif. Intell.},
	volume = {140},
	number = {1/2},
	year = {2002},
	pages = {1-37},
	url = {http://dx.doi.org/10.1016/S0004-3702(02)00210-2},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

2001 (4)

GAC on Conjunctions of Constraints. Katsirelos, G.; and Bacchus, F. In Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP-2001), pages 610-614, 2001.

GAC on Conjunctions of Constraints [pdf]

Paper

GAC on Conjunctions of Constraints [link]

Link link bibtex 1 download

@inproceedings{DBLP:conf/cp/KatsirelosB01,
	author = {George Katsirelos and Fahiem Bacchus},
	title = {GAC on Conjunctions of Constraints},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	url = {KBCP2001.pdf},
	booktitle = {Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP-2001)},
	year = {2001},
	pages = {610-614},
	ee = {http://link.springer.de/link/service/series/0558/bibs/2239/22390610.htm},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Planning with Resources and Concurrency: A Forward Chaining Approach. Bacchus, F.; and Ady, M. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-2001), pages 417-424, 2001.

Planning with Resources and Concurrency: A Forward Chaining Approach [pdf]

Paper link bibtex 1 download

@inproceedings{DBLP:conf/ijcai/BacchusA01,
	author = {Fahiem Bacchus and Michael Ady},
	title = {Planning with Resources and Concurrency: A Forward Chaining Approach},
	url = {BAIJCAI01.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-2001)},
	year = {2001},
	pages = {417-424},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

UCP-Networks: A Directed Graphical Representation of Conditional Utilities. Boutilier, C.; Bacchus, F.; and Brafman, R. I. In Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI-2001), pages 56-64, 2001.

UCP-Networks: A Directed Graphical Representation of Conditional Utilities [pdf]

Paper

UCP-Networks: A Directed Graphical Representation of Conditional Utilities [link]

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/uai/BoutilierBB01,
	author = {Craig Boutilier and Fahiem Bacchus and Ronen I. Brafman},
	title = {UCP-Networks: A Directed Graphical Representation of Conditional Utilities},
	url = {ucpnets.pdf},
        area = {Representations for Utility},
	booktitle = {Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI-2001)},
	year = {2001},
	pages = {56-64},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=83{\&}proceedingID=17},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

The AIPS '00 Planning Competition. Bacchus, F. AI Magazine, 22(3): 47-56. 2001.

The AIPS '00 Planning Competition [link]

Paper link bibtex

@article{DBLP:journals/aim/Bacchus01,
	author = {Fahiem Bacchus},
	title = {The AIPS '00 Planning Competition},
	journal = {AI Magazine},
	url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/1571},
	area = {Planning (including under Uncertainty)},
	volume = {22},
	number = {3},
	year = {2001},
	pages = {47-56},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

2000 (3)

Extending Forward Checking. Bacchus, F. In Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP-2000), pages 35-51, 2000.

Paper

Link link bibtex 4 downloads

@inproceedings{DBLP:conf/cp/Bacchus00,
	author = {Fahiem Bacchus},
	title = {Extending Forward Checking},
	url = {efc.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (CP-2000)},
	year = {2000},
	pages = {35-51},
	ee = {http://link.springer.de/link/service/series/0558/bibs/1894/18940035.htm},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Using temporal logics to express search control knowledge for planning. Bacchus, F.; and Kabanza, F. Artif. Intell., 116(1-2): 123-191. 2000.

Paper

Link link bibtex 8 downloads

@article{DBLP:journals/ai/BacchusK00,
	author = {Fahiem Bacchus and Froduald Kabanza},
	title = {Using temporal logics to express search control knowledge for planning},
	url = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5},
        area = {Planning (including under Uncertainty)},
	journal = {Artif. Intell.},
	volume = {116},
	number = {1-2},
	year = {2000},
	pages = {123-191},
	ee = {http://dx.doi.org/10.1016/S0004-3702(99)00071-5},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Inner and Outer Boundaries of Literals: A Mechanism for Computing Domain Specific Information. Bacchus, F.; and Fraser, C. B. In AIPS-2000 Workshop on Analysing and Exploiting Domain Knowledge for Efficient Planning, 2000.

Inner and Outer Boundaries of Literals: A Mechanism for Computing Domain Specific Information [pdf]

Paper link bibtex 2 downloads

@inproceedings{IandOBoundaries,
        author = {Fahiem Bacchus and Cameron Bruce Fraser},
        title = {Inner and Outer Boundaries of Literals: A Mechanism for Computing Domain Specific Information},
        url = {boundaries.pdf},
        area = {Planning (including under Uncertainty)},
        booktitle = {AIPS-2000 Workshop on Analysing and Exploiting Domain Knowledge for Efficient Planning},
        year = 2000
}

1999 (3)

Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Bacchus, F.; Halpern, J. Y.; and Levesque, H. J. Artif. Intell., 111(1-2): 171-208. 1999.

Reasoning about Noisy Sensors and Effectors in the Situation Calculus [link]

Paper link bibtex 5 downloads

@article{DBLP:journals/ai/BacchusHL99,
	author = {Fahiem Bacchus and Joseph Y. Halpern and Hector J. Levesque},
	title = {Reasoning about Noisy Sensors and Effectors in the Situation Calculus},
        area = {Planning (including under Uncertainty)},
	journal = {Artif. Intell.},
	volume = {111},
	number = {1-2},
	year = {1999},
	pages = {171-208},
	url = {http://dx.doi.org/10.1016/S0004-3702(99)00031-4},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Evaluating First Order Formulas—the foundation for a general Search Engine. Bacchus, F.; and Ady, M. 1999.

Paper link bibtex 2 downloads

@unpublished{EFOL:1999,
        author = {Fahiem Bacchus and Michael Ady},
        title = {Evaluating First Order Formulas---the foundation for a general Search Engine},
        year = 1999,
        url = {BAfol.pdf},
        area = {Planning (including under Uncertainty)}
}

Precondition Control. Bacchus, F.; and Ady, M. 1999.

Paper link bibtex 1 download

@unpublished{Pre:1999,
        author = {Fahiem Bacchus and Michael Ady},
        title = {Precondition Control},
        year = 1999,
        url = {BApre.pdf},
        area = {Planning (including under Uncertainty)}
}

1998 (4)

On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. Bacchus, F.; and van Beek, P. In Proceedings of the 15th AAAI Conference on Artificial Intelligence (AAAI-1998), pages 310-318, 1998.

On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems [pdf]

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/aaai/BacchusB98,
	author = {Fahiem Bacchus and Peter van Beek},
	title = {On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	url = {BvBAAAI98.pdf},
	booktitle = {Proceedings of the 15th AAAI Conference on Artificial Intelligence (AAAI-1998)},
	year = {1998},
	pages = {310-318},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Making Forward Chaining Relevant. Bacchus, F.; and Teh, Y. W. In Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems (AIPS-1998), pages 54-61, 1998.

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/aips/BacchusT98,
	author = {Fahiem Bacchus and Yee Whye Teh},
	title = {Making Forward Chaining Relevant},
        area = {Planning (including under Uncertainty)},
	url = {BTAIPS98.pdf},
	booktitle = {Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems (AIPS-1998)},
	year = {1998},
	pages = {54-61},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Modeling an Agent's Incomplete Knowledge During Planning and During Execution. Bacchus, F.; and Petrick, R. P. A. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR-1998), pages 432-443, 1998.

Modeling an Agent's Incomplete Knowledge During Planning and During Execution [pdf]

Paper link bibtex 1 download

@inproceedings{DBLP:conf/kr/BacchusP98,
	author = {Fahiem Bacchus and Ronald P. A. Petrick},
	title = {Modeling an Agent's Incomplete Knowledge During Planning and During Execution},
        area = {Planning (including under Uncertainty)},
	url = {BPKR98.pdf},
	booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR-1998)},
	year = {1998},
	pages = {432-443},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Planning for Temporally Extended Goals. Bacchus, F.; and Kabanza, F. Ann. Math. Artif. Intell., 22(1-2): 5-27. 1998.

Planning for Temporally Extended Goals [pdf]

Paper link bibtex 8 downloads

@article{DBLP:journals/amai/BacchusK98,
	author = {Fahiem Bacchus and Froduald Kabanza},
	title = {Planning for Temporally Extended Goals},
	url = {BKAAAI96.pdf},
	area = {Planning (including under Uncertainty)},
	journal = {Ann. Math. Artif. Intell.},
	volume = {22},
	number = {1-2},
	year = {1998},
	pages = {5-27},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1997 (1)

Structured Solution Methods for Non-Markovian Decision Processes. Bacchus, F.; Boutilier, C.; and Grove, A. J. In Proceedings of the 14th AAAI Conference on Artificial Intelligence (AAAI-1997), pages 112-117, 1997.

Structured Solution Methods for Non-Markovian Decision Processes [pdf]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/aaai/BacchusBG97,
	author = {Fahiem Bacchus and Craig Boutilier and Adam J. Grove},
	title = {Structured Solution Methods for Non-Markovian Decision Processes},
	url = {BBGAAAI97.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 14th AAAI Conference on Artificial Intelligence (AAAI-1997)},
	year = {1997},
	pages = {112-117},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1996 (5)

Rewarding Behaviors. Bacchus, F.; Boutilier, C.; and Grove, A. J. In Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI-1996), pages 1160-1167, 1996.

Paper link bibtex 7 downloads

@inproceedings{DBLP:conf/aaai/BacchusBG96,
	author = {Fahiem Bacchus and Craig Boutilier and Adam J. Grove},
	title = {Rewarding Behaviors},
	url = {BBGAAAI96.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI-1996)},
	year = {1996},
	pages = {1160-1167},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Planning for Temporally Extended Goals. Bacchus, F.; and Kabanza, F. In Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI-1996), pages 1215-1222, 1996.

Paper link bibtex 5 downloads

@inproceedings{DBLP:conf/aaai/BacchusK96,
	author = {Fahiem Bacchus and Froduald Kabanza},
	title = {Planning for Temporally Extended Goals},
	url = {BKAAAI96.pdf},
        area = {Planning (including under Uncertainty)},
	booktitle = {Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI-1996)},
	year = {1996},
	pages = {1215-1222},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Utility Independence in a Qualitative Decision Theory. Bacchus, F.; and Grove, A. J. In Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR-1996), pages 542-552, 1996.

Utility Independence in a Qualitative Decision Theory [pdf]

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/kr/BacchusG96,
	author = {Fahiem Bacchus and Adam J. Grove},
	title = {Utility Independence in a Qualitative Decision Theory},
	url = {BGKR96.pdf},
        area = {Representations for Utility},
	booktitle = {Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR-1996)},
	year = {1996},
	pages = {542-552},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Using Temporal Logics for Planning and Control. Bacchus, F. In Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning (TIME-1996), pages 2-3, 1996.

Using Temporal Logics for Planning and Control [link]

Paper link bibtex 4 downloads

@inproceedings{DBLP:conf/time/Bacchus96,
	author = {Fahiem Bacchus},
	title = {Using Temporal Logics for Planning and Control},
	area = {Planning (including under Uncertainty)},
        url = {http://doi.ieeecomputersociety.org/10.1109/TIME.1996.555666},
	booktitle = {Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning (TIME-1996)},
	year = {1996},
	pages = {2-3},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

From Statistical Knowledge Bases to Degrees of Belief. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. Artif. Intell., 87(1-2): 75-143. 1996.

From Statistical Knowledge Bases to Degrees of Belief [link]

Paper link bibtex 3 downloads

@article{DBLP:journals/ai/BacchusGHK96,
	author = {Fahiem Bacchus and Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
	title = {From Statistical Knowledge Bases to Degrees of Belief},
        area = {First Order Logics for Probability},
	journal = {Artif. Intell.},
	volume = {87},
	number = {1-2},
	year = {1996},
	pages = {75-143},
	url = {http://dx.doi.org/10.1016/S0004-3702(96)00003-3},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1995 (4)

Dynamic Variable Ordering in CSPs. Bacchus, F.; and van Run, P. In Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP-1995), pages 258-275, 1995.

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/cp/BacchusR95,
	author = {Fahiem Bacchus and Paul van Run},
	title = {Dynamic Variable Ordering in CSPs},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	url = {BvRCP95.pdf},
	booktitle = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP-1995)},
	year = {1995},
	pages = {258-275},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

On the Forward Checking Algorithm. Bacchus, F.; and Grove, A. J. In Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP-1995), pages 292-308, 1995.

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/cp/BacchusG95,
	author = {Fahiem Bacchus and Adam J. Grove},
	title = {On the Forward Checking Algorithm},
	url = {BGCP95.pdf},
        area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
	booktitle = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP-1995)},
	year = {1995},
	pages = {292-308},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Reasoning about Noisy Sensors in the Situation Calculus. Bacchus, F.; Halpern, J. Y.; and Levesque, H. J. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-1995), pages 1933-1940, 1995.

Reasoning about Noisy Sensors in the Situation Calculus [pdf]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/ijcai/BacchusHL95,
	author = {Fahiem Bacchus and Joseph Y. Halpern and Hector J. Levesque},
	title = {Reasoning about Noisy Sensors in the Situation Calculus},
        area = {Planning (including under Uncertainty)},
	url = {BHLIJCAI95.pdf},
     	booktitle = {Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-1995)},
	year = {1995},
	pages = {1933-1940},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Graphical models for preference and utility. Bacchus, F.; and Grove, A. J. In Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence (UAI-1995), pages 3-10, 1995.

Graphical models for preference and utility [pdf]

Paper

Graphical models for preference and utility [link]

Link link bibtex 6 downloads

@inproceedings{DBLP:conf/uai/BacchusG95,
	author = {Fahiem Bacchus and Adam J. Grove},
	title = {Graphical models for preference and utility},
        area = {Representations for Utility},
	url = {BGUAI95.pdf},
	booktitle = {Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence (UAI-1995)},
	year = {1995},
	pages = {3-10},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=413{\&}proceedingID=11},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1994 (6)

Forming Beliefs about a Changing World. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. In Proceedings of the 12th AAAI Conference on Artificial Intelligence (AAAI-1994), pages 222-229, 1994.

Forming Beliefs about a Changing World [pdf]

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/aaai/BacchusGHK94,
	author = {Fahiem Bacchus and Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
	title = {Forming Beliefs about a Changing World},
        area = {First Order Logics for Probability},
	url = {BGHKAAAI94.pdf},
	booktitle = {Proceedings of the 12th AAAI Conference on Artificial Intelligence (AAAI-1994)},
	year = {1994},
	pages = {222-229},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Generating New Beliefs from Old. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. In Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1994), pages 37-45, 1994.

Paper

Link link bibtex 3 downloads

@inproceedings{DBLP:conf/uai/BacchusGHK94,
	author = {Fahiem Bacchus and Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
	title = {Generating New Beliefs from Old},
	url = {BGHKUAI94.pdf},
        area = {First Order Logics for Probability},
	booktitle = {Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1994)},
	year = {1994},
	pages = {37-45},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=485{\&}proceedingID=10},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Using New Data to Refine a Bayesian Network. Lam, W.; and Bacchus, F. In Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1994), pages 383-390, 1994.

Using New Data to Refine a Bayesian Network [pdf]

Paper

Using New Data to Refine a Bayesian Network [link]

Link link bibtex 3 downloads

@inproceedings{DBLP:conf/uai/LamB94,
	author = {Wai Lam and Fahiem Bacchus},
	title = {Using New Data to Refine a Bayesian Network},
        area = {Learning Bayesian Networks},
	url = {LBUAI94.pdf},
	booktitle = {Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1994)},
	year = {1994},
	pages = {383-390},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=527{\&}proceedingID=10},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Downward Refinement and the Efficiency of Hierarchical Problem Solving. Bacchus, F.; and Yang, Q. Artif. Intell., 71(1): 43-100. 1994.

Downward Refinement and the Efficiency of Hierarchical Problem Solving [pdf]

Paper link bibtex 4 downloads

@article{DBLP:journals/ai/BacchusY94,
	author = {Fahiem Bacchus and Qiang Yang},
	title = {Downward Refinement and the Efficiency of Hierarchical Problem Solving},
        area = {Planning (including under Uncertainty)},
	url = {BYAIJ94.pdf},
	journal = {Artif. Intell.},
	volume = {71},
	number = {1},
	year = {1994},
	pages = {43-100},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

A Response to "Believing on the Basis of the Evidence". Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. Computational Intelligence, 10: 21-25. 1994.

A Response to "Believing on the Basis of the Evidence" [link]

Paper link bibtex

@article{DBLP:journals/ci/BacchusGHK94,
	author = {Fahiem Bacchus and Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
	title = {A Response to "Believing on the Basis of the Evidence"},
        area = {First Order Logics for Probability},
        url = {http://dx.doi.org/10.1111/j.1467-8640.1994.tb00141.x},
	journal = {Computational Intelligence},
	volume = {10},
	year = {1994},
	pages = {21-25},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Learning Bayesian Belief Networks: An Approach Based on the MDL Principle. Lam, W.; and Bacchus, F. Computational Intelligence, 10: 269-294. 1994.

Learning Bayesian Belief Networks: An Approach Based on the MDL Principle [link]

Paper link bibtex 1 download

@article{DBLP:journals/ci/LamB94,
	author = {Wai Lam and Fahiem Bacchus},
	title = {Learning Bayesian Belief Networks: An Approach Based on the MDL Principle},
        area = {Learning Bayesian Networks},
	url = {http://dx.doi.org/10.1111/j.1467-8640.1994.tb00166.x},
	journal = {Computational Intelligence},
	volume = {10},
	year = {1994},
	pages = {269-294},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1993 (4)

Generating Degrees of Belief from Statistical Information: An Overview. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. In Proceedings of the 13th Conference n Foundations of Software Technology and Theoretical Computer Science, pages 318-325, 1993.

Generating Degrees of Belief from Statistical Information: An Overview [pdf]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/fsttcs/BacchusGHK93,
	author = {Fahiem Bacchus and Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
	title = {Generating Degrees of Belief from Statistical Information: An Overview},
        area = {First Order Logics for Probability},
        url = {GDBFSI_BGHK_1993.pdf},
	booktitle = {Proceedings of the 13th Conference n Foundations of Software Technology and Theoretical Computer Science},
	year = {1993},
	pages = {318-325},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Statistical Foundations for Default Reasoning. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-2007), pages 563-569, 1993.

Statistical Foundations for Default Reasoning [pdf]

Paper link bibtex 3 downloads

@inproceedings{DBLP:conf/ijcai/BacchusGHK93,
	author = {Fahiem Bacchus and Adam J. Grove and Joseph Y. Halpern and Daphne Koller},
	title = {Statistical Foundations for Default Reasoning},
        area = {First Order Logics for Probability},
	url = {BGHKIJCAI93.pdf},
     	booktitle = {Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-2007)},
	year = {1993},
	pages = {563-569},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Using First-Order Probability Logic for the Construction of Bayesian Networks. Bacchus, F. In Proceedings of the 9th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1993), pages 219-226, 1993.

Using First-Order Probability Logic for the Construction of Bayesian Networks [pdf]

Paper

Using First-Order Probability Logic for the Construction of Bayesian Networks [link]

Link link bibtex 11 downloads

@inproceedings{DBLP:conf/uai/Bacchus93,
	author = {Fahiem Bacchus},
	title = {Using First-Order Probability Logic for the Construction of Bayesian Networks},
        url = {FOLinBN-UAI-1993.pdf},
        area = {First Order Logics for Probability},
	booktitle = {Proceedings of the 9th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1993)},
	year = {1993},
	pages = {219-226},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=583{\&}proceedingID=9},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Using Causal Information and Local Measures to Learn Bayesian Networks. Lam, W.; and Bacchus, F. In Proceedings of the 9th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1993), pages 243-250, 1993.

Using Causal Information and Local Measures to Learn Bayesian Networks [pdf]

Paper

Using Causal Information and Local Measures to Learn Bayesian Networks [link]

Link link bibtex 2 downloads

@inproceedings{DBLP:conf/uai/LamB93,
	author = {Wai Lam and Fahiem Bacchus},
	title = {Using Causal Information and Local Measures to Learn Bayesian Networks},
        area = {Learning Bayesian Networks},
	url = {LBUAI93.pdf},
	booktitle = {Proceedings of the 9th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1993)},
	year = {1993},
	pages = {243-250},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=586{\&}proceedingID=9},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1992 (3)

The Expected Value of Hierarchical Problem-Solving. Bacchus, F.; and Yang, Q. In Proceedings of the 11th AAAI Conference on Artificial Intelligence (AAAI-1991), pages 369-374, 1992.

The Expected Value of Hierarchical Problem-Solving [pdf]

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/aaai/BacchusY92,
	author = {Fahiem Bacchus and Qiang Yang},
	title = {The Expected Value of Hierarchical Problem-Solving},
        area = {Planning (including under Uncertainty)},
	url = {BYAAAI92.pdf},
	booktitle = {Proceedings of the 11th AAAI Conference on Artificial Intelligence (AAAI-1991)},
	year = {1992},
	pages = {369-374},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

From Statistics to Beliefs. Bacchus, F.; Grove, A. J.; Koller, D.; and Halpern, J. Y. In Proceedings of the 11th AAAI Conference on Artificial Intelligence (AAAI-1991), pages 602-608, 1992.

Paper link bibtex 4 downloads

@inproceedings{DBLP:conf/aaai/BacchusGKH92,
	author = {Fahiem Bacchus and Adam J. Grove and Daphne Koller and Joseph Y. Halpern},
	title = {From Statistics to Beliefs},
        area = {First Order Logics for Probability},
	url = {BGHKAAAI92.pdf},
	booktitle = {Proceedings of the 11th AAAI Conference on Artificial Intelligence (AAAI-1991)},
	year = {1992},
	pages = {602-608},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Learning Bayesian Belief Networks. Lam, W.; and Bacchus, F. In Proceedings of the Pacific Rim Conference on Atificial Intelligence (PRICAI-92), pages 1237-1243, 1992.

Paper link bibtex 5 downloads

@inproceedings{conf/prcai/LB1992,
	author = {Wai Lam and Fahiem Bacchus},
 	title = {Learning Bayesian Belief Networks},
        url = {pricai.pdf},
        area = {Learning Bayesian Networks},
        booktitle = {Proceedings of the Pacific Rim Conference on Atificial Intelligence (PRICAI-92)},
        year = 1992,
       pages = {1237-1243}
}

1991 (3)

Default Reasoning From Statistics. Bacchus, F. In Proceedings of the 10th AAAI Conference on Artificial Intelligence (AAAI-1991), pages 392-398, 1991.

Paper link bibtex 4 downloads

@inproceedings{DBLP:conf/aaai/Bacchus91,
	author = {Fahiem Bacchus},
	title = {Default Reasoning From Statistics},
        area = {First Order Logics for Probability},
	url = {aaai90.pdf},
	booktitle = {Proceedings of the 10th AAAI Conference on Artificial Intelligence (AAAI-1991)},
	year = {1991},
	pages = {392-398},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

The Downward Refinement Property. Bacchus, F.; and Yang, Q. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-1991), pages 286-293, 1991.

Paper link bibtex 8 downloads

@inproceedings{DBLP:conf/ijcai/BacchusY91,
	author = {Fahiem Bacchus and Qiang Yang},
	title = {The Downward Refinement Property},
        area = {Planning (including under Uncertainty)},
	url = {DRPBacchusYang1991.pdf},
     	booktitle = {Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-1991)},
	year = {1991},
	pages = {286-293},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

A Non-Reified Temporal Logic. Bacchus, F.; Tenenberg, J. D.; and Koomen, J. A. G. M. Artif. Intell., 52(1): 87-108. 1991.

Paper link bibtex 2 downloads

@article{DBLP:journals/ai/BacchusTK91,
	author = {Fahiem Bacchus and Josh D. Tenenberg and Johannes A. G. M. Koomen},
	title = {A Non-Reified Temporal Logic},
        area = {Knowledge Representation},
	url = {BTKAIJ91.pdf},
	journal = {Artif. Intell.},
	volume = {52},
	number = {1},
	year = {1991},
	pages = {87-108},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1990 (5)

Probabilistic Belief Logics. Bacchus, F. In Proceedings of the 9th Eureopean Conference on Artificial Intelligence (ECAI-1990), pages 59-64, 1990.

Paper link bibtex 12 downloads

@inproceedings{DBLP:conf/ecai/Bacchus90,
	author = {Fahiem Bacchus},
	title = {Probabilistic Belief Logics},
	area = {Knowledge Representation},
	url = {BECAI90.pdf},
	booktitle = {Proceedings of the 9th Eureopean Conference on Artificial Intelligence (ECAI-1990)},
	year = {1990},
	pages = {59-64},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Probability and logic: a reply to Cheeseman. Bacchus, F. Computational Intelligence, 6: 180-183. 1990.

Probability and logic: a reply to Cheeseman [link]

Paper link bibtex 2 downloads

@article{DBLP:journals/ci/Bacchus90,
	author = {Fahiem Bacchus},
	title = {Probability and logic: a reply to Cheeseman},
	area = {Knowledge Representation},
	url = {http://dx.doi.org/10.1111/j.1467-8640.1990.tb00136.x},
	journal = {Computational Intelligence},
	volume = {6},
	year = {1990},
	pages = {180-183},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Lp—a logic for representing and reasoning with statistical knowledge. Bacchus, F. Computational Intelligence, 6: 209-231. 1990.

Lp—a logic for representing and reasoning with statistical knowledge [link]

Paper link bibtex 2 downloads

@article{DBLP:journals/ci/Bacchus90a,
	author = {Fahiem Bacchus},
	title = {Lp---a logic for representing and reasoning with statistical knowledge},
        area = {First Order Logics for Probability},
        url = {http://dx.doi.org/10.1111/j.1467-8640.1990.tb00296.x},
	journal = {Computational Intelligence},
	volume = {6},
	year = {1990},
	pages = {209-231},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Representing and Reasoning with Probabilistic Knowledge. Bacchus, F. MIT Press, 1990.

Representing and Reasoning with Probabilistic Knowledge [link]

Paper link bibtex 7 downloads

@book{RRwPK1990,
      author = {Fahiem Bacchus},
      title = {Representing and Reasoning with Probabilistic Knowledge},
      area = {First Order Logics for Probability},
      publisher = {MIT Press},
      year = 1990,
      url = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3477}
}

Against Conditionalization. Bacchus, F.; Jr., H. E. K.; and Thalos, M. Synthese, 85: 475-506. 1990.

Paper link bibtex 2 downloads

@Article{BKTSyn_1990,
  author = {Fahiem Bacchus and Henry E. Kyburg Jr. and Mariam Thalos},
  area = {Knowledge Representation},
  title = {Against Conditionalization},
  journal = {Synthese},
  year = 1990,
  url = {http://dx.doi.org/10.1007/BF00484837},
  volume = 85,
  pages = {475-506}
}

1989 (3)

A Modest but Semantically Well Founded Inheritance Reasoner. Bacchus, F. In Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI-1989), pages 1104-1109, 1989.

A Modest but Semantically Well Founded Inheritance Reasoner [pdf]

Paper link bibtex 1 download

@inproceedings{DBLP:conf/ijcai/Bacchus89,
	author = {Fahiem Bacchus},
	title = {A Modest but Semantically Well Founded Inheritance Reasoner},
        area = {First Order Logics for Probability},
	url = {BIJCAI89.pdf},
     	booktitle = {Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI-1989)},
	year = {1989},
	pages = {1104-1109},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

A Non-Reified Temporal Logic. Bacchus, F.; Tenenberg, J. D.; and Koomen, J. A. G. M. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-1989), pages 2-10, 1989.

Paper link bibtex 2 downloads

@inproceedings{DBLP:conf/kr/BacchusTK89,
	author = {Fahiem Bacchus and Josh D. Tenenberg and Johannes A. G. M. Koomen},
	title = {A Non-Reified Temporal Logic},
	url = {BTKAIJ91.pdf},
	area = {Knowledge Representation},
	booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-1989)},
	year = {1989},
	pages = {2-10},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Lp: A Logic for Statistical Information. Bacchus, F. In Proceedings of the 5th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1989), pages 3-14, 1989.

Lp: A Logic for Statistical Information [pdf]

Paper

Lp: A Logic for Statistical Information [link]

Link link bibtex 4 downloads

@inproceedings{DBLP:conf/uai/Bacchus89,
	author = {Fahiem Bacchus},
	title = {Lp: A Logic for Statistical Information},
	booktitle = {Proceedings of the 5th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1989)},
        area = {First Order Logics for Probability},
	url = {uncertainty89.pdf},
	year = {1989},
	pages = {3-14},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=771{\&}proceedingID=5},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

1988 (2)

On probability distributions over possible worlds. Bacchus, F. In Proceedings of the 4th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1988), pages 217-226, 1988.

Link

On probability distributions over possible worlds [pdf]

Paper link bibtex 27 downloads

@inproceedings{DBLP:conf/uai/Bacchus88,
	author = {Fahiem Bacchus},
	title = {On probability distributions over possible worlds},
	booktitle = {Proceedings of the 4th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1988)},
	area = {Knowledge Representation},
	year = {1988},
	pages = {217-226},
	ee = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=823{\&}proceedingID=4},
        url = {OPDOPW88.pdf},
	bibsource = {DBLP http://dblp.uni-trier.de}
}

Statistically Founded Degrees of Belief. Bacchus, F. In Proceedings Biennial conference on Artificial Intelligence sponsored by the Canadian Society for Computational Studies of Intelligence (CSCSI-1988), pages 56-66, 1988.
link bibtex

@inproceedings{conf/cscsi/Bacchus88,
	author = {Fahiem Bacchus},
	title = {Statistically Founded Degrees of Belief},
	booktitle = {Proceedings Biennial conference on Artificial Intelligence sponsored by the Canadian Society for Computational Studies of Intelligence  (CSCSI-1988)},
        area = {First Order Logics for Probability},
	year = {1988},
	pages = {56-66}
}

Fahiem Bacchus

Sample navigation menu:

Sample navigation menu:

Papers