Search results

  1. Civil Engineering (x)
  2. Aerospace Engineering (x)
  3. Social Work (x)
  4. working_paper (x)
  5. Broadband communication systems (x)
  6. Computer science (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