1941 search results - page 297 / 389 » Reasoning about Computations Using Two-Levels of Logic |
128
Voted
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
136
click to vote
JAIR
2008
15 years 3 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
151
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
123
Voted
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...
131
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...