Results 101 to 110 of about 719,711 (199)

Translating preferred answer set programs to propositional logic

, 2009
We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and practical interests: on one hand, it will shed new insights to understand the expressive ...
Asuncion, Vernon (R18659), Zhang, Yan
core  

GenAI-Net: A generative AI framework for automated biomolecular network design. [PDF]

Sci Adv
Filo M, Rossi N, Fang Z, Khammash M.
europepmc   +1 more source

Nested epistemic logic programs

, 2005
Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored.
Wang, KW, Zhang, Y
core  

Chemical compensation to mechanical loss in cell mechanosensation. [PDF]

Proc Natl Acad Sci U S A
Ni Q, Ge Z, Sen A, Wu Y, Fu J, Amitrano A, Srivastava N, Konstantopoulos K, Sun SX.   +8 more
europepmc   +1 more source

DAPEG, a Modular Peptidomimetic Concept for Intracellular Delivery: Architecture, Trajectory, and Outlook in the Context of Peptidomimetic Transfection Reagents. [PDF]

ACS Omega
Mallek W, Mirecka G, Wysocka M.
europepmc   +1 more source

Defect-State Engineering in Doped CeO₂ for Oxygen Storage: Aliovalent Substitution, Co-Doping, and Pathway-Dependent Regulation. [PDF]

Molecules
Xu Y, Hou Q, Zhou Y, Ding Z.
europepmc   +1 more source

Heterotypic intercellular adhesion tunes efficiency of cell-on-cell migration. [PDF]

Proc Natl Acad Sci U S A
Kuyyamudi C, Ghosh S, Extavour CG.
europepmc   +1 more source

γ Radiation Effects on Transition Metal Dichalcogenides: A Review of Defect Mechanisms and Device Implications. [PDF]

ACS Omega
Kreusch D, Araujo-Moreira FM.
europepmc   +1 more source

Evolutionary adaptation proceeds through a small number of phenotypic modules. [PDF]

Mol Biol Evol
Donyavi MH, Ghelich R, Schmidlin K, Kinsler G, Geiler-Samerotte K.   +4 more
europepmc   +1 more source

Nonmonotonic Causal Theories

, 2001
The nonmonotonic causal logic de ned in this paper can be used to represent properties of actions, including actions with conditional and indirect eects, nondeterministic actions, and concurrently executed actions.
Joohyung Lee Vladimir Lifschitz, Enrico Giunchiglia, Enrico Giunchiglia Dist   +2 more
core