| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Poole, Fahiem Bacchus, Jacek Kisynski |
Towards Completely Lifted Search-based Probabilistic Inference  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
The Power of Modeling - a Response to PDDL2.1 |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus |
A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert (eds.) |
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011 |
ICAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jessica Davies, Fahiem Bacchus |
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Goultiaeva, Fahiem Bacchus |
Exploiting Circuit Representations in QBF Solving. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus |
Leveraging dominators for preprocessing QBF. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Goultiaeva, Fahiem Bacchus |
Exploiting QBF Duality on a Circuit Representation. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jessica Davies, Jeremy Cho, Fahiem Bacchus |
Using Learnt Clauses in maxsat. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
Solving #SAT and Bayesian Inference with Backtracking Search. |
J. Artif. Intell. Res. (JAIR) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
A heuristic search approach to planning with temporally extended preferences. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Kitching, Fahiem Bacchus |
Exploiting Decomposition on Constraint Problems with High Tree-Width. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matthew Kitching, Fahiem Bacchus |
Set Branching in Constraint Optimization. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus |
Beyond CNF: A Circuit-Based QBF Solver. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder |
Clause Learning Can Effectively P-Simulate General Propositional Resolution. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthew Kitching, Fahiem Bacchus |
Exploiting Decomposition in Constraint Optimization Problems. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
A Heuristic Search Approach to Planning with Temporally Extended Preferences. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Matthew Kitching, Fahiem Bacchus |
Symmetric Component Caching. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Horst Samulowitz, Fahiem Bacchus |
Dynamically Partitioning for Solving QBF. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Davies, Fahiem Bacchus |
Using More Reasoning to Improve #SAT Solving. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith |
Using Expectation Maximization to Find Likely Assignments for Solving CSP's. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Kostas Stergiou |
Solution Directed Backjumping for QCSP. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus |
GAC Via Unit Propagation. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Caching in Backtracking Search. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Samulowitz, Fahiem Bacchus |
Binary Clause Reasoning in QBF. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus |
CSPs: Adding Structure to SAT. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Samulowitz, Jessica Davies, Fahiem Bacchus |
Preprocessing QBF. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Toby Walsh |
Propagating Logical Combinations of Constraints. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Toby Walsh (eds.) |
Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings |
SAT |
2005 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Fahiem Bacchus |
Generalized NoGoods in CSPs. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Horst Samulowitz, Fahiem Bacchus |
Using SAT in QBF. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanael Hyafil, Fahiem Bacchus |
Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ronald P. A. Petrick, Fahiem Bacchus |
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. |
ICAPS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi |
Combining Component Caching and Clause Learning for Effective Model Counting. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christian Thiffault, Fahiem Bacchus, Toby Walsh |
Solving Non-clausal Formulas with DPLL search. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ronald P. A. Petrick, Fahiem Bacchus |
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christian Thiffault, Fahiem Bacchus, Toby Walsh |
Solving Non-clausal Formulas with DPLL Search. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
DPLL with Caching: A new algorithm for #SAT and Bayesian Inference |
Electronic Colloquium on Computational Complexity (ECCC) |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
From Statistical Knowledge Bases to Degrees of Belief |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
The Power of Modeling - a Response to PDDL2.1. |
J. Artif. Intell. Res. (JAIR) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriana Lopez, Fahiem Bacchus |
Generalizing GraphPlan by Formulating Planning as a CSP. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nathanael Hyafil, Fahiem Bacchus |
Conformant Probabilistic Planning via CSPs. |
ICAPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Jonathan Winter |
Effective Preprocessing with Hyper-Resolution and Equality Reduction. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
Value Elimination: Bayesian Interence via Backtracking Search. |
UAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi |
Algorithms and Complexity Results for #SAT and Bayesian Inference. |
FOCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | George Katsirelos, Fahiem Bacchus |
Unrestricted Nogood Recording in CSP Search. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh |
Binary vs. non-binary constraints. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald P. A. Petrick, Fahiem Bacchus |
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. |
AIPS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Enhancing Davis Putnam with Extended Binary Clause Reasoning. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
The AIPS '00 Planning Competition. |
AI Magazine |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Michael Ady |
Planning with Resources and Concurrency: A Forward Chaining Approach. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman |
UCP-Networks: A Directed Graphical Representation of Conditional Utilities. |
UAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | George Katsirelos, Fahiem Bacchus |
GAC on Conjunctions of Constraints. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Froduald Kabanza |
Using temporal logics to express search control knowledge for planning. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Extending Forward Checking. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors and Effectors in the Situation Calculus |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Froduald Kabanza |
Planning for Temporally Extended Goals. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Yee Whye Teh |
Making Forward Chaining Relevant. |
AIPS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Ronald P. A. Petrick |
Modeling an Agent's Incomplete Knowledge During Planning and During Execution. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Peter van Beek |
On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Craig Boutilier, Adam J. Grove |
Structured Solution Methods for Non-Markovian Decision Processes. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
From Statistical Knowledge Bases to Degrees of Belief. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Using Temporal Logics for Planning and Control. |
TIME |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove |
Utility Independence in a Qualitative Decision Theory. |
KR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Froduald Kabanza |
Planning for Temporally Extended Goals. |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Craig Boutilier, Adam J. Grove |
Rewarding Behaviors. |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors in the Situation Calculus. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove |
Graphical models for preference and utility. |
UAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. |
Reasoning with Uncertainty in Robotics |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove |
On the Forward Checking Algorithm. |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Paul van Run |
Dynamic Variable Ordering in CSPs. |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wai Lam, Fahiem Bacchus |
Learning Bayesian Belief Networks: An Approach Based on the MDL Principle. |
Computational Intelligence |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
A Response to "Believing on the Basis of the Evidence". |
Computational Intelligence |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Qiang Yang |
Downward Refinement and the Efficiency of Hierarchical Problem Solving. |
Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Wai Lam, Fahiem Bacchus |
Using New Data to Refine a Bayesian Network. |
UAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
Generating New Beliefs from Old. |
UAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
Forming Beliefs about a Changing World. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
Statistical Foundations for Default Reasoning. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Using First-Order Probability Logic for the Construction of Bayesian Networks. |
UAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wai Lam, Fahiem Bacchus |
Using Causal Information and Local Measures to Learn Bayesian Networks. |
UAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller |
Generating Degrees of Belief from Statistical Information: An Overview. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Qiang Yang |
The Expected Value of Hierarchical Problem-Solving. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern |
From Statistics to Beliefs. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Josh D. Tenenberg, Johannes A. G. M. Koomen |
A Non-Reified Temporal Logic. |
Artif. Intell. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus, Qiang Yang |
The Downward Refinement Property. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Default Reasoning From Statistics. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Lp, a logic for representing and reasoning with statistical knowledge. |
Computational Intelligence |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Probability and logic: a reply to Cheeseman. |
Computational Intelligence |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Representing and reasoning with probabilistic knowledge - a logical approach to probabilities. |
|
1990 |
RDF |
|
| 1 | Fahiem Bacchus |
Probabilistic Belief Logics. |
ECAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
A Modest, but Semantically Well Founded, Inheritance Reasoner. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Josh D. Tenenberg, Johannes A. G. M. Koomen |
A Non-Reified Temporal Logic. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
Lp: A Logic for Statistical Information. |
UAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus |
On probability distributions over possible worlds. |
UAI |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")