2500 search results - page 106 / 500 » Logical Semantics of Modularisation |
123
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
110
click to vote
ESWS
2006
Springer
15 years 6 months ago
2006
Springer
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
159
click to vote
CADE
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
115
click to vote
ENTCS
2010
15 years 3 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
149
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...