Search Sciweavers | Sciweavers

22

CCS
2010
ACM

185views Security Privacy» more CCS 2010»

Effective trust management through a hybrid logical and relational approach

14 years 2 months ago

Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...

Adam J. Lee, Ting Yu, Yann Le Gall

claim paper

Read More »

42

click to vote

LPNMR
2011
Springer

242views Automated Reasoning» more LPNMR 2011»

Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI

12 years 10 months ago

Download people.cs.ubc.ca

Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...

David Poole

claim paper

Read More »

23

click to vote

ITP
2010

164views Mathematics» more ITP 2010»

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

13 years 11 months ago

Download www4.in.tum.de

Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based ﬁrst-order relational model ﬁnder. Nitpick supports unbounded quantiﬁcation, (co)ind...

Jasmin Christian Blanchette, Tobias Nipkow

claim paper

Read More »

35

click to vote

ENTCS
2006

146views more ENTCS 2006»

Relating State-Based and Process-Based Concurrency through Linear Logic

13 years 7 months ago

Download www.qatar.cmu.edu

This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...

Iliano Cervesato, Andre Scedrov

claim paper

Read More »

58

click to vote

SIGMOD
2009
ACM

122views Database» more SIGMOD 2009»

Logical foundations of relational data exchange

14 years 8 months ago