The following pages link to Jia Tao (Q352964):
Displayed 20 items.
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- Price of privacy (Q504512) (← links)
- Marketing impact on diffusion in social networks (Q504513) (← links)
- Logic of confidence (Q514597) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- An epistemic logic of blameworthiness (Q1989408) (← links)
- Defect modes in non-Bragg resonant structures for guided surface water waves (Q2247556) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) (Q2323444) (← links)
- Information Flow Under Budget Constraints (Q2835882) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- A modal logic for reasoning about economic policies (Q2987057) (← links)
- Knowledge in communication networks (Q3133163) (← links)
- (Q3384085) (← links)
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (Q3617711) (← links)
- Information Flow under Budget Constraints (Q4608721) (← links)
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS (Q5381039) (← links)
- Counterfactual and seeing-to-it responsibilities in strategic games (Q6076365) (← links)
- Blameworthiness in Strategic Games (Q6306738) (← links)
- Blameworthiness in Security Games (Q6327483) (← links)