348 search results - page 22 / 70 » Justification logics and hybrid logics |
IGPL
2000
13 years 7 months ago
2000
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
JAR
2011
13 years 2 months ago
2011
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...
CIE
2008
Springer
13 years 9 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