نتایج جستجو برای: multiformalismmodeling framework mfmf
تعداد نتایج: 462147 فیلتر نتایج به سال:
...................................................................................................................................... i
In this paper, we define a labelling-based justification status of the arguments in an argumentation framework. Our proposal allows for a more fine-grained notion of a justification status than the traditional extensions-based approaches. In particular, we are able to distinguish different levels at which an argument can be accepted or rejected. Our approach is fully compatible with traditional...
We construct a model of ZF in which there is a measurable cardinal but there is no normal ultrafilter over it.
In this paper we consider the notion of deadlines in the context of dense time. We show that obligations and actions are essential elements for the speciication of deadlines. These notions can be relatively easy combined when a discrete temporal framework is used. However, we show that, once a dense time is introduced , several problems appear. In solving these problems we cannot use the same f...
The aim of this paper is to provide a logical framework which enables reasoning about institutions and their dynamics. In our approach an institution is grounded on the acceptances of its members. We devote special emphasis to the role of legislator. We characterize the legislator as the role whose function is the creation and the modification of legal facts (e.g. permissions, obligations, etc....
We prove the following Main Theorem: ZF + AD + V L(R) =>DC. As a corollary we have that Con(ZF + AD) Con(ZF + AD + DC). Combined with the result of Woodin that Con(ZF + AD) Con(ZF + AD + AC') it follows that DC (as well as AC') is independent relative to ZF + AD. It is finally shown (jointly with H. Woodin) that ZF + AD + DCR, where DCR is DC restricted to reals, implies the consistency of ZF +...
s -----------------------------------------------------------------------------------------------------------------51 Poster Session ---------------------------------------------------------------------------------------------------------254 Index of Participants --------------------------------------------------------------------------------------------------266
! " $# % & ' ( % ) * + , . 0/ 1 % 2 $3546 7 384( % 9 : + * ;< >=> ?= , 19 % " A@ B 4 3 C A :DA 2 :3 1 EF G 19 B '3 H3 6 : + JILKM NPO Q R384 #+ ' S " T U#+3 L;V=S19 : 2 '3 T T % W 19 X384Y R ZL '3 1 :3L#+ + Q384Y= : 2 ,=> 2 '3 [4+ :3 E\ . U3S@'] # ^ %E[ _=A LN!O . :3+ .3 (# % & ' ` % # 1 S F + aD, % Y A " ,3 0 % ! S# 21 ; =A !#+3 _;b= 19 2 '3 c384 . F=S S NdO e % EF 2 '# f384 % hgW : 2 iQ R . ^...
In this paper we present an abstract argumentation framework for the support of agreement processes in agent societies. This framework takes into account arguments, attacks between them and the social contex of the agents that put forward arguments. Then, we define the semantics of the framework, providing a mechanism to evaluate arguments in view of other arguments posed in the argumentation p...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید