Fahiem Bacchus

Probabilistic & Bayesian Methods · 1988–2014

A researcher in the Science corpus: 9 papers; trusts 11 researchers and is trusted by 33 researchers here, as inferred from the citation graph.

Subfields

• Probabilistic & Bayesian Methods — 11 citations into it
• Artificial Intelligence — 10 citations into it; #5,640 of 35,345 by trust here, #16,471 by citations
• Computational Theory and Mathematics — 7 citations into it; #2,642 of 12,182 by trust here, #7,501 by citations
• Knowledge Graphs & Representation — 6 citations into it

Whom Fahiem Bacchus trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Joseph Y. Halpern
2. C. Green
3. Raymond Reiter
4. Ronald Fagin
5. Zhaohui Fu
6. Naresh C. Gupta
7. John McCarthy
8. Donald Ervin Knuth
9. Judea Pearl
10. Niklas Eén

Who trusts Fahiem Bacchus overall

1. Vaishak Belle
2. Hector J. Levesque
3. Gerhard Lakemeyer
4. Scott Sanner
5. Ido Dagan
6. Alan Fern
7. Craig Boutilier
8. Oren Glickman
9. Maria Fox
10. J. Berg

Papers from Fahiem Bacchus's perspective

Ordered by how strongly the researchers Fahiem Bacchus trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
2. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
3. Maximum likelihood from incomplete data via the EM - algorithm plus discussions on the paper
4. Reasoning about knowledge
5. Representing and reasoning with probabilistic knowledge
6. The First Law of Robotics (A Call to Arms)
7. On the Complexity of Blocks-World Planning
8. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
9. Factor graphs and the sum-product algorithm
10. On Solving the Partial MAX-SAT Problem (International Conference on Theory and Applications of Satisfiability Testing)

Their papers

• Solving MAXSAT by Solving a Sequence of Simpler SAT Instances (2011) — 186 citations
• Maximum Satisfiability Using Core-Guided MaxSAT Resolution (2014) — 167 citations
• Using Expectation Maximization to Find Likely Assignments for Solving CSP's (2007) — 17 citations
• Using temporal logics to express search control knowledge for planning (2000) — 696 citations
• Reasoning about Noisy Sensors in the Situation Calculus (1995)
• Reasoning about Noisy Sensors and Effectors in the Situation Calculus (1995)
• Using Causal Information and Local Measures to Learn Bayesian Networks (1993)
• Representing and reasoning with probabilistic knowledge (1988)
• Reasoning about Noisy Sensors and Eectors in the Situation Calculus