1746 search results - page 58 / 350 » A Constructive Semantics for ALC |
145
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
142
click to vote
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
170
click to vote
ACL
2009
15 years 1 months ago
2009
A semantic class is a collection of items (words or phrases) which have semantically peer or sibling relationship. This paper studies the employment of topic models to automatical...
122
click to vote
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
135
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
KiWi is a semantic Wiki that combines the Wiki philosophy of collaborative content creation with the methods of the Semantic Web in order to enable effective knowledge management...