Results 81 to 90 of about 772 (194)

Nonmonotonic logic programs with function symbols

, 2010
Antwortmengen-Programmierung (ASP) ist ein wichtiges Paradigma zur regelbasierten deklarativen Problemlösung. ASP ist besonders gut geeignet, Probleme zu modellieren und zu lösen, welche ,,Common-sense Schließen`` beinhalten, und mit vielen ...
Šimkus, Mantas; orcid:
core  

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

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

Encoding Planning Problems in Nonmonotonic Logic Programs

, 1997
. We present a framework for encoding planning problems in logic programs with negation as failure, having computational efficiency as our major consideration.
Bernhard Nebel, Jana Koehler, Yannis Dimopoulos   +2 more
core  

γ 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

A rational information gathering account of infant habituation. [PDF]

Behav Neurosci
Karni G, Mattar MG, Emberson L, Daw ND.
europepmc   +1 more source

DNA Double-Strand BreakÐBased Nonmonotonic Logic

, 2015
International audienceno ...
Siegel, Pierre, Doncescu, Andrei
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

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