One more AAAI-07 talk
Date: Thursday, July 12th, 2007
Time: 11-12pm
Room: PT 378
Using More Reasoning To Improve #SAT Solving
Jessica Davies and Fahiem Bacchus
Date: Thursday, July 12th, 2007
Time: 11-12pm
Room: PT 378
Using More Reasoning To Improve #SAT Solving
Jessica Davies and Fahiem Bacchus
Date: Friday, July 6th, 2007
Time: 10-11am
Room: PT 378
A Situation-Calculus Semantics for an Expressive Fragment of PDDL
by Yuxiao Hu
Date: Thursday, July 5th
Time: 11-12pm
Room: PT266
Using Expectation Maximization to Find Likely Assignments for Constraint Satisfaction Problems
by Eric Hsu, Matthew Kitching, Fahiem Bacchus, Sheila McIlraith
(Speaker: Eric Hsu)
A Logical Theory of Coordination and Joint Ability
by Hojjat Ghaderi