Results 141 to 150 of about 2,636 (156)

Some Algorithms for Extension Computation of Nonmonotonic Rule Systems

Fundamenta Informaticae, 2001
In 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
openaire   +2 more sources

A nonmonotone hybrid method for nonlinear systems^∗

Optimization Methods and Software, 2000
A nonmonotone hybrid method for solving nonhnear systems is proposed. The idea consists in matching a Newton-like method stabilized by nonmonotone line-search with a cheap direct search method that...
openaire   +2 more sources

Bifurcations in predator–prey systems with nonmonotonic functional response

Nonlinear Analysis: Real World Applications, 2005
The authors are concerned with predator-prey equations with delays, where the delay is considered as a bifurcation parameter. The paper begins by reviewing existing published results in the case, where there is no delay, for example. This provides the basis for the new results.
Liu, Zhihua, Yuan, Rong
openaire   +2 more sources

Reciprocal Oscillons and Nonmonotonic Fronts in Forced Nonequilibrium Systems

Physical Review Letters, 2006
The formation of oscillons in a synchronously oscillating background is studied in the context of both damped and self-exciting oscillatory media. Using the forced complex Ginzburg-Landau equation we show that such states bifurcate from finite amplitude homogenous states near the 2:1 resonance boundary.
Arik, Yochelis, John, Burke, Edgar, Knobloch   +2 more
openaire   +2 more sources

The DReW System for Nonmonotonic DL-Programs

2013
Nonmonotonic 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, Thomas Eiter, Stijn Heymans
openaire   +1 more source

Attraction in Nonmonotone Planar Systems and Real-Life Models

Journal of Dynamics and Differential Equations, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Nonmonotonic rule systems with recursive sets of restraints

Archive for Mathematical Logic, 1997
Nonmonotonic 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, Nerode, Anil, Remmel, Jeffrey B.   +2 more
openaire   +2 more sources

Temporal nonmonotonic logical systems: Interrelationships and computational complexity

Scientific and Technical Information Processing, 2010
This paper considers nonmonotonic logical systems that extend linear temporal logic with clocks. Our main emphasis is on their interrelationships and on the characteristics of their computational complexity.
M. M. Vin’kov, I. B. Fominykh
openaire   +1 more source

Systems of Deductive and Nonmonotonic Logic

2004
In 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

Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems

2004
Both monotonic and nonmonotonic reasoning are shown to be represented in zoom reasoning systems which are a way of reasoning using granularized possible worlds and lower approximation in rough set theory.
Tetsuya Murai, M. Sanada, Yasuo Kudo, Y. Sato   +3 more
openaire   +1 more source