483 search results - page 48 / 97 » Intuitionistic hybrid logic |
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
—The problem of designing high capacity and high bit rate IP-over-WDM networks, which can provide uninterrupted service in the presence of network equipment failures, continues t...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
TABLEAUX
2007
Springer
14 years 1 months ago
2007
Springer
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
CSL
2005
Springer
14 years 1 months ago
2005
Springer