85 search results - page 9 / 17 » Semantic Issues of OCL: Past, Present, and Future |
DEBU
2008
14 years 9 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...
95
Voted
WWW
2008
ACM
15 years 10 months ago
2008
ACM
The Web is increasingly understood as a global information space consisting not just of linked documents, but also of Linked Data. More than just a vision, the resulting Web of Da...
LOGCOM
2010
14 years 8 months ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
TABLEAUX
2007
Springer
15 years 3 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...