MainComputersArtificial IntelligencePeople › Bacchus, Fahiem

Bacchus, Fahiem

Edit Page
Report
Scan day: 02 February 2014 UTC
29
Virus safety - good
Description: University of Toronto. Planning systems, temporal logic, constraint satisfaction problems and formal models.
Professor of Computer Science, University of Toronto My research interests revolve around various reasoning and representation problems in Artificial Intelligence. My main foci these days include CSPs (constraint satisfaction problems), planning, SAT (satisfiability), Bayesian Inference, and Constraint Optimization Problems. I am interested in developing algorithms for these problems that can achieve better performance by taking advantage of domain specific knowledge or structure. This can sometimes entail developing formalisms for representing such knowledge.
Size: 566 chars

Contact Information

Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Fahiem Bacchus
Keywords:AI, SAT, CSPs, Planning, Search, Probabilistic Inference, Optimization
Description:Fahiem Bacchus, University of Toronto
IP-address:128.100.3.30

WHOIS Info

NS
Name Servers: NS1.TORONTO.EDU 128.100.100.129 NS2.TORONTO.EDU 128.100.72.168
WHOIS
Date
activated: 08-May-1986
last updated: 12-Dec-2012
expires: 31-Jul-2014