5378 search results - page 168 / 1076 » Base Logics in Argumentation |
169
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
168
click to vote
CLIMA
2004
15 years 8 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
150
click to vote
SIGECOM
2003
ACM
15 years 12 months ago
2003
ACM
We develop a framework for trading in compound securities: financial instruments that pay off contingent on the outcomes of arbitrary statements in propositional logic. Buying o...
158
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
175
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...