Results 161 to 170 of about 17,183,897 (183)
Some of the next articles are maybe not open access.
Systems of Deductive and Nonmonotonic Logic
2004In this chapter we will summarize various systems which have been introduced by Kraus et al. [85] . Contrary to Kraus et al. we develop these systems in a strictly syntactical manner without making use of nonmonotonic consequence relations |~ (see Makinson[99] and [100]). As a substitute for consequence relations we refer again to conditional theories,
openaire +1 more source
An Implementation of Nonmonotonic Reasoning with System W
2022Christoph Beierle +4 more
openaire +2 more sources
StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web
2013Stream 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. In this paper, we want to provide a baseline for exploring the applicability of complex reasoning to the Web of Data ...
Alessandra Mileo +3 more
openaire +1 more source
A modulus-based nonmonotone line search method for nonlinear complementarity problems
Applied Mathematics and Computation, 2020Zheng Peng
exaly
Asymptotic Behavior, Spreading Speeds, and Traveling Waves of Nonmonotone Dynamical Systems
SIAM Journal on Mathematical Analysis, 2015Xingfu Zou, Taishan Yi
exaly
A Nonmonotone Line Search Technique and Its Application to Unconstrained Optimization
SIAM Journal on Optimization, 2004Hongchao Zhang, William W Hager
exaly
On efficiency of nonmonotone Armijo-type line searches
Applied Mathematical Modelling, 2017Masoud Ahookhosh, Susan Ghaderi
exaly