Search results

  1. Geographic information systems (x)
  2. Image processing -- Digital techniques (x)
  3. Human-computer interaction (x)
  4. Digital Media (x)
  5. Strains and stresses (x)
  6. techreport (x)
  7. Computer science (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