One more AAAI-07 talk

Filed under: News, Meetings — admin at 4:29 pm on Tuesday, July 10, 2007

Date: Thursday, July 12th, 2007
Time: 11-12pm
Room: PT 378

Using More Reasoning To Improve #SAT Solving
Jessica Davies and Fahiem Bacchus

(Read on …)

One more AAAI-07 talk

Filed under: News, Meetings — admin at 10:09 pm on Wednesday, July 4, 2007

Date: Friday, July 6th, 2007
Time: 10-11am
Room: PT 378

A Situation-Calculus Semantics for an Expressive Fragment of PDDL
by Yuxiao Hu

(Read on …)

Two AAAI-07 talks

Filed under: News, Meetings — admin at 10:06 pm on Wednesday, July 4, 2007

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

(Read on …)

Next Page »