Fahiem Bacchus

	2011
95		Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert: Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011 AAAI 2011
94		Jessica Davies, Fahiem Bacchus: Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. CP 2011: 225-239
93		Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus: A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. IJCAI 2011: 546-553
92		David Poole, Fahiem Bacchus, Jacek Kisynski: Towards Completely Lifted Search-based Probabilistic Inference CoRR abs/1107.4035: (2011)
91		Fahiem Bacchus: The Power of Modeling - a Response to PDDL2.1 CoRR abs/1110.2729: (2011)
	2010
90		Alexandra Goultiaeva, Fahiem Bacchus: Exploiting QBF Duality on a Circuit Representation. AAAI 2010
89		Jessica Davies, Jeremy Cho, Fahiem Bacchus: Using Learnt Clauses in maxsat. CP 2010: 176-190
88		Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus: Leveraging dominators for preprocessing QBF. DATE 2010: 1695-1700
87		Alexandra Goultiaeva, Fahiem Bacchus: Exploiting Circuit Representations in QBF Solving. SAT 2010: 333-339
	2009
86		Matthew Kitching, Fahiem Bacchus: Exploiting Decomposition on Constraint Problems with High Tree-Width. IJCAI 2009: 525-531
85		Matthew Kitching, Fahiem Bacchus: Set Branching in Constraint Optimization. IJCAI 2009: 532-537
84		Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus: Beyond CNF: A Circuit-Based QBF Solver. SAT 2009: 412-426
83		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)
82		Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Solving #SAT and Bayesian Inference with Backtracking Search. J. Artif. Intell. Res. (JAIR) 34: 391-442 (2009)
	2008
81		Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder: Clause Learning Can Effectively P-Simulate General Propositional Resolution. AAAI 2008: 283-290
80		Matthew Kitching, Fahiem Bacchus: Exploiting Decomposition in Constraint Optimization Problems. CP 2008: 478-492
	2007
79		Jessica Davies, Fahiem Bacchus: Using More Reasoning to Improve #SAT Solving. AAAI 2007: 185-190
78		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
77		Fahiem Bacchus: Caching in Backtracking Search. CP 2007: 1
76		Fahiem Bacchus: GAC Via Unit Propagation. CP 2007: 133-147
75		Fahiem Bacchus, Kostas Stergiou: Solution Directed Backjumping for QCSP. CP 2007: 148-163
74		Matthew Kitching, Fahiem Bacchus: Symmetric Component Caching. IJCAI 2007: 118-124
73		Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815
72		Horst Samulowitz, Fahiem Bacchus: Dynamically Partitioning for Solving QBF. SAT 2007: 215-229
	2006
71		Horst Samulowitz, Jessica Davies, Fahiem Bacchus: Preprocessing QBF. CP 2006: 514-529
70		Fahiem Bacchus: CSPs: Adding Structure to SAT. SAT 2006: 10-10
69		Horst Samulowitz, Fahiem Bacchus: Binary Clause Reasoning in QBF. SAT 2006: 353-367
	2005
68		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
67		George Katsirelos, Fahiem Bacchus: Generalized NoGoods in CSPs. AAAI 2005: 390-396
66		Horst Samulowitz, Fahiem Bacchus: Using SAT in QBF. CP 2005: 578-592
65		Fahiem Bacchus, Toby Walsh: Propagating Logical Combinations of Constraints. IJCAI 2005: 35-40
	2004
64		Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL Search. CP 2004: 663-678
63		Nathanael Hyafil, Fahiem Bacchus: Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. ECAI 2004: 1033-1034
62		Ronald P. A. Petrick, Fahiem Bacchus: Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. ICAPS 2004: 2-11
61		Ronald P. A. Petrick, Fahiem Bacchus: Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. KR 2004: 613-622
60		Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi: Combining Component Caching and Clause Learning for Effective Model Counting. SAT 2004
59		Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL search. SAT 2004
	2003
