2303 search results - page 247 / 461 » On the logic of argumentation theory |
206
click to vote
CCS
2005
ACM
16 years 4 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
162
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
190
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
136
click to vote
WOLLIC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...