2009 | ||
---|---|---|
81 | EE | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A heuristic search approach to planning with temporally extended preferences. Artif. Intell. 173(5-6): 593-618 (2009) |
2008 | ||
80 | Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder: Clause Learning Can Effectively P-Simulate General Propositional Resolution. AAAI 2008: 283-290 | |
79 | EE | Matthew Kitching, Fahiem Bacchus: Exploiting Decomposition in Constraint Optimization Problems. CP 2008: 478-492 |
2007 | ||
78 | Jessica Davies, Fahiem Bacchus: Using More Reasoning to Improve #SAT Solving. AAAI 2007: 185-190 | |
77 | Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith: Using Expectation Maximization to Find Likely Assignments for Solving CSP's. AAAI 2007: 224-230 | |
76 | EE | Fahiem Bacchus: Caching in Backtracking Search. CP 2007: 1 |
75 | EE | Fahiem Bacchus: GAC Via Unit Propagation. CP 2007: 133-147 |
74 | EE | Fahiem Bacchus, Kostas Stergiou: Solution Directed Backjumping for QCSP. CP 2007: 148-163 |
73 | EE | Matthew Kitching, Fahiem Bacchus: Symmetric Component Caching. IJCAI 2007: 118-124 |
72 | EE | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815 |
71 | EE | Horst Samulowitz, Fahiem Bacchus: Dynamically Partitioning for Solving QBF. SAT 2007: 215-229 |
2006 | ||
70 | EE | Horst Samulowitz, Jessica Davies, Fahiem Bacchus: Preprocessing QBF. CP 2006: 514-529 |
69 | EE | Fahiem Bacchus: CSPs: Adding Structure to SAT. SAT 2006: 10-10 |
68 | EE | Horst Samulowitz, Fahiem Bacchus: Binary Clause Reasoning in QBF. SAT 2006: 353-367 |
2005 | ||
67 | Fahiem Bacchus, Toby Walsh: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings Springer 2005 | |
66 | George Katsirelos, Fahiem Bacchus: Generalized NoGoods in CSPs. AAAI 2005: 390-396 | |
65 | EE | Horst Samulowitz, Fahiem Bacchus: Using SAT in QBF. CP 2005: 578-592 |
64 | EE | Fahiem Bacchus, Toby Walsh: Propagating Logical Combinations of Constraints. IJCAI 2005: 35-40 |
2004 | ||
63 | EE | Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL Search. CP 2004: 663-678 |
62 | Nathanael Hyafil, Fahiem Bacchus: Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. ECAI 2004: 1033-1034 | |
61 | Ronald P. A. Petrick, Fahiem Bacchus: Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. ICAPS 2004: 2-11 | |
60 | Ronald P. A. Petrick, Fahiem Bacchus: Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. KR 2004: 613-622 | |
59 | EE | Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi: Combining Component Caching and Clause Learning for Effective Model Counting. SAT 2004 |
58 | EE | Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL search. SAT 2004 |
2003 | ||
57 | EE | George Katsirelos, Fahiem Bacchus: Unrestricted Nogood Recording in CSP Search. CP 2003: 873-877 |
56 | EE | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Algorithms and Complexity Results for #SAT and Bayesian Inference. FOCS 2003: 340-351 |
55 | Nathanael Hyafil, Fahiem Bacchus: Conformant Probabilistic Planning via CSPs. ICAPS 2003: 205-214 | |
54 | Adriana Lopez, Fahiem Bacchus: Generalizing GraphPlan by Formulating Planning as a CSP. IJCAI 2003: 954-960 | |
53 | EE | Fahiem Bacchus, Jonathan Winter: Effective Preprocessing with Hyper-Resolution and Equality Reduction. SAT 2003: 341-355 |
52 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Value Elimination: Bayesian Interence via Backtracking Search. UAI 2003: 20-28 | |
51 | EE | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief CoRR cs.AI/0307056: (2003) |
50 | EE | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: DPLL with Caching: A new algorithm for #SAT and Bayesian Inference Electronic Colloquium on Computational Complexity (ECCC) 10(003): (2003) |
49 | EE | Fahiem Bacchus: The Power of Modeling - a Response to PDDL2.1. J. Artif. Intell. Res. (JAIR) 20: 125-132 (2003) |
2002 | ||
48 | Fahiem Bacchus: Enhancing Davis Putnam with Extended Binary Clause Reasoning. AAAI/IAAI 2002: 613-619 | |
47 | Ronald P. A. Petrick, Fahiem Bacchus: A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. AIPS 2002: 212-222 | |
46 | EE | Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002) |
2001 | ||
45 | EE | George Katsirelos, Fahiem Bacchus: GAC on Conjunctions of Constraints. CP 2001: 610-614 |
44 | Fahiem Bacchus, Michael Ady: Planning with Resources and Concurrency: A Forward Chaining Approach. IJCAI 2001: 417-424 | |
43 | EE | Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman: UCP-Networks: A Directed Graphical Representation of Conditional Utilities. UAI 2001: 56-64 |
42 | Fahiem Bacchus: The AIPS '00 Planning Competition. AI Magazine 22(3): 47-56 (2001) | |
2000 | ||
41 | EE | Fahiem Bacchus: Extending Forward Checking. CP 2000: 35-51 |
40 | EE | Fahiem Bacchus, Froduald Kabanza: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1-2): 123-191 (2000) |
1999 | ||
39 | EE | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. 111(1-2): 171-208 (1999) |
1998 | ||
38 | Fahiem Bacchus, Peter van Beek: On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. AAAI/IAAI 1998: 310-318 | |
37 | Fahiem Bacchus, Yee Whye Teh: Making Forward Chaining Relevant. AIPS 1998: 54-61 | |
36 | Fahiem Bacchus, Ronald P. A. Petrick: Modeling an Agent's Incomplete Knowledge During Planning and During Execution. KR 1998: 432-443 | |
35 | Fahiem Bacchus, Froduald Kabanza: Planning for Temporally Extended Goals. Ann. Math. Artif. Intell. 22(1-2): 5-27 (1998) | |
34 | EE | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR cs.AI/9809013: (1998) |
1997 | ||
33 | Fahiem Bacchus, Craig Boutilier, Adam J. Grove: Structured Solution Methods for Non-Markovian Decision Processes. AAAI/IAAI 1997: 112-117 | |
1996 | ||
32 | Fahiem Bacchus, Craig Boutilier, Adam J. Grove: Rewarding Behaviors. AAAI/IAAI, Vol. 2 1996: 1160-1167 | |
31 | Fahiem Bacchus, Froduald Kabanza: Planning for Temporally Extended Goals. AAAI/IAAI, Vol. 2 1996: 1215-1222 | |
30 | Fahiem Bacchus, Adam J. Grove: Utility Independence in a Qualitative Decision Theory. KR 1996: 542-552 | |
29 | Fahiem Bacchus: Using Temporal Logics for Planning and Control. TIME 1996: 2-3 | |
28 | EE | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief. Artif. Intell. 87(1-2): 75-143 (1996) |
1995 | ||
27 | Fahiem Bacchus, Paul van Run: Dynamic Variable Ordering in CSPs. CP 1995: 258-275 | |
26 | Fahiem Bacchus, Adam J. Grove: On the Forward Checking Algorithm. CP 1995: 292-308 | |
25 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940 | |
24 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics 1995: 218-220 | |
23 | EE | Fahiem Bacchus, Adam J. Grove: Graphical models for preference and utility. UAI 1995: 3-10 |
1994 | ||
22 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Forming Beliefs about a Changing World. AAAI 1994: 222-229 | |
21 | EE | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating New Beliefs from Old. UAI 1994: 37-45 |
20 | EE | Wai Lam, Fahiem Bacchus: Using New Data to Refine a Bayesian Network. UAI 1994: 383-390 |
19 | Fahiem Bacchus, Qiang Yang: Downward Refinement and the Efficiency of Hierarchical Problem Solving. Artif. Intell. 71(1): 43-100 (1994) | |
18 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: A Response to "Believing on the Basis of the Evidence". Computational Intelligence 10: 21-25 (1994) | |
17 | Wai Lam, Fahiem Bacchus: Learning Bayesian Belief Networks: An Approach Based on the MDL Principle. Computational Intelligence 10: 269-294 (1994) | |
1993 | ||
16 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993: 318-325 | |
15 | Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569 | |
14 | EE | Fahiem Bacchus: Using First-Order Probability Logic for the Construction of Bayesian Networks. UAI 1993: 219-226 |
13 | EE | Wai Lam, Fahiem Bacchus: Using Causal Information and Local Measures to Learn Bayesian Networks. UAI 1993: 243-250 |
1992 | ||
12 | Fahiem Bacchus, Qiang Yang: The Expected Value of Hierarchical Problem-Solving. AAAI 1992: 369-374 | |
11 | Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern: From Statistics to Beliefs. AAAI 1992: 602-608 | |
1991 | ||
10 | Fahiem Bacchus: Default Reasoning From Statistics. AAAI 1991: 392-398 | |
9 | Fahiem Bacchus, Qiang Yang: The Downward Refinement Property. IJCAI 1991: 286-293 | |
8 | Fahiem Bacchus, Josh D. Tenenberg, Johannes A. G. M. Koomen: A Non-Reified Temporal Logic. Artif. Intell. 52(1): 87-108 (1991) | |
1990 | ||
7 | Fahiem Bacchus: Probabilistic Belief Logics. ECAI 1990: 59-64 | |
6 | Fahiem Bacchus: Probability and logic: a reply to Cheeseman. Computational Intelligence 6: 180-183 (1990) | |
5 | Fahiem Bacchus: Lp, a logic for representing and reasoning with statistical knowledge. Computational Intelligence 6: 209-231 (1990) | |
1989 | ||
4 | Fahiem Bacchus: A Modest, but Semantically Well Founded, Inheritance Reasoner. IJCAI 1989: 1104-1109 | |
3 | Fahiem Bacchus, Josh D. Tenenberg, Johannes A. G. M. Koomen: A Non-Reified Temporal Logic. KR 1989: 2-10 | |
2 | EE | Fahiem Bacchus: Lp: A Logic for Statistical Information. UAI 1989: 3-14 |
1988 | ||
1 | EE | Fahiem Bacchus: On probability distributions over possible worlds. UAI 1988: 217-226 |