Results 181 to 190 of about 10,210,730 (222)

Understanding the Crystallization of Random Copolymers beyond Iso(di)morphism and Comonomer Exclusion. [PDF]

Macromolecules
Wang K, Ding H, Chen R, Zhang M, Jia YG, Wang Y, Shi Y, Pérez-Camargo RA, Zhu XX, Müller AJ.   +9 more
europepmc   +1 more source

Cosolvent Control of Lower and Upper Critical Solution Behavior in Polyelectrolyte Complexes. [PDF]

ACS Macro Lett
Ma Y, Prabhu VM.
europepmc   +1 more source

Impedance of Nonelectroneutral Solid Electrolyte Interphases With Nanopores: A Theoretical Model. [PDF]

Adv Sci (Weinh)
Li C, Huang J.
europepmc   +1 more source

Clinical Laboratory Terminology Standardization for Semantic Interoperability Using a Large Language Model-Based Agent: Methodological Study. [PDF]

J Med Internet Res
Wu L, Huang J, Wang H, Mai L, Zhan X, He X, Zhang X, Liang H, Li X, Bellou A.   +9 more
europepmc   +1 more source

StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web

International Conference on Web Reasoning and Rule Systems, 2013
S.247-252Stream reasoning is an emerging research field focused on dynamic processing and continuous reasoning over huge volumes of streaming data. Finding the right trade-off between scalability and expressivity is a key challenge in this area.
A. Mileo, Ahmed Abdelrahman, Sean Policarpio, M. Hauswirth   +3 more
semanticscholar   +2 more sources

Verification and correctness issues for nonmonotonic knowledge bases

International Journal of Intelligent Systems, 1997
Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule ...
G. Antoniou
semanticscholar   +2 more sources

Nonmonotonic Description Logic Programs: Implementation and Experiments

Logic Programming and Automated Reasoning, 2005
. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced methods and algorithms.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, H. Tompits   +3 more
semanticscholar   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Proving properties of rule-based systems

[1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application, 1991
R. Waldinger, M. Stickel
semanticscholar   +1 more source

Inheritance in Rule-Based Frame Systems: Semantics and Inference

Journal on Data Semantics, 2006
Guizhen Yang, M. Kifer
semanticscholar   +1 more source

Conditional Objects as Nonmonotonic Consequence Relationships

IEEE Transactions on Systems, Man & Cybernetics. Systems, 1994
D. Dubois, H. Prade
semanticscholar   +1 more source