Search results

  1. * (x)
  2. Civil Engineering (x)
  3. Aerospace Engineering (x)
  4. working_paper (x)
  5. conference publication (x)
  6. Logic (x)
  7. Search results
(1 - 4 of 4)
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
Concurrent Transaction Logic with Priority and Timing Constraints
Title
Concurrent Transaction Logic with Priority and Timing Constraints
Date
2004
Author(s)
Ge, Jiwen (Author), Santos, Marcus (Thesis advisor), Ryerson University (Degree granting institution)
Subject(s)
Computer programming, Logic
Program
Electrical and Computer Engineering
Mereotopology for product modeling
Title
Mereotopology for product modeling
Date
2002
Author(s)
Salustri, Filippo A. (Author)
Subject(s)
Mereotopology, Logic, Design, Engineering
DOI
10.1504/JDR.2002.009816