-
2Contactin-Associated protein-like 2 is a large multidomain neuronal adhesion molecule implicated in a number of neurological disorders, including epilepsy, schizophrenia, autism spectrum disorder, intellectual disability, and language delay. We reveal here by electron microscopy that the architecture of CNTNAP2 is composed of a large, medium, and small lobe that flex with respect to each other. Using epitope labeling and fragments, we assign the F58C, L1, and L2 domains to the large lobe, the FB…Read more
-
2Analysis of gene expression patterns in gastric cancer can help to identify a comprehensive panel of gene biomarkers for predicting clinical outcomes and to discover potential new therapeutic targets. Here, a multi-step bioinformatics analytic approach was developed to establish a novel prognostic scoring system for GC. We first identified 276 genes that were robustly differentially expressed between normal and GC tissues, of which, 249 were found to be significantly associated with overall surv…Read more
-
1Selective photothermolysis is the basic principle for laser treatment of vascular malformations such as port wine stain birthmarks. During cutaneous laser surgery, blood inside blood vessels is heated due to selective absorption of laser energy, while the surrounding normal tissue is spared. As a result, the blood and the surrounding tissue experience a local thermodynamic non-equilibrium condition. Traditionally, the PWS laser treatment process was simulated by a discrete-blood-vessel model tha…Read more
-
3Background: PPM1G is a nuclear localized serine/threonine phosphatase implicated to be a regulator of chromatin remodeling, mRNA splicing, and DNA damage. However, its in vivo function is unknown. Results: Here we show that ppm1g expression is highly enriched in the central nervous system during mouse and zebrafish development. ppm1g-/- mice were embryonic lethal with incomplete penetrance after E12.5. Rostral defects, including neural tube and craniofacial defects were observed in ppm1g-/- embr…Read more
-
3© 2015 IEEE. Over 50% of HIV+ individuals exhibit neurocognitive impairment and subcortical atrophy, but the pattern of brain abnormalities associated with HIV is still poorly understood. Using parametric surface-based shape analyses, we mapped the 3D profile of subcortical morphometry in 63 HIV+ participants and 31 uninfected controls. The thalamus, corpus striatum, hippocampus, amygdala, brainstem, callosum and ventricles were segmented from brain MRIs. To investigate subcortical shape, we ana…Read more
-
3Background: Malaria around the China-Myanmar border is a serious health problem in the countries of South-East Asia. An. minimus is a principle malaria vector with a wide geographic distribution in this area. Malaria is endemic along the boundary between Yunnan province in China and the Kachin State of Myanmar where the local Anopheles community and the malaria transmission vectors have never been clarified. Methods. Adult Anopheles specimens were collected using CDC light traps in four villages…Read more
-
Beyond knowing that: a new generation of epistemic logicsIn Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics, Springer. 2018.
-
Deep neural networks are more accurate than humans at detecting sexual orientation from facial imagesJournal of Personality and Social Psychology 114. 2018.
-
39Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logicSynthese 201 (2): 1-27. 2023.This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is …Read more
-
23Inquisitive logic as an epistemic logic of knowing howAnnals of Pure and Applied Logic 173 (10): 103145. 2022.
-
13Model Theoretical Aspects of Weakly Aggregative Modal LogicJournal of Logic, Language and Information 31 (2): 261-286. 2022.Weakly Aggregative Modal Logic ) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. \ has interesting applications on epistemic logic, deontic logic, and the logic of belief. In this paper, we study some basic model theoretical aspects of \. Specifically, we first give a van Benthem–Rosen characterization theorem of \ based on an intuitive notion of bisimulation. Then, in contrast to many well known normal or non-normal modal logics, we sho…Read more
-
17Mereological Bimodal LogicsReview of Symbolic Logic 15 (4): 823-858. 2022.In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting, $\Box \varphi $ reads all the parts (of the current object) are $\varphi $, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the exi…Read more
-
7Hypergraphs, Local Reasoning, and Weakly Aggregative Modal LogicIn Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings, Springer Verlag. pp. 58-72. 2021.This paper connects the following three apparently unrelated topics: an epistemic framework fighting logical omniscience, a class of generalized graphs without the arities of relations, and a family of non-normal modal logics rejecting the aggregative axiom. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemi…Read more
-
9Quantifier-free epistemic term-modal logic with assignment operatorAnnals of Pure and Applied Logic 173 (3): 103071. 2022.
-
13Neighborhood semantics for logic of knowing howSynthese 199 (3-4): 8611-8639. 2021.In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength…Read more
-
8Bisimulations for Knowing How LogicsReview of Symbolic Logic 1-37. forthcoming.As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of the…Read more
-
40A logic of knowing whySynthese 198 (2): 1259-1285. 2021.When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{…Read more
-
9A dynamic epistemic framework for reasoning about conformant probabilistic plansArtificial Intelligence 268 (C): 54-84. 2019.
-
104Weakly Aggregative Modal Logic: Characterization and InterpolationIn Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings, Springer. pp. 153-167. 2019.Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.
-
1Representing Imperfect Information of Procedures with Hyper ModelsIn Mamata Banerjee & S. N. Krishna (eds.), Logic and Its Applications. ICLA 2015. Lecture Notes in Computer Science, vol 8923, Springer. 2015.© Springer-Verlag Berlin Heidelberg 2015. When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5like models of standard epistemic logic. To overcome this drawback, in this paper, we propose a new logical framework based on compact models without epistemic accessibility relations for reasoning about knowledge of procedures. Inspired by the 3-valued abstraction method in model checking, we introduce hyper mod…Read more
-
7Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in NavigationIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 559-580. 1998.
-
90Hidden protocols: Modifying our expectations in an evolving worldArtificial Intelligence 208 (1): 18--40. 2014.When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositio…Read more
-
5Verifying epistemic protocols under common knowledgeProceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09 257--266. 2009.Epistemic protocols are communication protocols aiming at transfer of knowledge in a controlled way. Typically, the preconditions or goals for protocol actions depend on the knowledge of agents, often in nested form. Informal epistemic protocol descriptions for muddy children, coordinated attack, dining cryptographers, Russian cards, secret key exchange are well known. The contribution of this paper is a formal study of a natural requirement on epistemic protocols, that the contents of the proto…Read more
-
More for free: A dynamic epistemic framework for conformant planning over transition systemsJournal of Logic and Computation 27 (8): 2383--2410. 2017.© The Author, 2017. Published by Oxford University Press. All rights reserved. In this article, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We generalize the standard conformant planning problem in AI in two crucial aspects: first, the planning goal can be any formula expressed in an epistemic propositional dynamic logic ; second, procedural constraints of the desired plan specified by regular expressions can be imposed. We the…Read more
-
16A New Framework for Epistemic LogicIn Proceedings of TARK 2017, Eptcs. pp. 515-534. 2017.Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of ∃x◻φ, e.g., knowing how to achieve φ roughly means that there exists a way such that you know that it is a way to ensure that φ. Moreover, the resulting logics are decidable. Inspired by those particular logics, in this work, we propose a very ge…Read more
-
16Beyond Knowing That: A New Generation of Epistemic LogicsIn Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics, Springer. pp. 499-533. 2018.Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka [58]. Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of “knowing that”. However, knowledge is expressed in everyday life by using various other locutions such as “knowing whether”, “knowing what”, “knowing how”…Read more