Results 71 to 80 of about 27,099 (296)
Policy Spandrels: How Design Decisions Can Open Up Spaces for Unintended Policy Change
ABSTRACT This article introduces the concept of policy spandrels to make sense of public policies producing second‐order effects that are unintentional from the perspective of policy design and yet are fraught with consequences. By analogy with architectural spandrels—leftover spaces that can be used for unforeseen purposes—policy change can be enabled
Martino Maggetti
wiley +1 more source
Explicit Evidence Systems with Common Knowledge
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge.
Alberucci L. +26 more
core +5 more sources
Seismic Design of Concrete Dams: An Integrated Risk‐Informed Performance‐Based (RIPB) Framework
ABSTRACT This paper advances the integration of risk‐informed principles into the seismic design of dams—a domain long guided by standards‐based, largely deterministic approaches. While performance‐based earthquake engineering is well established for buildings and bridges, its systematic adoption in dam engineering remains limited. We first address two
M. Amin Hariri‐Ardebili, Larry K. Nuss
wiley +1 more source
Deriving Inverse Operators for Modal Logic [PDF]
International audienceSpatial constraint systems are algebraic structures from concurrent constraint programming to specify spatial and epistemic behavior in multi-agent systems.
Guzman, Michell +3 more
core +4 more sources
Abstract This article explores how Afro‐Brazilian communities in Pernambuco respond to state‐led industrial development through culturally rooted practices of resistance and repair. Drawing on archival and ethnographic research in the coastal municipalities of Cabo de Santo Agostinho and Ipojuca, this study traces the effects of Brazil's large‐scale ...
Shelly Annette Biesel
wiley +1 more source
REASONING ABOUT THE GAME „CLUE“ BY USING OTTER
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj
The article deals with the ontology of the possible worlds in possible world semantics. Possible worlds are considered from instrumentalist point of view (according to which we have no need in regulating of the relation of possible world to actual world
Mstislav Kazakov
doaj +1 more source
Offline and online data: on upgrading functional information to knowledge [PDF]
This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data.
Primiero, Giuseppe
core +2 more sources
Abstract This article explores how queerness and religion intersect in a unique enactment of Bathukamma, a flower festival honoring the female divine in Hyderabad, the capital of the South Indian state of Telangana. Drawing on theories of figuration, I analyze how local queer organizations celebrate the festival in a way that engages two distinctive ...
Stefan Binder
wiley +1 more source
Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
We use a novel type of epistemic logic, employing comparative knowledge assertions, to analyze the relative epistemic powers of individuals or groups of agents. Such comparative assertions can express that a group has the potential to (collectively) know
Alexandru Baltag, Sonja Smets
doaj +1 more source

