- Making Forward Chaining Relevant Fahiem Bacchus
- On The Forward Checking Algorithm Fahiem Bacchus1 and Adam Grove2
- Planning for Temporally Extended Goals Fahiem Bacchus
- Planning with Resources and Concurrency A Forward Chaining Approach
- Solving Non-clausal Formulas with DPLL search Christian Thiffault1
- Exploiting QBF Duality on a Circuit Representation Alexandra Goultiaeva and Fahiem Bacchus
- Against Conditionalization Fahiem Bacchus Henry E. Kyburg Jr. Mariam Thalos
- Exploiting Circuit Representations in QBF Solving Alexandra Goultiaeva and Fahiem Bacchus
- Dynamically Partitioning for Solving QBF Horst Samulowitz and Fahiem Bacchus
- Using First-Order Probability Logic for the Construction of Bayesian Networks
- UCP-Networks: A Directed Graphical Representation of Conditional Utilities Craig Boutilier
- Domain Independant Heuristics in Hybrid Algorithms for CSP's
- Constraint Satisfaction Problems Fahiem Bacchus
- Graphical models for preference and utility Fahiem Bacchus
- Generating New Beliefs From Old Fahiem Bacchus
- Binary vs. Non-Binary Constraints Fahiem Bacchus
- Set Branching in Constraint Optimization Matthew Kitching and Fahiem Bacchus
- Forming beliefs about a changing world Fahiem Bacchus
- Using Expectation Maximization to Find Likely Assignments for Solving CSP's Eric I. Hsu and Matthew Kitching and Fahiem Bacchus and Sheila A. McIlraith
- From Statistics to Beliefs Fahiem Bacchus
- The Downward Refinement Property Fahiem Bacchus and Qiang Yang*
- Using First-Order Probability Logic for the Construction of Bayesian Networks
- Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus
- A Knowledge-Based Approach to Planning with Incomplete Information and Ronald P. A. Petrick
- Algorithms and Complexity Results for #SAT and Bayesian Inference Fahiem Bacchus Shannon Dalmao Toniann Pitassi
- Combining Component Caching and Clause Learning for Effective Model Counting
- Value Elimination: Bayesian Inference via Backtracking Search Fahiem Bacchus
- A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge A. Baier and Fahiem Bacchus and Sheila A. McIlraith
- Extending the Knowledge-Based approach to Planning with Incomplete Information and Sensing
- Utilizing Structured Representations and CSPs in Conformant Probabilistic Planning
- Generalizing GraphPlan by Formulating Planning as a CSP Adriana Lopez
- Conformant Probabilistic Planning via CSPs Nathanael Hyafil
- Inner and Outer Boundaries of Literals A Mechanism for Computing Domain Specific
- Using Temporal Logics to Express Search Control Knowledge for Planning
- Modeling an Agent's Incomplete Knowledge during Planning and Fahiem Bacchus
- To appear, Proc. 14th National Conf. on AI (AAAI-97), Providence, August, 1997 Structured Solution Methods for Non-Markovian Decision Processes
- Downward Re nement and the E ciency of Hierarchical Problem Solving
- Preprocessing QBF Horst Samulowitz, Jessica Davies, and Fahiem Bacchus
- Propagating Logical Combinations of Constraints Fahiem Bacchus
- Generalized NoGoods in CSPs George Katsirelos
- Unrestricted Nogood Recording in CSP search George Katsirelos and Fahiem Bacchus
- Exploring the Computational Tradeoff of more Reasoning and Less Searching
- Extending Forward Checking Fahiem Bacchus
- Looking Forward in Constraint Satisfaction Algorithms Fahiem Bacchus
- On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems
- Dynamic Variable Ordering In CSPs? Fahiem Bacchus1 and Paul van Run2
- Algorithms for Constraint Satisfaction Problems
- From Statistical Knowledge Bases to Degrees of Belief Fahiem Bacchus
- Statistical Foundations for Default Reasoning Fahiem Bacchus
- A Modest, but Semantically Well Founded, Inheritance Reasoner Fahiem Bacchus
- Independence and Qualitative Decision Theory Fahiem Bacchus
- Learning Bayesian Belief Networks An approach based on the MDL Principle
- Learning Bayesian Belief Networks An approach based on the MDL Principle
- Solution Directed Backjumping for QCSP Fahiem Bacchus1
- Rewarding Behaviors Fahiem Bacchus
- GAC via Unit Propagation Fahiem Bacchus
- Binary Clause Reasoning in QBF Horst Samulowitz1
- Using SAT in QBF Horst Samulowitz and Fahiem Bacchus
- Lp, A Logic for Representing and Reasoning with Statistical Fahiem Bacchus
- GAC on Conjunctions of Constraints George Katsirelos
- Effective Preprocessing with Hyper-Resolution and Equality Reduction
- Baltzer Journals April 30, 1997 Planning for Temporally Extended Goals
- Precondition Control Fahiem Bacchus
- Evaluating First Order Formulas--the foundation for a general Search Engine Fahiem Bacchus
- Control Intensive Planning Planet 2003 Summer School
- Utility Independence in a Qualitative Decision Theory Fahiem Bacchus
- Default Inferences From Statistical Knowledge Fahiem Bacchus
- Reasoning about Noisy Sensors in the Situation Calculus Fahiem Bacchus
- A Uniform View of Backtracking Fahiem Bacchus
- Exploiting Decomposition on Constraint Problems with High Tree-Width Matthew Kitching and Fahiem Bacchus
- Symmetric Component Caching Matthew Kitching and Fahiem Bacchus
- Learning Bayesian Belief Networks An approach based on the MDL Principle
- Reasoning about Noisy Sensors and E ectors in the Situation Calculus
- Distributional Importance Sampling for Approximate Weighted Model Counting
- Using More Reasoning to Improve #SAT Solving Jessica Davies and Fahiem Bacchus
- Using SAT in QBF Horst Samulowitz and Fahiem Bacchus
- Probabilistic Belief Logics Fahiem Bacchus
- The Expected Value of Hierarchical Problem-Solving Fahiem Bacchus and Qiang Yang
- Using Temporal Logic to Control Search in a Forward Chaining Planner
- Using New Data to Re ne a Bayesian Network Wai Lam and Fahiem Bacchus
- Beyond CNF: A Circuit-Based QBF Solver Alexandra Goultiaeva, Vicki Iverson, and Fahiem Bacchus
- A Non-Rei ed Temporal Logic Fahiem Bacchus
- Exploiting Decomposition in Constraint Optimization Matthew Kitching and Fahiem Bacchus
- Clause Learning Can Effectively P-Simulate General Propositional Resolution Philipp Hertel and Fahiem Bacchus and Toniann Pitassi
- 9/15/2005 Fahiem Bacchus 1 SAT Solving
- Lp--A Logic for Statistical Information Fahiem Bacchus
- AD-A250 617 DTIC iiiiliii I~I lll 1111111MAY 281992
- 9/15/2005 Fahiem Bacchus 1 SAT Solving
- Using Causal Information and Local Measures to Learn Bayesian Networks
