2525 search results - page 59 / 505 » A Framework for Semantic Gossiping |
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
92
Voted
WECWIS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
IFM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
109
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Policies are pervasive in web applications. They play crucial roles in enhancing security, privacy and usability of distributed services. There has been extensive research in the a...
150
Voted
IBERAMIA
2010
Springer
14 years 10 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...