Results 131 to 140 of about 18,251,092 (179)

Convergent Active Site Evolution in Platinum Single Atom Catalysts for Acetylene Hydrochlorination and Implications for Toxicity Minimization. [PDF]

open access: yesACS Catal
Giulimondi V   +12 more
europepmc   +1 more source

Antipsychotic Efficacy and Safety of LB-102 in the Treatment of Adults With Acute Schizophrenia: A Randomized Clinical Trial.

open access: yesJAMA Psychiatry
Eramo A   +9 more
europepmc   +1 more source

Nonmonotone filter DQMM method for the system of nonlinear equations

Applied Mathematics and Computation, 2011
A nonmonotone filter diagonalized quasi-Newton multiplier (DQNM) method is proposed for solving a system of nonlinear equations. The system of nonlinear equations is transformed into a constrained nonlinear programming problem that is then solved by a nonmonotone DQNM method. A nonlinear criterion is used to speed up the rate of convergence in some ill-
openaire   +3 more sources

Validation of Nonmonotonic Knowledge-Based Systems

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1993
Nonmonotonic 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   +2 more sources

Multifault diagnosis of digital systems using nonmonotoning reasoning (for nonmonotoning read nonmonotonic)

[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

Nonmonotonic Proof Systems: Algebraic Foundations

Fundamenta Informaticae, 2004
A 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, 1995
zbMATH 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, 1988
The 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   +2 more sources

Home - About - Disclaimer - Privacy