58		George Katsirelos, Fahiem Bacchus: Unrestricted Nogood Recording in CSP Search. CP 2003: 873-877
57		Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Algorithms and Complexity Results for #SAT and Bayesian Inference. FOCS 2003: 340-351
56		Nathanael Hyafil, Fahiem Bacchus: Conformant Probabilistic Planning via CSPs. ICAPS 2003: 205-214
55		Adriana Lopez, Fahiem Bacchus: Generalizing GraphPlan by Formulating Planning as a CSP. IJCAI 2003: 954-960
54		Fahiem Bacchus, Jonathan Winter: Effective Preprocessing with Hyper-Resolution and Equality Reduction. SAT 2003: 341-355
53		Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Value Elimination: Bayesian Interence via Backtracking Search. UAI 2003: 20-28
52		Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief CoRR cs.AI/0307056: (2003)
51		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)
50		Fahiem Bacchus: The Power of Modeling - a Response to PDDL2.1. J. Artif. Intell. Res. (JAIR) 20: 125-132 (2003)
	2002
49		Fahiem Bacchus: Enhancing Davis Putnam with Extended Binary Clause Reasoning. AAAI/IAAI 2002: 613-619
48		Ronald P. A. Petrick, Fahiem Bacchus: A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. AIPS 2002: 212-222
47		Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh: Binary vs. non-binary constraints. Artif. Intell. 140(1/2): 1-37 (2002)
	2001
46		George Katsirelos, Fahiem Bacchus: GAC on Conjunctions of Constraints. CP 2001: 610-614
45		Fahiem Bacchus, Michael Ady: Planning with Resources and Concurrency: A Forward Chaining Approach. IJCAI 2001: 417-424
44		Craig Boutilier, Fahiem Bacchus, Ronen I. Brafman: UCP-Networks: A Directed Graphical Representation of Conditional Utilities. UAI 2001: 56-64
43		Fahiem Bacchus: The AIPS '00 Planning Competition. AI Magazine 22(3): 47-56 (2001)
	2000
42		Fahiem Bacchus: Extending Forward Checking. CP 2000: 35-51
41		Fahiem Bacchus, Froduald Kabanza: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1-2): 123-191 (2000)
	1999
40		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
39		Fahiem Bacchus, Peter van Beek: On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. AAAI/IAAI 1998: 310-318
38		Fahiem Bacchus, Yee Whye Teh: Making Forward Chaining Relevant. AIPS 1998: 54-61
37		Fahiem Bacchus, Ronald P. A. Petrick: Modeling an Agent's Incomplete Knowledge During Planning and During Execution. KR 1998: 432-443
36		Fahiem Bacchus, Froduald Kabanza: Planning for Temporally Extended Goals. Ann. Math. Artif. Intell. 22(1-2): 5-27 (1998)
35		Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR cs.AI/9809013: (1998)
	1997
34		Fahiem Bacchus, Craig Boutilier, Adam J. Grove: Structured Solution Methods for Non-Markovian Decision Processes. AAAI/IAAI 1997: 112-117
	1996
33		Fahiem Bacchus, Craig Boutilier, Adam J. Grove: Rewarding Behaviors. AAAI/IAAI, Vol. 2 1996: 1160-1167
32		Fahiem Bacchus, Froduald Kabanza: Planning for Temporally Extended Goals. AAAI/IAAI, Vol. 2 1996: 1215-1222
31		Fahiem Bacchus, Adam J. Grove: Utility Independence in a Qualitative Decision Theory. KR 1996: 542-552
30		Fahiem Bacchus: Using Temporal Logics for Planning and Control. TIME 1996: 2-3
29		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
28		Fahiem Bacchus, Paul van Run: Dynamic Variable Ordering in CSPs. CP 1995: 258-275
27		Fahiem Bacchus, Adam J. Grove: On the Forward Checking Algorithm. CP 1995: 292-308
26		Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940
25		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
24		Fahiem Bacchus, Adam J. Grove: Graphical models for preference and utility. UAI 1995: 3-10
	1994
23		Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Forming Beliefs about a Changing World. AAAI 1994: 222-229
22		Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating New Beliefs from Old. UAI 1994: 37-45
21		Wai Lam, Fahiem Bacchus: Using New Data to Refine a Bayesian Network. UAI 1994: 383-390
20		Fahiem Bacchus, Qiang Yang: Downward Refinement and the Efficiency of Hierarchical Problem Solving. Artif. Intell. 71(1): 43-100 (1994)
19		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)
18		Wai Lam, Fahiem Bacchus: Learning Bayesian Belief Networks: An Approach Based on the MDL Principle. Computational Intelligence 10: 269-294 (1994)
	1993
