374 search results - page 3 / 75 » Modular Semantics and Logics of Classes |
LOPSTR
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
ENTCS
1998
13 years 5 months ago
1998
DLOG
2009
13 years 3 months ago
2009
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...