Results for 'Steen Vester'

10 found
Order:
  1. Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
    We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. God et al—World-Making as Collaborative Improvisation: New Metaphors for Open Theists.Mark Steen - 2021 - In Jeffrey Koperski & Kelly James Clark (eds.), Abrahamic Reflections on Randomness and Providence. Cham, Switzerland: pp. 311-338.
    The Abrahamic traditions regard God as the world’s author. But what kind of author? A novelist? A playwright? Perhaps a composer of classical music? I will argue that it is best to regard God as like an improvisational play director or the leader of a jazz ensemble. Each determines the broad melodic contours or coarse-grained plot beforehand, while allowing their musicians or actors, and chance, to fill in the more fine-grained details. This analogy allows us to regard God as the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Toward a systemic ethic: In search of the ethical basis for sustainability and precaution.Hugo Fjelsted Alrøe & Erik Steen Kristensen - 2003 - Environmental Ethics 25 (1):59-78.
    There are many different meanings of sustainability and precaution and no evident connection between the new normative concepts and the traditional moral theories. We seek an ethical basis for sustainability and precaution—a common framework that can serve as a means of resolving the conceptual ambiguities of the new normative concepts and the conflicts between new and traditional moral concepts and theories. We employ a systemic approach to analyze the past and possible future extension of ethics and establish an inclusive framework (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  4. “The Problem of Evil: Ethical Considerations”.J. W. Steen - 1965 - Canadian Journal of Theology (No. 4):255-264.
    The problem of evil is set out as a dialectic between theist and critic, the aim being to reveal the place of ethical judgments in the theist's apology. I discover what ethical judgments, both normative and descriptive, are implicit in the theist's use of his premises as good reasons, and where his reasoning goes astray. I suggest what ethical judgments, in contrast to the theist's, are supported by good reasons.
    Download  
     
    Export citation  
     
    Bookmark  
  5. The fragility of human-centred design.Marc Steen - 2008 - Dissertation, Delft University of Technology
    In human-centred design (HCD), researchers and designers develop products in cooperation with the potential users of these products. They attempt to give users a voice or a role in their projects, with the intention of developing products that match users’ needs and preferences. This approach is especially interesting in the information and communication technology (ICT) industry, in which many innovations are driven by development of technologies. The author works in HCD projects in the ICT industry and studied one particular project (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The issue of generality in ethics.Bert Musschenga & Wim J. Van der Steen - 1992 - Journal of Value Inquiry 26 (4):511-524.
    Does ethics have adequate general theories? Our analysis shows that this question does not have a straightforward answer since the key terms are ambiguous. So we should not concentrate on the answer but on the question itself. “Ethics” stands for many things, but we let that pass. “Adequate” may refer to varied arrays of methodological principles which are seldom fully articulated in ethics. “General” is a notion with at least three meanings. Different kinds of generality may be at cross-purposes, so (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Michel Foucault als psycholoog: Verdringing en terugkeer van de dimensie van het zelf.Hub Zwart - 2009 - Wijsgerig Perspectief 49 (2):8-15.
    In de jaren vijftig raakte Michel Foucault gefascineerd door de fenomenologische psychologie. Vanaf de jaren zestig echter presenteert hij zichzelf als een ‘structuralist’ die slechts anonieme talige en architectonische structuren wil analyseren en die met nadruk wil afzien van elke interesse in de mens als individu of als subject. De psycholoog in hemzelf wordt als het ware hartstochtelijk verdrongen. Toch is er ook in het geval van Foucault sprake van een onvermijdelijke terugkeer van het verdrongene. Een belangrijk symptoom hiervan vormt (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. RIGHT TO SILENCE: UK, U.S, FRANCE and GERMANY.Sally Serena Ramage - 2008 - Revue D’Histoire Ecclésiastique 1 (2):2-30.
    RIGHT TO SILENCE-UK, U.S, FRANCE, and GERMANY SALLY RAMAGE (TRADE MARK REGISTERED) WIPO Orchid ID 0000-0002-8854-4293 Pages 2-30 Current Criminal Law, Volume 1, Issue 2, ABSTRACT The privilege of the right to silence can be traced back to the 12th century, becoming more developed in later centuries. -/- Table of cases European Court of Human Rights Deweer v Belgium [1980], Eckle v Germany [1982], DN v The Netherlands [1975], Funke v France [1993] 16 EHRR 297, JP v Austria [1989], Kansal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Right to Silence-UK, U.S, France, Germany.Sally Serena Ramage - 2008 - Current Criminal Law 1 (2):2-30.
    RIGHT TO SILENCE-UK, U.S, FRANCE, and GERMANY SALLY RAMAGE (TRADE MARK REGISTERED) WIPO Orchid ID 0000-0002-8854-4293 Pages 2-30 Current Criminal Law, Volume 1, Issue 2, -/- Sally Ramage, BA (Hons), MBA, LLM, MPhil, MCIJ, MCMI, DA., ASLS, BAWP. Orchid ID 0000-0002-8854-4293 Publisher & Managing Editor Criminal Lawyer series [1980-2022](ISSN 2049-8047) Current Criminal Law series [2008-2022] (ISSN 1758-8405) and Criminal Law News series [2008-2022] (ISSN 1758-8421). Sweet & Maxwell (Thomson Reuters) (Licensed Annotator of UK Statutes) in annual law books Current Law (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Louvre Museum - Paintings.Nicolae Sfetcu - 1901 - Drobeta Turnu Severin: MultiMedia Publishing.
    The Louvre Museum is the largest of the world's art museums by its exhibition surface. These represent the Western art of the Middle Ages in 1848, those of the ancient civilizations that preceded and influenced it (Oriental, Egyptian, Greek, Etruscan and Roman), and the arts of early Christians and Islam. At the origin of the Louvre existed a castle, built by King Philip Augustus in 1190, and occupying the southwest quarter of the current Cour Carrée. In 1594, Henri IV decided (...)
    Download  
     
    Export citation  
     
    Bookmark