Expanding Configurational Complexity through Dipole Dilution in Pseudohalide Argyrodite Ion Conductors. [PDF]
Galinat SL +5 more
europepmc +1 more source
Trivalent Rare Earth Adsorption at Phosphonic Acid Monolayers. [PDF]
Nayak S, Uysal A.
europepmc +1 more source
Ab Initio Path Integral Monte Carlo Simulations of the Uniform Electron Gas on Large Length Scales. [PDF]
Dornheim T +4 more
europepmc +1 more source
Layer Number Dependence of Chirality and Spin Polarized Lifetime in Chiral 2D Halide Perovskites. [PDF]
Ramakrishnan S +14 more
europepmc +1 more source
Heterogeneous quantization regularizes spiking neural network activity. [PDF]
Moyal R +4 more
europepmc +1 more source
Related searches:
Some Algorithms for Extension Computation of Nonmonotonic Rule Systems
Fundamenta Informaticae, 2001In this paper, we will place our emphasis on the problem of existence of extensions and on finding more efficient algorithms for computing extensions of nonmonotonic rule systems. First, in order to dedicate further research into nonmonotonic rule systems a new characterization and some new results are given.
Zhao, Xishun, Ding, Decheng
openaire +2 more sources
Nonmonotonic rule systems with recursive sets of restraints
Archive for Mathematical Logic, 1997Nonmonotonic rule systems are introduced to capture the common features of several nonmonotonic logics as, e.g., auto-epistemic logic, default logic and general logic programs. A nonmonotonic rule system is a pair \((U,N)\) where \(U\) is a set and \(N\) is a collection of rules.
Marek, V. Wiktor +2 more
openaire +2 more sources
SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules
2009 Fifth International Joint Conference on INC, IMS and IDC, 2009In this paper, we will introduce a hybrid knowledge system SHOIQD to integrate the description logic SHOIQ and nonmonotonic rules preserving decidability. We first define the syntax of the integrated knowledge base and then introduce it’s semantic based on well founded semantic. Next, we develop a new algorithm to answer queries over the knowledge base.
Ling Ji, Dantong Ouyang, Yuxin Ye
openaire +1 more source
Hematology and oncology clinical care during the coronavirus disease 2019 pandemic
Ca-A Cancer Journal for Clinicians, 2020Manish A Shah +2 more
exaly

