Skip to content

Brandeis CS 112

Modal, Temporal, and Spatial Logics

Author: admin

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

Reading: Allen – Maintaining Knowledge About Temporal Intervals

Allen – Maintaining Knowledge About Temporal Intervals

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

Problem Set #4

PS4-2013

Author adminPosted on October 14, 2013Categories Problem Sets

Daniel Gebler CTL Slides

LTL-CTL-Slides

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

Goranko’s LTL slides

Goranko-LTL.1

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

Posts pagination

Previous page Page 1 Page 2 Page 3 Page 4 … Page 6 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