The following pages link to (Q4661971):
Displaying 26 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- No double discount: condition-based simultaneity yields limited gain (Q418187) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Conditional \(p\)-adic probability logic (Q465585) (← links)
- Borderline vs. unknown: comparing three-valued representations of imperfect information (Q465586) (← links)
- Epistemic protocols for dynamic gossip (Q504511) (← links)
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation (Q814504) (← links)
- Value versus damage of information release: a data privacy perspective (Q855820) (← links)
- Single-bit messages are insufficient for data link over duplicating channels (Q963455) (← links)
- Mutual exclusion as a matter of priority (Q1625608) (← links)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
- Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
- Formalizing common belief with no underlying assumption on individual beliefs (Q2173395) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- A simple logic for reasoning about incomplete knowledge (Q2353977) (← links)
- Formalising privacy policies in social networks (Q2360657) (← links)
- On an MCS-based inconsistency measure (Q2374545) (← links)
- A sequent calculus for logic of knowledge and past time: completeness and decidability (Q2471643) (← links)
- Statistical reasoning with set-valued information: ontic vs. epistemic views (Q2509599) (← links)
- Computation in a distributed information market (Q2570129) (← links)
- Rethinking formal models of partially observable multiagent decision making (Q2667825) (← links)
- A datalog-based computational model for coordination-free, data-parallel systems (Q4559834) (← links)
- (Q5015395) (← links)
- Common Knowledge and the Knowledge Account of Assertion (Q5213677) (← links)
- Reasoning about knowledge and conditional probability (Q6064254) (← links)
- Choice structures in games (Q6160139) (← links)
