نتایج جستجو برای: littlejohns framework

تعداد نتایج: 462154  

2013
Hisao Ishibuchi Naoya Akedo Yusuke Nojima

We explain MOEA/D and its slightly modified version with two neighborhood structures. We report some interesting observations on the behavior of MOEA/D with various settings of neighborhood size.

2008
Ana Casali Lluis Godo Carles Sierra

In intentional agents, actions are derived from the mental attitudes and their relationships. In particular, preferences (positive desires) and restrictions (negative desires) are important proactive attitudes which guide agents to intentions and eventually to actions. In this paper, we present a general logical framework to represent and reasoning about gradual notions of desires and intention...

2010
Oscar Vega O. Vega

We construct and study a class of translation planes with kernel K ∼= GF (q), order q, and n > 2. These planes generalize the j-planes discovered by Johnson, Pomareda and Wilke in [14]. We show these planes are actually jj · · · j-planes. Hence, most of the results obtained in this article are on jj · · · j-planes. In fact, our study shows that these planes are either nearfield or new. An infin...

2007
Robert Kukla

...................................................................................................................................... i

2010
Yining Wu Martin Caminada

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...

Journal: :Arch. Math. Log. 2012
Eilon Bilinsky Moti Gitik

We construct a model of ZF in which there is a measurable cardinal but there is no normal ultrafilter over it.

1998
F. Dignum R. Kuiper

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...

2008
Emiliano Lorini Dominique Longin

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....

Journal: :J. Symb. Log. 1984
Alexander S. Kechris

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 +...

2003
Karen J. Bandeen-Roche Mary Beth Landrum Alan Cantor Cynthia Wilson Scarlett Bellamy Dionne Price Dianne Finkelstein Kyung Mann Kim Xihong Lin Walter Piegorsch Carol Redmond Naisyin Wang Dan Zelterman Dale Zimmerman Timothy G. Gregoire

s -----------------------------------------------------------------------------------------------------------------51 Poster Session ---------------------------------------------------------------------------------------------------------254 Index of Participants --------------------------------------------------------------------------------------------------266

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید