Fahiem Bacchus

No bio available. Add one in Open Library.

Books by Fahiem Bacchus (50 max)

+ shelf+ list

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Fahiem Bacchus, Toby Walsh

+ shelf+ list

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities

1990

Fahiem Bacchus

+ shelf+ list

Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS-11)

2011

Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert