2766 search results - page 16 / 554 » Hybridizing a Logical Framework |
JACM
2010
13 years 8 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
LOGCOM
2006
13 years 9 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
JOC
2008
13 years 9 months ago
2008
This paper presents a novel framework for the generic construction of hybrid encryption schemes which produces more efficient schemes than the ones known before. A previous framew...
FSKD
2005
Springer
14 years 3 months ago
2005
Springer
SLOGICA
1998
13 years 9 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...