Results 91 to 100 of about 697,506 (186)

A Sequent Calculus for a Paraconsistent Nonmonotonic Logic

, 2007
. In spite of sequent calculus being an appealing tool for describing logical systems, its use along with nonmonotonic logics has been largely neglected.
Ana Teresa Martins, Tarcísio Pequeno
core  

Hypothetical Abductive Reasoning in Dermatology and Dermatopathology. [PDF]

Dermatopathology (Basel)
Tomasini CF, Magnani L.
europepmc   +1 more source

Experimental Investigation of Flame and Emission Characteristics of Hydrogen-Enriched Natural Gas MixturesAn Innovative Approach for India's City Gas Distribution Network. [PDF]

ACS Omega
Pallav, Gajbhiye KR, Bist N, Sircar A.
europepmc   +1 more source

Chapter 1 Nonmonotonic Causal Logic

, 2008
This chapter describes a nonmonotonic causal logic designed for representing knowledge about the effects of actions. A causal rule φ ⇐ ψ where φ and ψ are formulas of classical logic, is understood to express that (the truth of) ψ is a sufficient ...
Hudson Turner
core  

Ion-Specific Modulation of the Conformation and Compactness of DNA Oligo-Catenanes. [PDF]

J Phys Chem B
Alexiou TS, Likos CN.
europepmc   +1 more source

Governing principles of transcriptional logic out of equilibrium. [PDF]

Biophys J
Dixit S, Middelkoop TC, Choubey S.
europepmc   +1 more source

Picosecond switching of magnetic tunnel junctions by spin-orbit torque. [PDF]

Sci Adv
Xiao C, Cai W, Zhang H, Ma D, Cao K, Du A, Lu S, Zheng X, Zhang B, Liu H, Shi K, Zhao W.   +11 more
europepmc   +1 more source

Two-Dimensional Reconfigurable Photodiode for In-Sensor Color Filtering and Spectral Logic. [PDF]

Adv Mater
Guo X, Zhou Y, Zhang Y, Zhao X, Pang Y, Tong L, Sun Z, Xu J.   +7 more
europepmc   +1 more source

Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems

Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming.

core  

Multivalency Enables Signal Processing at Single Protein Level. [PDF]

J Am Chem Soc
Wu X, Jia Y, Zhang T, Xiong Z, Ye Z, Yu G, Lei Y, Mao Z, Qu V, Dang B, Xu Z, Chen Z.   +11 more
europepmc   +1 more source