Results 1 to 10 of about 772 (194)
Vascular Smooth Muscle Cell Migration and P70S6K: Key Players in Intimal Hyperplasia Development [PDF]
Journal of the American Heart Association: Cardiovascular and Cerebrovascular DiseaseBackground Vascular smooth muscle cell (VSMC) recruitment and activation by vessel injury cause intimal hyperplasia (IH) and restenosis. Drug‐eluting stents releasing mTOR (mechanistic target of rapamycin) blockers (sirolimus, everolimus [EV]) improve ...
Sara Moreno‐Estar +7 more
doaj +2 more sources
Common Knowledge, Common Attitudes and Social Reasoning
Bulletin of the Section of Logic, 2021 For as long as there have been theories about common knowledge, they have been exposed to a certain amount of skepticism. Recent more sophisticated arguments question whether agents can acquire common attitudes and whether they are needed in social ...
Richmond H. Thomason
doaj +1 more source
Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Axioms, 2020 Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference ...
Sopo Pkhakadze, Hans Tompits
doaj +1 more source
f-SHOIQN:a fuzzy and non-monotonic description logic [PDF]
Jisuanji gongcheng, 2019 There is a lot of fuzzy and non-monotonic knowledge in the semantic Web,which cannot be expressed by the current description logic.Aiming at the problem,this paper adds weak negative constructor and proposes a fuzzy and non-monotonic description logic f ...
WANG Xing,ZHAO Qiaoxia,CHEN Ji,LI Jia
doaj +1 more source
Detecting Malware Activities With MalpMiner: A Dynamic Analysis Approach
IEEE Access, 2023 Day by day, malware as a service becomes more popular and easy to acquire, thus allowing anyone to start an attack without any technical background, which in turn introduces challenges for detecting such attacks.
Mustafa F. Abdelwahed +2 more
doaj +1 more source
A Tractable Logic for Molecular Biology [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes. They can be composed in order to add or remove static and dynamic observations.
Adrien Husson, Jean Krivine
doaj +1 more source
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj +1 more source
Qualitative Mechanical Problem-Solving by Artificial Agents:
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative mechanical problem-solving (QMPS) is central to human-level intelligence. Human agents use their capacity for such problem-solving to succeed in tasks as routine as opening the tap to drink or hanging a picture on the wall, as well as for ...
Shreya Banerjee +3 more
doaj +1 more source
Ground Nonmonotonic Modal Logics [PDF]
Journal of Logic and Computation, 1997 The authors develop a theory of ground logics which are nonmonotonic formalisms in the spirit of the McDermott--Doyle nonmonotonic modal logics. The ground logics are intended to formalise reasoning of rational agents who are allowed to make nonmonotonic assumptions only on information concerning the real world and expressed by nonmodal formulas ...
Francesco M. Donini +2 more
openaire +2 more sources
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this article we present an implementation of non-monotonic reasoning in an embedded system. As a part of an autonomous motor-glider, it simulates piloting decisions of an airplane.
José Luis Vilchis Medina +3 more
doaj +1 more source