Filters








736 Hits in 3.1 sec

Relentful strategic reasoning in alternating-time temporal logic

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2014 Journal of Logic and Computation  
Within this family, alternating temporal logic, ATL*, has been introduced as a useful generalization of classical linear-and branching-time temporal logics by allowing temporal operators to be indexed  ...  Classically, temporal logics are memoryless: once a path in the computation tree is quantified at a given node, the computation that has led to that node is forgotten.  ...  Memoryful Alternating-Time Temporal Logic In this section, we introduce the memoryful alternating-time temporal logic (mATL*, for short), obtained by allowing the alternating-time temporal logic ATL* [  ... 
doi:10.1093/logcom/exu052 fatcat:tluvjz4tkbdalohphzk3whnyim

Relentful Strategic Reasoning in Alternating-Time Temporal Logic [chapter]

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
2010 Lecture Notes in Computer Science  
Within this family, alternating temporal logic, ATL*, has been introduced as a useful generalization of classical linear-and branching-time temporal logics by allowing temporal operators to be indexed  ...  Classically, temporal logics are memoryless: once a path in the computation tree is quantified at a given node, the computation that has led to that node is forgotten.  ...  Memoryful Alternating-Time Temporal Logic In this section, we introduce the memoryful alternating-time temporal logic (mATL*, for short), obtained by allowing the alternating-time temporal logic ATL* [  ... 
doi:10.1007/978-3-642-17511-4_21 fatcat:2mhicxqsozh2nbphtu2ubw3xai

Using Locales to Define a Rely-Guarantee Temporal Logic [chapter]

William Mansky, Elsa L. Gunter
2012 Lecture Notes in Computer Science  
We can then state and formally verify various aspects of RGTL, including its reasoning principles and its expressiveness relative to Alternating-time Temporal Logic (ATL), independently of the type of  ...  In this paper, we present an agent-based logic called Rely-Guarantee Temporal Logic (RGTL), developed using the Isabelle theorem prover.  ...  Introduction Alternating-time temporal logic (ATL) [?] is an extension of temporal logic to a system with multiple players, agents whose choices influence the evolution of a system.  ... 
doi:10.1007/978-3-642-32347-8_20 fatcat:alwgoapmdjdl7gqh4vvhgq2p6i

Beyond the "silo view" of strategic management and corporate governance: evidence from Fiat, Telecom Italia and Unicredit

Arturo Capasso, Giovanni Battista Dagnino
2012 Journal of Management and Governance  
In this paper, we argue that, transcending the "silo view" of corporate governance and strategic management, time has come to acknowledge that, depending on circumstances and time periods, within a firm  ...  While corporate governance and strategic management have for a long time suffered from artificial separation and, therefore, generally been tackled in a secluded manner, their combined organizational impact  ...  Acknowledgments We thank the anonymous reviewers and Olimpia Meglio for mindful suggestions that have contributed to improve the quality of the study, as well as JMG editor-in-chief Roberto Di Pietra for  ... 
doi:10.1007/s10997-012-9247-0 fatcat:hxcfmjezafd5no24uwfssp3ymy

More Revisions in Realism

Giulio M Gallarotti
2008 International Studies  
The precise Hobbesian logic evident in this tale, in fact, reflects both strong neoliberal and constructivist elements in what many would consider a least-likely place: in Hobbes" vision of anarchy.  ...  greater clarity about Hobbes" logic regarding the state of nature.  ...  point in time.  ... 
doi:10.1177/002088170904500301 fatcat:j4gr7srhkncfpizgobbdk26es4

"Night fell on a different world": experiencing, constructing and remembering 9/11

Jack Holland, Lee Jarvis
2014 Critical Studies on Terrorism  
It argues this has persisted despite the existence of plausible competitor narratives for two reasons.  ...  In making these arguments this article seeks to extend relevant contemporary research in three ways.  ...  Alternative writings of the attacksÕ temporal position surfaced from a number of sites in the aftermath of 11 September 2011, and, indeed in the years that have since passed. 8 Amongst the most interesting  ... 
doi:10.1080/17539153.2014.886396 fatcat:stxgrtljbrhydjibphb5s3in64

Neither Conventional War, nor a Cyber War, but a Long-Lasting and Silent Hybrid War

Nikola Schmidt
2014 Obrana a Strategie  
Cyberwar can be viewed as the most recent phase in the ongoing revolution in military affairs. 3 This time, however, the threat is said to be directed at the sophisticated technological civilizations of  ...  actors." 4 Following this logic, the United States appears destined to be "the Erik Gartzke  ...  The U.S. embargo led Japanese ofªcials to consider stark alternatives. Either Japan must relent and withdraw its forces from East Asia, or it would have to capture oil-rich regions in the south.  ... 
doi:10.3849/1802-7199.14.2014.02.073-086 fatcat:ev7ekaa365dajf2qubgkibdqxu

The Myth of Cyberwar: Bringing War in Cyberspace Back Down to Earth

Erik Gartzke
2013 International Security  
Cyberwar can be viewed as the most recent phase in the ongoing revolution in military affairs. 3 This time, however, the threat is said to be directed at the sophisticated technological civilizations of  ...  actors." 4 Following this logic, the United States appears destined to be "the Erik Gartzke  ...  The U.S. embargo led Japanese ofªcials to consider stark alternatives. Either Japan must relent and withdraw its forces from East Asia, or it would have to capture oil-rich regions in the south.  ... 
doi:10.1162/isec_a_00136 fatcat:24jkjpuoxje5naizfrxa5f63va

The Strategic Cognition View of Issue Salience and the Evolution of a Political Issue: Landis & Gyr, the Hungarian Uprising and East-West Trade, 1953–1967 [chapter]

Christian Stutz
2017 Issues in Business Ethics  
which issues evolve and play out over time.  ...  The recently introduced strategic cognition view of issue salience and firm responsiveness (hereinafter: issue salience model) seeks to tackle this core question of stakeholder theory.  ...  On April 25 th , 1957, he repeats that "individual engineers who are still with us from pre-communist times have contacted us and requested the reasons for which they are left in the lurch".  ... 
doi:10.1007/978-3-319-62785-4_7 fatcat:qn5yf4und5cdtdpk4sbzumjtva

Strategic management and economics

Richard P. Rumelt, Dan Schendel, David J. Teece
1991 Strategic Management Journal  
content in the JSTOR archive only for your personal, non-commercial use.  ...  JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use  ...  reasoning oni strategic management issues.  ... 
doi:10.1002/smj.4250121003 fatcat:bn4gdgmwj5bu7fvxrn5nzfgw7i

Modeling the Size of Wars: From Billiard Balls to Sandpiles

LARS-ERIK CEDERMAN
2003 American Political Science Review  
In other words, doubling the severity of wars leads to a decrease in frequency by a constant factor regardless of the size in question.  ...  Yet, this is a regularity in search for a theory.  ...  The main logic pertains to how geopolitical instability changes the strategic calculations by altering the contextual conditions: "An ongoing war, no matter what its initial cause, is likely to change  ... 
doi:10.1017/s0003055403000571 fatcat:ls7p4babxnfmhhkmfoo4hercie

Securing the heights: The vertical dimension of the Siachen conflict between India and Pakistan in the Eastern Karakoram

Ravi Baghel, Marcus Nüsser
2015 Political Geography  
The inaccessibility imposed by the terrain also implies that far from being a frozen conflict there is a temporal dynamism, as improvements in technology and logistics alter the possibility of maintaining  ...  Further, the vertical dimension is the focus of contestation and the site where mountaineering practices, cartographic imagination and military logic intersect.  ...  strategic and tactical continuity with Siachen.  ... 
doi:10.1016/j.polgeo.2015.05.001 fatcat:iuua54illfet5k7iduhtuitqsy

The Islamic Paradigm of Nations: Toward a Neo-Classical Approach

Amr Sabet
2001 Peace and Conflict Studies  
To the extent that it did exist, it was marked by "intellectual and moral poverty" caused both by the prejudice imposed by the sovereign state and the belief in progress (Wight 1995: 15-16 &19).  ...  Unlike political theory, which has been progressivist in its concern with pursuing interests of state as "theory of the good life", international politics as the "theory of survival" constituted the "realm  ...  It is the rational and reasoned tackling of primarily political and strategic questions of this kind that will determine answers in the light of which categorical provisions of the Shari'ah and determination  ... 
doi:10.46743/1082-7307/2001.1017 fatcat:u63prbmunffkbnwlw6r5xqmsza

The Islamic Paradigm of Nations: Toward a Neoclassical Approach

Amr G. E. Sabet
2003 Religion, State and Society  
Dar al-sulh, or the abode of peaceful arrangements, connotes temporality and contingency determined by less enduring more tense relations (semi-imperialists).  ...  and logically (Derrida, 1976, p. lxxvii) .  ...  It is the rational and reasoned tackling of primarily political and strategic questions of this kind that will detennine answers in the light of which categorical provisions of the shariah and determination  ... 
doi:10.1080/09637490308284 fatcat:klnhmmv3mbclxb7wfrq2kpavgi

Control as a strategy for the development of generativity in business models for mobile platforms

S.M. Elaluf-Calderwood, B.D. Eaton, C. Sorensen, Y. Yoo
2011 2011 15th International Conference on Intelligence in Next Generation Networks  
Although generativity is at the core of Apple's expansion model, the company has to keep a tight control on the innovation platforms in order to protect their revenue sources, whilst at the same time ensuring  ...  The objective of this paper is to put forward a discussion of how a better understanding of the issues surrounding control can be an important element in the development of generativity strategies in business  ...  admitting and blocking in cycles over time (temporal separation).  ... 
doi:10.1109/icin.2011.6081088 dblp:conf/icin/Elaluf-Calderwood11 fatcat:pogst4nesfeldbe5yvkuqe3fue
« Previous Showing results 1 — 15 out of 736 results