593 search results - page 14 / 119 » RDF and Logic: Reasoning and Extension |
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
165
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
LOPSTR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
119
click to vote
CALCO
2005
Springer
15 years 7 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
114
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...