Fahiem Bacchus
- Artificial Intelligence top 0.2%
- Computer Networks and Communications top 2%
- Computational Theory and Mathematics top 0.5%
- Signal Processing top 2%
- Information Systems top 5%
- Co-authors
- Froduald KabanzaWai LamRonald P. A. PetrickAdam J. GroveJoseph Y. HalpernGerd GigerenzerQiang YangToniann Pitassi
- Topics
- Logic, Reasoning, and Knowledge (37 papers)Constraint Satisfaction and Optimization (31 papers)AI-based Problem Solving and Planning (22 papers)
- Journals
- Journal of the Operational Research SocietyArtificial IntelligenceThe American Journal of Psychology
- Partner nations
- CanadaUnited StatesFinland
In The Last Decade
Fahiem Bacchus
77 papers receiving 2.8k citations
Peers
Comparison fields: 5 of 106
- Artificial Intelligence 2.7k
- Computer Networks and Communications 770
- Computational Theory and Mathematics 714
- Signal Processing 259
- Information Systems 249
Countries citing papers authored by Fahiem Bacchus
This map shows the geographic impact of Fahiem Bacchus's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Fahiem Bacchus with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Fahiem Bacchus more than expected).
Fields of papers citing papers by Fahiem Bacchus
This network shows the impact of papers produced by Fahiem Bacchus. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Fahiem Bacchus. The network helps show where Fahiem Bacchus may publish in the future.
Co-authorship network of co-authors of Fahiem Bacchus
This figure shows the co-authorship network connecting the top 25 collaborators of Fahiem Bacchus. A scholar is included among the top collaborators of Fahiem Bacchus based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Fahiem Bacchus. Fahiem Bacchus is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 29 | |
| 2 | Clause learning can effectively P-simulate general propositional resolution | 20 |
| 3 | Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science) | 2 |
| 4 | Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing | 27 |
| 5 | International Conference on Automated Planning and Scheduling (ICAPS 2004) | 43 |
| 6 | Combining Component Caching and Clause Learning for Effective Model Counting. | 96 |
| 7 | Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning. | 3 |
| 8 | DPLL with Caching: A new algorithm for #SAT and Bayesian Inference | 14 |
| 9 | Generalizing GraphPlan by formulating planning as a CSP | 39 |
| 10 | 35 | |
| 11 | On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems | 41 |
| 12 | Structured solution methods for non-Markovian decision processes | 21 |
| 13 | Planning for temporally extended goals | 56 |
| 14 | Using temporal logic to control search in a forward chaining planner | 71 |
| 15 | Rewarding behaviors | 42 |
| 16 | Reasoning about noisy sensors in the situation calculus | 52 |
| 17 | Statistical foundations for default reasoning | 33 |
| 18 | The downward refinement property | 19 |
| 19 | A modest, but semantically well founded, inheritance reasoner | 20 |
| 20 | A non-reified temporal logic | 7 |
About Fahiem Bacchus
Fahiem Bacchus is a scholar working on Software, Artificial Intelligence and Computer Networks and Communications, having authored 79 papers that have together received 3.2k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (37 papers), Constraint Satisfaction and Optimization (31 papers) and AI-based Problem Solving and Planning (22 papers). The work is most often cited by research in Artificial Intelligence (2.7k citations), Software (244 citations) and Computational Theory and Mathematics (714 citations). Fahiem Bacchus has collaborated with scholars based in Canada, United States and Finland. Frequent co-authors include Froduald Kabanza, Wai Lam, Ronald P. A. Petrick, Adam J. Grove, Joseph Y. Halpern, Gerd Gigerenzer, Qiang Yang, Toniann Pitassi, Hector J. Levesque and Peter van Beek. Their work appears in journals such as Journal of the Operational Research Society, Artificial Intelligence and The American Journal of Psychology.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.