8 search results - page 2 / 2 » Interactions between Time and Knowledge in a First-order Log... |
ISSTA
2004
ACM
14 years 26 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
KR
2010
Springer
14 years 7 days ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...