This preview shows page 1. Sign up to view the full content.
Unformatted text preview: athletic(var_A2). isHabitualAction(rd2). typeof(rd2,dance). agentof(rd2,juan).-athletic(juan)....
View Full Document
This note was uploaded on 10/22/2011 for the course CS CS 2710 taught by Professor Wiebe during the Fall '11 term at Pittsburgh.
- Fall '11
- Artificial Intelligence