Results 1 to 10 of about 9,405 (165)

Ideal reasoners don’t believe in zombies [PDF]

open access: yesPrincipia: An International Journal of Epistemology, 2017
The negative zombie argument states that p&~q is ideally negatively conceivable and, therefore, possible, what would entail that physicalism is false (Chalmers, 2002, 2010}.
Danilo Fraga Dantas
doaj   +5 more sources

Vascular Smooth Muscle Cell Migration and P70S6K: Key Players in Intimal Hyperplasia Development [PDF]

open access: yesJournal of the American Heart Association: Cardiovascular and Cerebrovascular Disease
Background 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

Modal nonmonotonic logics [PDF]

open access: yesJournal of the ACM, 1993
Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family proposed by McDermott and Doyle. In this paper properties of logics in this family are thoroughly investigated.
Marek, V. Wiktor   +2 more
openaire   +3 more sources

Common Knowledge, Common Attitudes and Social Reasoning

open access: yesBulletin 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

open access: yesAxioms, 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]

open access: yesJisuanji 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

open access: yesIEEE 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]

open access: yesElectronic 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

Ground Nonmonotonic Modal Logics [PDF]

open access: yesJournal 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 ...
DONINI F. M.   +2 more
openaire   +2 more sources

Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]

open access: yesElectronic 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

Home - About - Disclaimer - Privacy