Search results

  1. * (x)
  2. Social Work (x)
  3. working_paper (x)
  4. techreport (x)
  5. Computer science (x)
  6. Reasoning (x)
  7. Logic (x)
  8. 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