Results 1 to 10 of about 697,506 (186)
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 +2 more sources
Entropy-Driven Physical Amplification in Multivalent Biosensing. [PDF]
Adv Sci (Weinh)Detecting scarce molecules usually demands enzymatic amplification such as PCR. A statistical‐mechanical theory now reveals a purely physical alternative: distributing a fixed binding strength over more linker arms exponentially lowers the concentration at which multivalent sensors switch on.
Peng Y, Xia X, Ni R.
europepmc +2 more sources
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 +4 more sources
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
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
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
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
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