fixpoint

fixpoint

Mentioned in ?
References in periodicals archive ?
Their evaluation produces ground atoms needed for their own evaluation, thus, several iterations are performed, until a fixpoint is reached.
GName fixpoint y where down [union] down ; y order{a [?
The runtests utility that enables the easy execution of Reactis-generated test suites in Simulink has been updated to simplify executing tests on models with top-level inputs containing enumerated or fixpoint types.
By the implicit function theorem (or rather the contracting fixpoint theorem), [[psi].
Tarski: A lattice-theoretical fixpoint theorem and its application, Pacific J.
7 of Chapter 2 of his book the general fixpoint construction is widely used in logic to prove various results.
The FixPoint Approach to Interdependent Systems, Amsterdam: North-Holland, 1-35.
A Lattice-Theoretical Fixpoint Theorem and its Applications", Pacific Journal of Mathematics, vol.
In this first volume of the series Advances in Cognitive Informations and Natural Intelligence, contributors from computing, psychology, and engineering discuss such topics as the theoretical framework of the new discipline, the cognitive process of decision making, adaptive neural networks for trajectory planning, a fixpoint semantics for rule-based anomalies, and a unified approach to fractal dimensions.
Hence x = 1 is the only fixpoint in (0, [infinity]) and this fixpoint is repelling.
P] operator need to be applied only a finite number of times before reaching the fixpoint and thus computing the fixpoint semantics, as defined in Section 5.
Dung introduces the ground (skeptical) semantics in terms of a fixpoint theory.