Volgen
Fahiem Bacchus
Fahiem Bacchus
Professor of Computer Science, University of Toronto
Geverifieerd e-mailadres voor cs.toronto.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Learning Bayesian belief networks: An approach based on the MDL principle
W Lam, F Bacchus
Computational intelligence 10 (3), 269-293, 1994
12171994
Using temporal logics to express search control knowledge for planning
F Bacchus, F Kabanza
Artificial intelligence 116 (1-2), 123-191, 2000
8362000
Representing and reasoning with probabilistic knowledge.
FI Bacchus
6761989
Planning for temporally extended goals
F Bacchus, F Kabanza
Annals of Mathematics and Artificial Intelligence 22, 5-27, 1998
3921998
From statistical knowledge bases to degrees of belief
F Bacchus, AJ Grove, JY Halpern, D Koller
Artificial intelligence 87 (1-2), 75-143, 1996
3751996
Combining Component Caching and Clause Learning for Effective Model Counting.
T Sang, F Bacchus, P Beame, HA Kautz, T Pitassi
SAT 4, 7th, 2004
3292004
Graphical models for preference and utility
F Bacchus, AJ Grove
arXiv preprint arXiv:1302.4928, 2013
3132013
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing.
RPA Petrick, F Bacchus
AIPS 2, 212-22, 2002
3122002
UCP-networks: A directed graphical representation of conditional utilities
C Boutilier, F Bacchus, RI Brafman
arXiv preprint arXiv:1301.2259, 2013
2872013
On the conversion between non-binary and binary constraint satisfaction problems
F Bacchus, P Van Beek
AAAI/IAAI, 310-318, 1998
2521998
Reasoning about noisy sensors and effectors in the situation calculus
F Bacchus, JY Halpern, HJ Levesque
Artificial Intelligence 111 (1-2), 171-208, 1999
2421999
AIPS 2000 planning competition: The fifth international conference on artificial intelligence planning and scheduling systems
F Bacchus
Ai magazine 22 (3), 47-47, 2001
2402001
Solving MAXSAT by solving a sequence of simpler SAT instances
J Davies, F Bacchus
International conference on principles and practice of constraint …, 2011
2272011
Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing.
RPA Petrick, F Bacchus
ICAPS, 2-11, 2004
2242004
Effective preprocessing with hyper-resolution and equality reduction
F Bacchus, J Winter
International conference on theory and applications of satisfiability …, 2003
2042003
Algorithms and complexity results for# SAT and Bayesian inference
F Bacchus, S Dalmao, T Pitassi
44th Annual IEEE Symposium on Foundations of Computer Science, 2003 …, 2003
2012003
Maximum satisfiability using core-guided MaxSAT resolution
N Narodytska, F Bacchus
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
1992014
A heuristic search approach to planning with temporally extended preferences
JA Baier, F Bacchus, SA McIlraith
Artificial Intelligence 173 (5-6), 593-618, 2009
1962009
Downward refinement and the efficiency of hierarchical problem solving
F Bacchus, Q Yang
Artificial Intelligence 71 (1), 43-100, 1994
1901994
Using temporal logic to control search in a forward chaining planner
F Bacchus, F Kabanza
Proceedings of the 3rd European Workshop on Planning, 141-153, 1995
1831995
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20