2303 search results - page 319 / 461 » On the logic of argumentation theory |
323
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
403
click to vote
FSKD
2011
Springer
14 years 6 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
167
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
160
click to vote
APN
2007
Springer
16 years 20 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
200
click to vote
ATVA
2007
Springer
16 years 20 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...