348 search results - page 22 / 70 » Justification logics and hybrid logics |
IGPL
2000
14 years 11 months ago
2000
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
87
Voted
JAR
2011
14 years 6 months ago
2011
CORR
2007
Springer
14 years 11 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...
CIE
2008
Springer
15 years 1 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G