121 found
Order:
Disambiguations
Yanjing Wang [33]Yan Wang [24]Yang Wang [19]Yang-Ming Wang [9]
Yanguang Wang [8]Yangming Wang [6]Yanhui Wang [3]Yanfeng Wang [2]

Not all matches are shown. Search with initial or firstname to single out others.

See also
  1.  76
    On Axiomatizations of Public Announcement Logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).
    In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a “core set” of the so-called “reduction axioms”. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that the proof system based on this core set of axioms does not completely axiomatize PAL without additional axioms and rules. In fact, many of the intuitive axioms and rules we took for granted could not be derived from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  2.  64
    Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
    A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  3.  11
    Beyond Knowing That: A New Generation of Epistemic Logics.Yanjing Wang - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Springer. pp. 499-533.
    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” and so on (knowing-wh hereafter). Such knowledge expressions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  33
    A Logic of Knowing Why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.
    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}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Epistemic Modelling and Protocol Dynamics.Yanjing Wang - 2010 - Dissertation, University of Amsterdam
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  6.  16
    Humble Leadership, Psychological Safety, Knowledge Sharing, and Follower Creativity: A Cross-Level Investigation.Yanfei Wang, Jieqiong Liu & Yu Zhu - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  59
    A Logic of Goal-Directed Knowing How.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.
    In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  11
    Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-37.
    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 these (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Reasoning About Agent Types and the Hardest Logic Puzzle Ever.Fenrong Liu & Yanjing Wang - 2013 - Minds and Machines 23 (1):123-161.
    In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed by Boolos (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  70
    True Lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.
    A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula that becomes true when announced. We investigate true lies and other types of interaction between announced formulas, their preconditions and their postconditions, in the setting of Gerbrandy’s logic of believed announcements, wherein agents may have or obtain incorrect beliefs. Our results are on the satisfiability and validity of instantiations of these semantically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. CIDO, a Community-Based Ontology for Coronavirus Disease Knowledge and Data Integration, Sharing, and Analysis.Oliver He, John Beverley, Gilbert S. Omenn, Barry Smith, Brian Athey, Luonan Chen, Xiaolin Yang, Junguk Hur, Hsin-hui Huang, Anthony Huffman, Yingtong Liu, Yang Wang, Edison Ong & Hong Yu - 2020 - Scientific Data 181 (7):5.
    Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  6
    Instructions for Practical Living, and Other Neo-Confucian Writing.Yangming Wang - 1963 - New York: Columbia University Press.
  13.  6
    The Consequences of Employees’ Perceived Corporate Social Responsibility: A Meta‐Analysis.Yanling Wang, Shan Xu & Yanxia Wang - 2020 - Business Ethics: A European Review 29 (3):471-496.
    Business Ethics: A European Review, EarlyView.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  7
    Almost Mecessary.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 178-196.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  15.  19
    Planning-Based Knowing How: A Unified Approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296:103487.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. On the Logic of Lying.Hans van Ditmarsch, Jan van Eijck & Yanjing Wang - unknown
    We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects (...)
     
    Export citation  
     
    Bookmark   9 citations  
  17.  13
    Neighborhood Semantics for Logic of Knowing How.Yanjun Li & Yanjing Wang - 2021 - Synthese 199 (3-4):8611-8639.
    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{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We show that this new semantics (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  10
    Conditionally Knowing What.Yanjing Wang & Jie Fan - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 569-587.
  19. Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. pp. 153-167.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
    This paper shows how propositional dynamic logic can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief change as (...)
     
    Export citation  
     
    Bookmark   6 citations  
  21.  20
    "Knowing Value" Logic as a Normal Modal Logic.Tao Gu & Yanjing Wang - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 362-381.
  22.  24
    Depletion, Moral Identity, and Unethical Behavior: Why People Behave Unethically After Self-Control Exertion.Yan Wang, Guosen Wang, Qiuju Chen & Lin Li - 2017 - Consciousness and Cognition 56:188-198.
  23.  29
    Aesthetic Cognitive Module Theory: A Core Structure.Zhihong Li, Yanhui Wang & Fanjun Meng - 2018 - Journal of Aesthetic Education 52 (2):71.
    The purpose of aesthetic research is to uncover the internal method in human aesthetic behaviors and to answer the following questions: Where do beautiful things come from? Why are things beautiful? What is the reason that some things are beautiful while others are not? How can people derive aesthetic pleasure? Until those fundamental problems are solved, further questions cannot be answered, such as “Why do some people like certain things, while other people like other things?” and “How does human aesthetic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  39
    Knowing Your Ability.Tszyuen Lau & Yanjing Wang - 2016 - Philosophical Forum 47 (3-4):415-423.
    In this article, we present an attempt to reconcile intellectualism and the anti-intellectualist ability account of knowledge-how by reducing “S knows how to F” to, roughly speaking, “S knows that she has the ability to F demonstrated by a concrete way w.” More precisely, “S has a certain ability” is further formalized as the proposition that S can guarantee a certain goal by a concrete way w of some method under some precondition. Having the knowledge of our own ability, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  9
    Are Recycling People Also Saving? Costliness Matters.Sheng Wei, Jiaqi Xu, Shengxiang She, Yan Wang & Ying Zhang - 2021 - Frontiers in Psychology 11.
    In view of the fact that vigorously promoting recycling has become a viable means to promote sustainable development, it is important to better understand the impact of recycling efforts on subsequent resource saving behavior. This research empirically examines the effects of recycling efforts on subsequent resource saving by analyzing the survey data of 356 college students in China. The recycling efforts, environmental self-identity and feeling of pride were measured using existing scales while saving behaviors and recycling cost were measured by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  8
    Effect of Homebuyer Comment on Green Housing Purchase Intention—Mediation Role of Psychological Distance.Qun Feng, Yan Wang, Chuanhao Chen, Zhengnan Dong & Xuejun Shi - 2021 - Frontiers in Psychology 12.
    Green housing is a new type of building that advocates energy saving and environmental protection. How to stimulate buyers to buy green housing under the background of high cost is the key problem to guide green consumption. First of all, based on the existing literature, the comment of homebuyers was divided into comment quantity, comment quality, comment titer and evaluator credibility. The psychological distance mediation variable was introduced, and three dimensions of time distance, social distance, and space distance were selected (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  70
    To Know or Not to Know: Epistemic Approaches to Security Protocol Verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.
    Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorpórate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with comparisons on technical subtleties that have been employed in different approaches. Also, we study to which degree the use of epistemics is essential for the analysis of security (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  16
    System Reliability Assessment Based on Failure Propagation Processes.Shuai Lin, Yanhui Wang & Limin Jia - 2018 - Complexity 2018:1-19.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Hidden Protocols: Modifying Our Expectations in an Evolving World.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
    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 propositional dynamic logic-style epistemic logic for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  7
    Hyperchaotic Oscillation in the Deformed Rikitake Two-Disc Dynamo System Induced by Memory Effect.Yanling Wang, Tengfei Lei, Xin Zhang, Chunbiao Li & Sajad Jafari - 2020 - Complexity 2020:1-10.
    The fundamental dynamics of the deformed Rikitake two-disc dynamo system is explored in this paper. Memory effect on the dynamical behavior of the generator system is studied by introducing a quadratic flux-controlled memristor. Hyperchaotic oscillation in the deformed Rikitake two-disk coupled generator is therefore firstly found. Lyapunov exponents, bifurcation diagram, and phase portraits prove the abundant dynamic behavior consistently.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  28
    A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.
    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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  32. Entrepreneurship Education and Entrepreneurial Intentions of College Students: The Mediating Role of Entrepreneurial Self-Efficacy and the Moderating Role of Entrepreneurial Competition Experience.Lihao Wu, Suo Jiang, Xiaomin Wang, Linwei Yu, Yansu Wang & Hui Pan - 2022 - Frontiers in Psychology 12.
    This study aims to explore effective ways to improve college students’ entrepreneurial self-efficacy and intentions through entrepreneurship education. The survey used a random sample of 804 college students in Zhejiang Province, China. The results show that: In terms of the characteristics of entrepreneurial intention, there are significant differences in gender, entrepreneurial experience, entrepreneurial competition experience, and family background of self-employment. There are significant differences in the characteristics of entrepreneurship education in gender, entrepreneurial competition experience, and the family background of self-employment. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  1
    Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.Yifeng Ding, Jixin Liu & Yanjing Wang - 2021 - In 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.
    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 epistemic logic of local reasoning with veracity (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  3
    Spiking Neural P Systems with Polarizations and Rules on Synapses.Suxia Jiang, Jihui Fan, Yijun Liu, Yanfeng Wang & Fei Xu - 2020 - Complexity 2020:1-12.
    Spiking neural P systems are a class of computation models inspired by the biological neural systems, where spikes and spiking rules are in neurons. In this work, we propose a variant of spiking neural P systems, called spiking neural P systems with polarizations and rules on synapses, where spiking rules are placed on synapses and neurons are associated with polarizations used to control the application of such spiking rules. The computation power of PSNRS P systems is investigated. It is proven (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  4
    Robust Synchronization of Class Chaotic Systems Using Novel Time-Varying Gain Disturbance Observer-Based Sliding Mode Control.Yang Wang, Zhen Wang & Lingyun Kong - 2021 - Complexity 2021:1-14.
    For synchronization of a class of chaotic systems in the presence of nonvanishing uncertainties, a novel time-varying gain observer-based sliding mode control is proposed. First, a novel time-varying gain disturbance observer is developed to estimate the uncertainties. Then, by using the output of TVGDO to modify sliding mode control, a new TVGDO-based SMC scheme is developed. Although the observation and control precision of conventional fixed gain disturbance observer-based control for chaotic systems can be guaranteed by a high observer gain, the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Logic of Information Flow on Communi- Cation Channels.Yanjing Wang & Jan van Eijck - unknown
    In this paper1, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS..
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  37.  93
    Composing Models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.
    • We study a new composition operation on (epistemic) multiagent models and update actions that takes vocabulary extensions into account.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  4
    A Dynamic Epistemic Framework for Reasoning About Conformant Probabilistic Plans.Yanjun Li, Barteld Kooi & Yanjing Wang - 2019 - Artificial Intelligence 268:54-84.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  3
    Dynamic Analysis and Robust Control of a Chaotic System with Hidden Attractor.Huaigu Tian, Zhen Wang, Peijun Zhang, Mingshu Chen & Yang Wang - 2021 - Complexity 2021:1-11.
    In this paper, a 3D jerk chaotic system with hidden attractor was explored, and the dissipativity, equilibrium, and stability of this system were investigated. The attractor types, Lyapunov exponents, and Poincare section of the system under different parameters were analyzed. Additionally, a circuit was carried out, and a good similarity between the circuit experimental results and the theoretical analysis testifies the feasibility and practicality of the original system. Furthermore, a robust feedback controller was designed based on the finite-time stability theory, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  1
    The Mediation Role of Moral Personality Between Childhood Psychological Abuse and Cyberbullying Perpetration Attitudes of College Students.Hang Zhang, Xiaohua Sun, Liang Chen, Hongze Yang & Yandong Wang - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  1
    Investigation on the Rationality of the Extant Ways of Scoring the Interpersonal Reactivity Index Based on Confirmatory Factor Analysis.Yang Wang, Yun Li, Wanting Xiao, Yuanshu Fu & Jing Jie - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  80
    CIDO: The Community-Based Coronavirus Infectious Disease Ontology.Yongqun He, Hong Yu, Edison Ong, Yang Wang, Yingtong Liu, Anthony Huffman, Hsin-hui Huang, Beverley John, Asiyah Yu Lin, Duncan William D., Sivaram Arabandi, Jiangan Xie, Junguk Hur, Xiaolin Yang, Luonan Chen, Gilbert S. Omenn, Brian Athey & Barry Smith - 2021 - Proceedings of the 11th International Conference on Biomedical Ontologies (ICBO) and 10th Workshop on Ontologies and Data in Life Sciences (ODLS).
    Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  6
    The Philosophical Letters of Wang Yang-Ming.Yangming Wang - 1972 - Columbia, University of South Carolina Press.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  20
    Reservoir Prediction in a Development Area with a High-Density Well Pattern Using Seismic Sedimentology: An Example From the BB2 Block, Changyuan LMD Oil Field, Songliao Basin, China.Shunguo Cheng, Yan Jiang, Jie Li, Cao Li, Yanhui Wang & Liheng Xu - 2015 - Interpretation: SEG 3 (3):SS87-SS99.
    The Daqing Changyuan oil field is primarily composed of large, fluvial-deltaic thin sandstones and shales with a high degree of heterogeneity. Over the past 50 years of development, the geologic study of this reservoir has relied on a large amount of well-log data in the field. However, a detailed reservoir description based only on wireline-log data cannot meet the requirements of oil field development. There is still some uncertainty about the sand boundary and geometry, due to reliance only on data (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  6
    Verifying Epistemic Protocols Under Common Knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.
    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 protocol can be assumed to be common knowledge. By (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  18
    Valence Evaluation with Approaching or Withdrawing Cues: Directly Testing Valence–Arousal Conflict Theory.Yan Mei Wang, Ting Li & Lin Li - 2018 - Cognition and Emotion 32 (4):904-912.
    The valence–arousal conflict theory assumes that both valence and arousal will trigger approaching or withdrawing tendencies. It also predicts that the speed of processing emotional stimuli will depend on whether valence and arousal trigger conflicting or congruent motivational tendencies. However, most previous studies have provided evidence of the interaction between valence and arousal only, and have not provided direct proof of the interactive links between valence, arousal and motivational tendencies. The present study provides direct evidence for the relationship between approach–withdrawal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  5
    Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.Yanjing Wang & Yanjun Li - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 559-580.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  6
    Mereological Bimodal Logics.Dazhu Li & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-36.
    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 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 existing completeness proof for a basic system (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    An R-Order Finite-Time State Observer for Reaction-Diffusion Genetic Regulatory Networks with Time-Varying Delays.Xiaofei Fan, Yantao Wang, Ligang Wu & Xian Zhang - 2018 - Complexity 2018:1-15.
    It will be settled out for the open problem of designing an r-order finite-time state observer for reaction-diffusion genetic regulatory networks with time-varying delays. By assuming the Dirichlet boundary conditions, aiming to estimate the mRNA and protein concentrations via available network measurements. Firstly, sufficient F-T stability conditions for the filtering error system have been investigated via constructing an appropriate Lyapunov–Krasovskii functional and using several integral inequalities and convex technique simultaneously. These conditions are delay-dependent and reaction-diffusion-dependent and can be checked by (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  11
    Value Changes in an Era of Social Transformations: College‐Educated Chinese Youth.Yan Wang - 2006 - Educational Studies 32 (2):233-240.
    This paper addresses value changes that have occurred to college?educated youth as China is going through drastic social transformations under Western influences. It explains how socio?economic and cultural forces interplay within a particular historical and political context in bringing about such notable changes as individualism, materialism and moral crisis. Through exploring young people's perceptions of the relative status of China versus the West, represented by the USA, the paper reveals a collective inferiority complex and resulting dislocation of cultural identities, manifested (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 121