Results 111 to 120 of about 279 (150)
Post-Stroke PTSD: The Protective Role of CCR5-Δ32 Polymorphism. [PDF]
Chronic Stress (Thousand Oaks)Hallevi H +8 more
europepmc +1 more source
Optimizing a CRISPR-Cas13d Gene Circuit for Tunable Target RNA Downregulation with Minimal Collateral RNA Cutting. [PDF]
ACS Synth BiolWan Y, Helenek C, Coraci D, Balázsi G.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Validation of Nonmonotonic Knowledge-Based Systems
[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1993Nonmonotonic logical systems are logics in which the introduction of new axioms can invalidate old theorems. For practical applications, the authors restrict themselves to nonmonotonic systems that consist of facts and rules, and call them nonmonotonic knowledge-based systems (KBSs).
Chin-Liang Chang +2 more
openaire +1 more source
[1991] Proceedings of the 30th IEEE Conference on Decision and Control, 2002
The authors present the design principles and the development of an expert system (called FAULT.ENT) for diagnosing multiple simultaneous faults in digital circuits (from first principles) using nonmonotonic reasoning and especially the default theory developed by R. Reiter. They give a detailed presentation of the algorithm, which has been implemented
S. Tzafestas, T. Chrisiou, Y.T. Yip
openaire +1 more source
The authors present the design principles and the development of an expert system (called FAULT.ENT) for diagnosing multiple simultaneous faults in digital circuits (from first principles) using nonmonotonic reasoning and especially the default theory developed by R. Reiter. They give a detailed presentation of the algorithm, which has been implemented
S. Tzafestas, T. Chrisiou, Y.T. Yip
openaire +1 more source
Nonmonotonic Proof Systems: Algebraic Foundations
Fundamenta Informaticae, 2004A general framework for the algebraization of a category of nonmonotonic logics has been suggested. This method has been applied to the systems of Gabbay, and to Cumulative, Preferential and Ranked systems. The minimal logics required to serve as the base logics for the above systems are investigated.
Sujata Ghosh, Mihir K. Chakraborty
openaire +3 more sources
A logic programming system for nonmonotonic reasoning
Journal of Automated Reasoning, 1995zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José Júlio Alferes +2 more
openaire +2 more sources
Nonmonotonic inheritance systems
IEEE Transactions on Systems, Man, and Cybernetics, 1988The use of frames and other hierarchical representational schemes has become fairly pervasive in intelligent systems. Central to these representations is the inheritance of properties from one object to another by way of is-a-kind and is-an-element-of links.
openaire +1 more source
NonMonotonicity of Traveling Wave Profiles for a Unimodal Recursive System
SIAM Journal on Mathematical Analysis, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jian Fang, Yingli Pan
openaire +1 more source
Formalizing nonmonotonic reasoning systems
Artificial Intelligence, 1987The paper addresses the problem of existence of expansions of semi-normal default theories introduced by \textit{R. Reiter} [ibid. 13, 81-132 (1980; Zbl 0435.68069)]. Semi-normal default theory \(\Delta\) is defined as (D,W), where W is a set of first-order formulae, and D is a set of semi- normal defaults, i.e. rules of inference having the form: (*)\
openaire +1 more source
The DReW System for Nonmonotonic DL-Programs
2013Nonmonotonic DL-programs provide a loose integration of Description Logic (DL) ontologies and Logic Programming (LP) rules with negation, where a rule engine can query an ontology with a native DL reasoner. However, in most systems for DL-programs, the overhead of an external DL reasoner might be considerable.
Guohui Xiao 0001 +2 more
openaire +1 more source