17		Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993: 318-325
16		Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569
15		Fahiem Bacchus: Using First-Order Probability Logic for the Construction of Bayesian Networks. UAI 1993: 219-226
14		Wai Lam, Fahiem Bacchus: Using Causal Information and Local Measures to Learn Bayesian Networks. UAI 1993: 243-250
	1992
13		Fahiem Bacchus, Qiang Yang: The Expected Value of Hierarchical Problem-Solving. AAAI 1992: 369-374
12		Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern: From Statistics to Beliefs. AAAI 1992: 602-608
	1991
11		Fahiem Bacchus: Default Reasoning From Statistics. AAAI 1991: 392-398
10		Fahiem Bacchus, Qiang Yang: The Downward Refinement Property. IJCAI 1991: 286-293
9		Fahiem Bacchus, Josh D. Tenenberg, Johannes A. G. M. Koomen: A Non-Reified Temporal Logic. Artif. Intell. 52(1): 87-108 (1991)
	1990
8		Fahiem Bacchus: Representing and reasoning with probabilistic knowledge - a logical approach to probabilities. MIT Press 1990: 1-233
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		Fahiem Bacchus: Lp: A Logic for Statistical Information. UAI 1989: 3-14
	1988
1		Fahiem Bacchus: On probability distributions over possible worlds. UAI 1988: 217-226

Coauthor Index

1	Michael Ady	[45]
2	Jorge A. Baier	[73] [83]
3	Paul Beame	[60]
4	Peter van Beek	[39] [47]
5	Craig Boutilier	[33] [34] [44]
6	Ronen I. Brafman	[44]
7	Xinguang Chen	[47]
8	Jeremy Cho	[89]
9	Shannon Dalmao	[51] [53] [57] [82]
10	Jessica Davies	[71] [79] [89] [94]
11	Carmel Domshlak	[95]
12	Stefan Edelkamp	[95]
13	Allen Van Gelder	[81] [93]
14	Alexandra Goultiaeva	[84] [87] [88] [90] [93]
15	Adam J. Grove	[12] [16] [17] [19] [22] [23] [24] [27] [29] [31] [33] [34] [52]
16	Joseph Y. Halpern	[12] [16] [17] [19] [22] [23] [25] [26] [29] [35] [40] [52]
17	Malte Helmert	[95]
18	Philipp Hertel	[81]
19	Eric I. Hsu	[78]
20	Nathanael Hyafil	[56] [63]
21	Vicki Iverson	[84]
22	Froduald Kabanza	[32] [36] [41]
23	George Katsirelos	[46] [58] [67]
24	Henry A. Kautz	[60]
25	Jacek Kisynski	[92]
26	Matthew Kitching	[74] [78] [80] [85] [86]
27	Daphne Koller	[12] [16] [17] [19] [22] [23] [29] [52]
28	Johannes A. G. M. Koomen	[3] [9]
29	Wai Lam	[14] [18] [21]
30	Bao Le	[88]
31	Hector J. Levesque	[25] [26] [35] [40]
32	Adriana Lopez	[55]
33	Hratch Mangassarian	[88]
34	Sheila A. McIlraith	[73] [78] [83]
35	Ronald P. A. Petrick	[37] [48] [61] [62]
36	Toniann Pitassi	[51] [53] [57] [60] [81] [82]
37	David Poole	[92]
38	Paul van Run	[28]
39	Horst Samulowitz	[66] [69] [71] [72]
40	Tian Sang	[60]
41	Kostas Stergiou (Konstantinos Stergiou)	[75]
42	Yee Whye Teh	[38]
43	Josh D. Tenenberg	[3] [9]
44	Christian Thiffault	[59] [64]
45	Andreas G. Veneris	[88]
46	Toby Walsh	[47] [59] [64] [65] [68]
47	Jonathan Winter	[54]
48	Qiang Yang	[10] [13] [20]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page