Logics for AI

• Course info
• Home assignments:
  1. Action theories: The Gallivare Elk Hunting Scenario 1998
  2. Circumscription: Elephants and penguins Will be revised
  3. Logics of A&C: The monkey and banana problem Will be revised
  4. PMON: The monkey's escape Will be revised
• Instructions for the PMON software.
  Now with instructions for how to run it as an application (that is without Netscape)!