Aliphatic Chains and External Pressure as Tools for Fine-Tuning Spin Transition Temperature and Cooperativity. [PDF]
Yu H +14 more
europepmc +1 more source
Commissioning and verification of a 3D Monte Carlo independent calculation software for O-ring linac systems. [PDF]
Meng X +9 more
europepmc +1 more source
Dimensional Scaling Effect in Percolative Oxide Semiconductor Transistors. [PDF]
Tseng R +19 more
europepmc +1 more source
Abnormally enhanced Hall Lorenz number in the magnetic Weyl semimetal NdAlSi. [PDF]
Zhang N +11 more
europepmc +1 more source
Distribution of Single-Particle Resonances Determines the Plasmonic Response of Disordered Nanoparticle Ensembles. [PDF]
Sherman ZM, Milliron DJ, Truskett TM.
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
semanticscholar +5 more sources
Nonmonotonic rule systems: Forward chaining, constraints, and complexity
Lecture Notes in Computer Science, 1996J. Remmel
semanticscholar +4 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 +3 more sources
A theory of nonmonotonic rule systems I
Annals of Mathematics and Artificial Intelligence, 1990V. Marek, A. Nerode, J. Remmel
semanticscholar +3 more sources
Integrity and rule checking in nonmonotonic knowledge bases
Knowledge-Based Systems, 1996G. Antoniou
semanticscholar +3 more sources

