Search results

  1. Social media (x)
  2. review (x)
  3. techreport (x)
  4. Logic (x)
  5. Search results
(1 - 2 of 2)
A Logic For Decidable Reasoning About Actions
Title
A Logic For Decidable Reasoning About Actions
Date
2008
Author(s)
Gu, Yilan (Author), Soutchanski, Mikhail (Author)
Subject(s)
Situation calculus, Logic, Computer science, Reasoning
A Logic of Actions Revisited
Title
A Logic of Actions Revisited
Date
2009
Author(s)
Gu, Yilan (Author), Soutchanski, Mikhail (Author)
Subject(s)
Logic, Reasoning, Computer science