Skip to content

Brandeis CS 112

Modal, Temporal, and Spatial Logics

Month: October 2013

Spatial Knowledge I/2 (thanks to A. Galton)

ag3

Author adminPosted on October 29, 2013Categories Readings and Class Notes

Temporal Logic Slides (thanks to A. Galton)

ag2

Author adminPosted on October 29, 2013Categories Readings and Class Notes

Reading: Vendler – Verbs and Times

Vendler – Verbs and Times

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Reading: Tense, Aspect, and Event Structure

Tense, Aspect, and Event Structure

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Reading: Temporal Reasoning

Temporal Reasoning

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Reading: Temporal Annotation

Temporal Annotation

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Reading: Pustejovsky – The Syntax of Event Structure

Reading: Pustejovsky – The Syntax of Event Structure

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Reading: Kowalski and Sergot – A Logic-Based Calculus of Events

Kowalski and Sergot – A Logic-Based Calculus of Events

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Reading: Bach – The Algebra of Events

Bach – The Algebra of Events

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Reading: Allen – Toward a General Theory of Action and Time

Allen – Toward a General Theory of Action and Time

Author adminPosted on October 22, 2013Categories Readings and Class Notes

Posts navigation

Page 1 Page 2 Next page

Recent Posts

  • Correction on CTL Sample Problem
  • News on Final Exam!
  • Answers for Final Exam Sample Questions (with corrections!! :))
  • Answers coming later Saturday
  • Final Exam Sample Questions Part II

Recent Comments

    Archives

    • December 2013
    • November 2013
    • October 2013
    • September 2013
    • August 2013

    Categories

    • Class News
    • Problem Sets
    • Readings and Class Notes
    • Uncategorized

    Meta

    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    Brandeis CS 112 Proudly powered by WordPress