 2010 (4) |
|
Leveraging dominators for preprocessing QBF. Mangassarian, H.; Le, B.; Goultiaeva, A.; Veneris, A. G.; and Bacchus, F. 2010.
In Design, Automation and Test in Europe (DATE 2010), 1695-1700.
![Leveraging dominators for preprocessing QBF [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088]](http://www.bibbase.org/resources/filetypes/html.png) Leveraging dominators for preprocessing QBF ![Leveraging dominators for preprocessing QBF [PDF]](http://www.bibbase.org/resources/filetypes/pdf.png) Leveraging dominators for preprocessing QBF ![Leveraging dominators for preprocessing QBF [bib]](http://www.bibbase.org/resources/filetypes/bib.png) Bibtex
|
Exploiting QBF Duality on a Circuit Representation. Goultiaeva, A., and Bacchus, F. 2010.
In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI-2010), 71-76.
Exploiting QBF Duality on a Circuit Representation Exploiting QBF Duality on a Circuit Representation Bibtex
|
Using Learnt Clauses in MAXSAT. Davies, J.; Cho, J.; and Bacchus, F. 2010.
In 16th International Conference on Principles and Practice of Constraint Programming (CP-2010), 176-190.
Using Learnt Clauses in MAXSAT Bibtex
|
Exploiting Circuit Representations in QBF Solving. Goultiaeva, A., and Bacchus, F. 2010.
In Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT-2010), 333-339.
Exploiting Circuit Representations in QBF Solving Exploiting Circuit Representations in QBF Solving Bibtex
|
|
|
| 2009 (5) |
|
Exploiting Decomposition on Constraint Problems with High Tree-Width. Kitching, M., and Bacchus, F. 2009.
In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), 525-531.
Exploiting Decomposition on Constraint Problems with High Tree-Width Bibtex
|
Set Branching in Constraint Optimization. Kitching, M., and Bacchus, F. 2009.
In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), 532-537.
Set Branching in Constraint Optimization Bibtex
|
Beyond CNF: A Circuit-Based QBF Solver. Goultiaeva, A.; Iverson, V.; and Bacchus, F. 2009.
In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT-2009), 412-426.
Beyond CNF: A Circuit-Based QBF Solver Beyond CNF: A Circuit-Based QBF Solver Bibtex
|
A heuristic search approach to planning with temporally extended preferences. Baier, J. A.; Bacchus, F.; and McIlraith, S. A. 2009.
173(5--6):593-618.
A heuristic search approach to planning with temporally extended preferences Bibtex
|
Solving #SAT and Bayesian Inference with Backtracking Search. Bacchus, F.; Dalmao, S.; and Pitassi, T. 2009.
J. Artif. Intell. Res. (JAIR), 34:391-442.
Solving #SAT and Bayesian Inference with Backtracking Search Bibtex
|
|
|
| 2008 (3) |
|
Exploiting Decomposition in Constraint Optimization Problems. Kitching, M., and Bacchus, F. 2008.
In Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP-2008), 478-492.
Exploiting Decomposition in Constraint Optimization Problems Exploiting Decomposition in Constraint Optimization Problems Bibtex
|
Clause Learning Can Effectively P-Simulate General Propositional Resolution. Hertel, P.; Bacchus, F.; Pitassi, T.; and Gelder, A. V. 2008.
In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2008), 283-290.
Clause Learning Can Effectively P-Simulate General Propositional Resolution Bibtex
|
Distributional Importance Sampling for Approximate Weighted Model Counting. Davies, J., and Bacchus, F. 2008.
In Workshop on Counting Problems in CSP and SAT, and other neighbouring problems.
Distributional Importance Sampling for Approximate Weighted Model Counting Bibtex
|
|
|
| 2007 (8) |
|
Dynamically Partitioning for Solving QBF. Samulowitz, H., and Bacchus, F. 2007.
In Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT-2007), 215-229.
Dynamically Partitioning for Solving QBF Dynamically Partitioning for Solving QBF Bibtex
|
Using Expectation Maximization to Find Likely Assignments for Solving CSP's. Hsu, E. I.; Kitching, M.; Bacchus, F.; and McIlraith, S. A. 2007.
In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), 224-230.
Using Expectation Maximization to Find Likely Assignments for Solving CSP's Bibtex
|
Symmetric Component Caching. Kitching, M., and Bacchus, F. 2007.
In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), 118-124.
Symmetric Component Caching Symmetric Component Caching Bibtex
|
Using More Reasoning to Improve #SAT Solving. Davies, J., and Bacchus, F. 2007.
In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), 185-190.
Using More Reasoning to Improve #SAT Solving Bibtex
|
Solution Directed Backjumping for QCSP. Bacchus, F., and Stergiou, K. 2007.
In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), 148-163.
Solution Directed Backjumping for QCSP Solution Directed Backjumping for QCSP Bibtex
|
Caching in Backtracking Search (Invited Talk). Bacchus, F. 2007.
In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), 1-1.
Caching in Backtracking Search (Invited Talk) ![Caching in Backtracking Search (Invited Talk) [PPT]](http://www.bibbase.org/resources/filetypes/) Caching in Backtracking Search (Invited Talk) Bibtex
|
A Heuristic Search Approach to Planning with Temporally Extended Preferences. Baier, J. A.; Bacchus, F.; and McIlraith, S. A. 2007.
In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), 1808-1815.
A Heuristic Search Approach to Planning with Temporally Extended Preferences A Heuristic Search Approach to Planning with Temporally Extended Preferences Bibtex
|
GAC Via Unit Propagation. Bacchus, F. 2007.
In Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), 133-147.
GAC Via Unit Propagation GAC Via Unit Propagation Bibtex
|
|
|
| 2006 (3) |
|
CSPs: Adding Structure to SAT (Invited Talk). Bacchus, F. 2006.
In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006), 10-10.
CSPs: Adding Structure to SAT (Invited Talk) CSPs: Adding Structure to SAT (Invited Talk) Bibtex
|
Preprocessing QBF. Samulowitz, H.; Davies, J.; and Bacchus, F. 2006.
In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP-2006), 514-529.
Preprocessing QBF Preprocessing QBF Bibtex
|
Binary Clause Reasoning in QBF. Samulowitz, H., and Bacchus, F. 2006.
In Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT-2006), 353-367.
Binary Clause Reasoning in QBF Binary Clause Reasoning in QBF Bibtex
|
|
|
| 2005 (5) |
|
Using SAT in QBF. Samulowitz, H., and Bacchus, F. 2005.
In Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP-2005), 578-592.
Using SAT in QBF Using SAT in QBF Bibtex
|
Propagating Logical Combinations of Constraints. Bacchus, F., and Walsh, T. 2005.
In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-2005), 35-40.
Propagating Logical Combinations of Constraints Propagating Logical Combinations of Constraints Bibtex
|
Generalized NoGoods in CSPs. Katsirelos, G., and Bacchus, F. 2005.
In Proceedings of the 20th AAAI Conference on Artificial Intelligence (AAAI-2005), 390-396.
Generalized NoGoods in CSPs Bibtex
|
21st Conference on Uncertainty in Artificial Intelligence, UAI 2005, Edinburgh, Scotland. Bacchus, F., and Jaakkola, T. 2005.
Brightdoc On-Line Demand Publishers.
21st Conference on Uncertainty in Artificial Intelligence, UAI 2005, Edinburgh, Scotland Bibtex Buy
|
Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Bacchus, F., and Walsh, T. 2005.
Springer, Lecture Notes in Computer Science, 3569, 3-540-26276-8.
Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 Bibtex Buy
|
|
|
| 2004 (5) |
|
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Petrick, R. P. A., and Bacchus, F. 2004.
In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-2004), 613-622.
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing Bibtex
|
Solving Non-clausal Formulas with DPLL Search. Thiffault, C.; Bacchus, F.; and Walsh, T. 2004.
In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004), 663-678.
Solving Non-clausal Formulas with DPLL Search Solving Non-clausal Formulas with DPLL Search Bibtex
|
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Petrick, R. P. A., and Bacchus, F. 2004.
In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-2004), 2-11.
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing Bibtex
|
Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. Hyafil, N., and Bacchus, F. 2004.
In Proceedings of the 16th Eureopean Conference on Artificial Intelligence (ECAI-2004), 1033-1034.
Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning Bibtex
|
Combining Component Caching and Clause Learning for Effective Model Counting. Sang, T.; Bacchus, F.; Beame, P.; Kautz, H. A.; and Pitassi, T. 2004.
In Proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing (SAT-2004).
Combining Component Caching and Clause Learning for Effective Model Counting Combining Component Caching and Clause Learning for Effective Model Counting Bibtex
|
|
|
| 2003 (7) |
|
Value Elimination: Bayesian Inference via Backtracking Search. Bacchus, F.; Dalmao, S.; and Pitassi, T. 2003.
In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence August (UAI-2003), 20-28.
Value Elimination: Bayesian Inference via Backtracking Search Bibtex
|
Generalizing GraphPlan by Formulating Planning as a CSP. Lopez, A., and Bacchus, F. 2003.
In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), 954-960.
Generalizing GraphPlan by Formulating Planning as a CSP Bibtex
|
Effective Preprocessing with Hyper-Resolution and Equality Reduction. Bacchus, F., and Winter, J. 2003.
In Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing (SAT-2003), 341-355.
Effective Preprocessing with Hyper-Resolution and Equality Reduction Effective Preprocessing with Hyper-Resolution and Equality Reduction Bibtex
|
The Power of Modeling - a Response to PDDL2.1. Bacchus, F. 2003.
J. Artif. Intell. Res. (JAIR), 20:125-132.
The Power of Modeling - a Response to PDDL2.1 The Power of Modeling - a Response to PDDL2.1 Bibtex
|
Conformant Probabilistic Planning via CSPs. Hyafil, N., and Bacchus, F. 2003.
In Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-2003), 205-214.
Conformant Probabilistic Planning via CSPs Bibtex
|
Algorithms and Complexity Results for #SAT and Bayesian Inference. Bacchus, F.; Dalmao, S.; and Pitassi, T. 2003.
In Proceedings of the 44th Symposium on Foundations of Computer Science (FOCS-2003), 340-351.
Algorithms and Complexity Results for #SAT and Bayesian Inference Algorithms and Complexity Results for #SAT and Bayesian Inference Bibtex
|
Unrestricted Nogood Recording in CSP Search. Katsirelos, G., and Bacchus, F. 2003.
In Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP-2003), 873-877.
Unrestricted Nogood Recording in CSP Search Unrestricted Nogood Recording in CSP Search Bibtex
|
|
|
| 2002 (3) |
|
Binary vs. non-binary constraints. Bacchus, F.; Chen, X.; Beek, P. van ; and Walsh, T. 2002.
Artif. Intell., 140(1/2):1-37.
Binary vs. non-binary constraints Bibtex
|
Enhancing Davis Putnam with Extended Binary Clause Reasoning. Bacchus, F. 2002.
In Proceedings of the 18th AAAI Conference on Artificial Intelligence (AAAI-2002), 613-619.
Enhancing Davis Putnam with Extended Binary Clause Reasoning Bibtex
|
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Petrick, R. P. A., and Bacchus, F. 2002.
In Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS-2002), 212-222.
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing Bibtex
|
|
|
| 2001 (4) |
|
The AIPS '00 Planning Competition. Bacchus, F. 2001.
AI Magazine, 22(3):47-56.
The AIPS '00 Planning Competition Bibtex
|
Planning with Resources and Concurrency: A Forward Chaining Approach. Bacchus, F., and Ady, M. 2001.
In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-2001), 417-424.
Planning with Resources and Concurrency: A Forward Chaining Approach Bibtex
|
UCP-Networks: A Directed Graphical Representation of Conditional Utilities. Boutilier, C.; Bacchus, F.; and Brafman, R. I. 2001.
In Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI-2001), 56-64.
UCP-Networks: A Directed Graphical Representation of Conditional Utilities UCP-Networks: A Directed Graphical Representation of Conditional Utilities Bibtex
|
GAC on Conjunctions of Constraints. Katsirelos, G., and Bacchus, F. 2001.
In Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming (CP-2001), 610-614.
GAC on Conjunctions of Constraints GAC on Conjunctions of Constraints Bibtex
|
|
|
| 2000 (3) |
|
| 1999 (3) |
|
Evaluating First Order Formulas---the foundation for a general Search Engine. Bacchus, F., and Ady, M. 1999.
Unpublished.
Evaluating First Order Formulas---the foundation for a general Search Engine Bibtex
|
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Bacchus, F.; Halpern, J. Y.; and Levesque, H. J. 1999.
Artif. Intell., 111(1-2):171-208.
Reasoning about Noisy Sensors and Effectors in the Situation Calculus Bibtex
|
Precondition Control. Bacchus, F., and Ady, M. 1999.
Unpublished.
Precondition Control Bibtex
|
|
|
| 1998 (4) |
|
Modeling an Agent's Incomplete Knowledge During Planning and During Execution. Bacchus, F., and Petrick, R. P. A. 1998.
In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR-1998), 432-443.
Modeling an Agent's Incomplete Knowledge During Planning and During Execution Bibtex
|
On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems. Bacchus, F., and Beek, P. van 1998.
In Proceedings of the 15th AAAI Conference on Artificial Intelligence (AAAI-1998), 310-318.
On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems Bibtex
|
Planning for Temporally Extended Goals. Bacchus, F., and Kabanza, F. 1998.
Ann. Math. Artif. Intell., 22(1-2):5-27.
Planning for Temporally Extended Goals Bibtex
|
Making Forward Chaining Relevant. Bacchus, F., and Teh, Y. W. 1998.
In Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems (AIPS-1998), 54-61.
Making Forward Chaining Relevant Bibtex
|
|
|
| 1997 (1) |
|
| 1996 (5) |
|
Utility Independence in a Qualitative Decision Theory. Bacchus, F., and Grove, A. J. 1996.
In Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR-1996), 542-552.
Utility Independence in a Qualitative Decision Theory Bibtex
|
Planning for Temporally Extended Goals. Bacchus, F., and Kabanza, F. 1996.
In Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI-1996), 1215-1222.
Planning for Temporally Extended Goals Bibtex
|
From Statistical Knowledge Bases to Degrees of Belief. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. 1996.
Artif. Intell., 87(1-2):75-143.
From Statistical Knowledge Bases to Degrees of Belief Bibtex
|
Using Temporal Logics for Planning and Control. Bacchus, F. 1996.
In Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning (TIME-1996), 2-3.
Using Temporal Logics for Planning and Control Bibtex
|
Rewarding Behaviors. Bacchus, F.; Boutilier, C.; and Grove, A. J. 1996.
In Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI-1996), 1160-1167.
Rewarding Behaviors Bibtex
|
|
|
| 1995 (4) |
|
On the Forward Checking Algorithm. Bacchus, F., and Grove, A. J. 1995.
In Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP-1995), 292-308.
On the Forward Checking Algorithm Bibtex
|
Dynamic Variable Ordering in CSPs. Bacchus, F., and Run, P. van 1995.
In Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP-1995), 258-275.
Dynamic Variable Ordering in CSPs Bibtex
|
Reasoning about Noisy Sensors in the Situation Calculus. Bacchus, F.; Halpern, J. Y.; and Levesque, H. J. 1995.
In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-1995), 1933-1940.
Reasoning about Noisy Sensors in the Situation Calculus Bibtex
|
Graphical models for preference and utility. Bacchus, F., and Grove, A. J. 1995.
In Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence (UAI-1995), 3-10.
Graphical models for preference and utility Graphical models for preference and utility Bibtex
|
|
|
| 1994 (6) |
|
Downward Refinement and the Efficiency of Hierarchical Problem Solving. Bacchus, F., and Yang, Q. 1994.
Artif. Intell., 71(1):43-100.
Downward Refinement and the Efficiency of Hierarchical Problem Solving Bibtex
|
Using New Data to Refine a Bayesian Network. Lam, W., and Bacchus, F. 1994.
In Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1994), 383-390.
Using New Data to Refine a Bayesian Network Using New Data to Refine a Bayesian Network Bibtex
|
A Response to "Believing on the Basis of the Evidence". Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. 1994.
Computational Intelligence, 10:21-25.
A Response to "Believing on the Basis of the Evidence" Bibtex
|
Learning Bayesian Belief Networks: An Approach Based on the MDL Principle. Lam, W., and Bacchus, F. 1994.
Computational Intelligence, 10:269-294.
Learning Bayesian Belief Networks: An Approach Based on the MDL Principle Bibtex
|
Forming Beliefs about a Changing World. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. 1994.
In Proceedings of the 12th AAAI Conference on Artificial Intelligence (AAAI-1994), 222-229.
Forming Beliefs about a Changing World Bibtex
|
Generating New Beliefs from Old. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. 1994.
In Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1994), 37-45.
Generating New Beliefs from Old Generating New Beliefs from Old Bibtex
|
|
|
| 1993 (4) |
|
Generating Degrees of Belief from Statistical Information: An Overview. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. 1993.
In Proceedings of the 13th Conference n Foundations of Software Technology and Theoretical Computer Science, 318-325.
Generating Degrees of Belief from Statistical Information: An Overview Bibtex
|
Using Causal Information and Local Measures to Learn Bayesian Networks. Lam, W., and Bacchus, F. 1993.
In Proceedings of the 9th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1993), 243-250.
Using Causal Information and Local Measures to Learn Bayesian Networks Using Causal Information and Local Measures to Learn Bayesian Networks Bibtex
|
Using First-Order Probability Logic for the Construction of Bayesian Networks. Bacchus, F. 1993.
In Proceedings of the 9th Annual Conference on Uncertainty in Artificial Intelligence (UAI-1993), 219-226.
Using First-Order Probability Logic for the Construction of Bayesian Networks Using First-Order Probability Logic for the Construction of Bayesian Networks Bibtex
|
Statistical Foundations for Default Reasoning. Bacchus, F.; Grove, A. J.; Halpern, J. Y.; and Koller, D. 1993.
In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-2007), 563-569.
Statistical Foundations for Default Reasoning Bibtex
|
|
|
| 1992 (3) |
|
The Expected Value of Hierarchical Problem-Solving. Bacchus, F., and Yang, Q. 1992.
In Proceedings of the 11th AAAI Conference on Artificial Intelligence (AAAI-1991), 369-374.
The Expected Value of Hierarchical Problem-Solving Bibtex
|
From Statistics to Beliefs. Bacchus, F.; Grove, A. J.; Koller, D.; and Halpern, J. Y. 1992.
In Proceedings of the 11th AAAI Conference on Artificial Intelligence (AAAI-1991), 602-608.
From Statistics to Beliefs Bibtex
|
Learning Bayesian Belief Networks. Lam, W., and Bacchus, F. 1992.
In Proceedings of the Pacific Rim Conference on Atificial Intelligence (PRICAI-92), 1237-1243.
Learning Bayesian Belief Networks Bibtex
|
|
|
| 1991 (3) |
|
The Downward Refinement Property. Bacchus, F., and Yang, Q. 1991.
In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-1991), 286-293.
The Downward Refinement Property Bibtex
|
Default Reasoning From Statistics. Bacchus, F. 1991.
In Proceedings of the 10th AAAI Conference on Artificial Intelligence (AAAI-1991), 392-398.
Default Reasoning From Statistics Bibtex
|
A Non-Reified Temporal Logic. Bacchus, F.; Tenenberg, J. D.; and Koomen, J. A. G. M. 1991.
Artif. Intell., 52(1):87-108.
A Non-Reified Temporal Logic Bibtex
|
|
|
| 1990 (5) |
|
Lp---a logic for representing and reasoning with statistical knowledge. Bacchus, F. 1990.
Computational Intelligence, 6:209-231.
Lp---a logic for representing and reasoning with statistical knowledge Bibtex
|
Representing and Reasoning with Probabilistic Knowledge. Bacchus, F. 1990.
MIT Press.
Representing and Reasoning with Probabilistic Knowledge Bibtex Buy
|
Probability and logic: a reply to Cheeseman. Bacchus, F. 1990.
Computational Intelligence, 6:180-183.
Probability and logic: a reply to Cheeseman Bibtex
|
Against Conditionalization. Bacchus, F.; Jr., H. E. K.; and Thalos, M. 1990.
Synthese, 85:475-506.
Against Conditionalization Bibtex
|
Probabilistic Belief Logics. Bacchus, F. 1990.
In Proceedings of the 9th Eureopean Conference on Artificial Intelligence (ECAI-1990), 59-64.
Probabilistic Belief Logics Bibtex
|
|
|
| 1989 (3) |
|
| 1988 (2) |
|
| Link To This Page. |
