460 search results - page 28 / 92 » On Role Logic |
133
Voted
RWEB
2009
Springer
15 years 10 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
123
Voted
IIE
2008
15 years 3 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
127
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
137
Voted
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
145
Voted
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
The combination of continued technology scaling and increased on-chip transistor densities has made vulnerability to radiation induced soft errors a significant design concern. In...