60 search results - page 3 / 12 » On the Complexity of Hybrid Logics with Binders |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
IGPL
2000
13 years 6 months ago
2000
LOGCOM
2006
13 years 7 months ago
2006
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
JAR
2008
13 years 7 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
IJCAI
2007
13 years 8 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...