Dirk Walther [4]Dirk B. Walther [2]
See also
  1.  15
    On Satisfiability in ATL with Strategy Contexts.Nicolas Troquard & Dirk Walther - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 398--410.
  2.  12
    PDL with Negation of Atomic Programs.Carsten Lutz & Dirk Walther - 2005 - Journal of Applied Non-Classical Logics 15 (2):189-213.
    Propositional dynamic logic is one of the most successful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, as long-known, reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still useful, e.g. in the context of (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   2 citations  
  3.  11
    Distinct Roles of Eye Movements During Memory Encoding and Retrieval.Claudia Damiano & Dirk B. Walther - 2019 - Cognition 184:119-129.
    Direct download (2 more)  
    Export citation  
  4.  12
    Local Contour Symmetry Facilitates Scene Categorization.John Wilder, Morteza Rezanejad, Sven Dickinson, Kaleem Siddiqi, Allan Jepson & Dirk B. Walther - 2019 - Cognition 182:307-317.
    Direct download (2 more)  
    Export citation  
  5.  60
    A Logic of Strategic Ability Under Bounded Memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.
    We study the logic of strategic ability of coalitions of agents with bounded memory by introducing Alternating-time Temporal Logic with Bounded Memory (ATLBM), a variant of Alternating-time Temporal Logic (ATL). ATLBM accounts for two main consequences of the assumption that agents have bounded memory. First, an agent can only remember a strategy that specifies actions in a bounded number of different circumstances. While the ATL-formula means that coalition C has a joint strategy which will make φ true forever, the ATLBM-formula (...)
    Direct download (3 more)  
    Export citation  
  6.  8
    Metabolomic Profiles for Primary Progressive Multiple Sclerosis Stratification and Disease Course Monitoring.Daniel Stoessel, Jan-Patrick Stellmann, Anne Willing, Birte Behrens, Sina C. Rosenkranz, Sibylle C. Hodecker, Klarissa H. Stürner, Stefanie Reinhardt, Sabine Fleischer, Christian Deuschle, Walter Maetzler, Daniela Berg, Christoph Heesen, Dirk Walther, Nicolas Schauer, Manuel A. Friese & Ole Pless - 2018 - Frontiers in Human Neuroscience 12.