4192 search results - page 571 / 839 » Probabilistic Logic Programming |
142
click to vote
TKDE
2010
14 years 10 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...
112
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
127
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
160
Voted
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
150
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...