Results 111 to 120 of about 99,866 (158)

Developing a Novel Ontology for Cybersecurity in Internet of Medical Things-Enabled Remote Patient Monitoring. [PDF]

Sensors (Basel)
Bughio KS, Cook DM, Shah SAA.
europepmc   +1 more source

AI and Machine Learning Terminology in Medicine, Psychology, and Social Sciences: Tutorial and Practical Recommendations.

J Med Internet Res
Cao B, Greiner R, Greenshaw A, Sui J.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Karl Schröter and His Interest in Polish Mathematical Logic. Based on Unpublished Archival Documents

Logic and Logical Philosophy
Karl Schröter (1905-1977) worked in the field of mathematical logic and the foundations of mathematics, first at Westphalian Wilhelm University of Münster [Westfälische Wilhelms-Universität Münster], then at the Berlin Humboldt University [Humboldt ...
Gabriela Besler, Marek Porwolik
semanticscholar   +1 more source

A Mathematical Conceptualization of Bundle Sets in Defeasible Logic Programming

ACM Symposium on Applied Computing
Defeasible Logic Programming (DeLP) is a formalism for structured argumentation-based reasoning that is founded on a dialectical procedure that relies on trees to compute answers to queries, which return the so-called warrant statuses of the literals ...
Y. Soto, Cristhian A. D. Deagustini, Maria Vanina Martinez, Gerardo I. Simari   +3 more
semanticscholar   +1 more source

Literal and Controllable Paraconsistency

Logic and Logical Philosophy
The principle of explosion asserts that any formula can be derived from any pair of other contradictory formulas. Paraconsistent logic is typically regarded as a logic in which the universal validity of this principle is questioned.
J. Ciuciura
semanticscholar   +1 more source

Base-extension Semantics for Modal Logic

Logic Journal of the IGPL
In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given ...
Timo Eckhardt, D. Pym
semanticscholar   +1 more source

A universal literal circuit and its application to quaternary logic networks

Systems and Computers in Japan, 1992
Chotei Zukeran, Y. Nagata, C. Afuso, M. Honda, Y. Nagamine   +4 more
semanticscholar   +1 more source

Do Mathematical Constructions Escape Logic?

Synthese, 2004
J. Gardies
semanticscholar   +1 more source

First order theory for literal‐paraconsistent and literal‐paracomplete matrices

Mathematical Logic Quarterly, 2010
Renato A. Lewin, I. Mikenberg
semanticscholar   +1 more source

Literal‐paraconsistent and literal‐paracomplete matrices

Mathematical Logic Quarterly, 2006
Renato A. Lewin, I. Mikenberg
semanticscholar   +1 more source