393 search results - page 60 / 79 » Abstract Interpretation of Probabilistic Semantics |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ADMA
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. Social bookmarking has become an important web2.0 application recently, which is concerned with the dual user behavior to search - tagging. Although social bookmarking we...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...