• Cover Page
• Editorial Board and Information for Authors
• Aims and Scope
• Contents
CONTENTS
Special section
Bădică A. and Bădică C.
FSP and FLTL framework for specification and verification of middle-agents . . . . . . . . . . . . 9
Baumeister J., Reutelshoefer J. and Puppe F.
Engineering intelligent systems on the knowledge formalization
continuum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 27
Cañadas J., Palma J. and Túnez S.
Defining the semantics of rule-based Web applications through modeldriven
development . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .41
Czarnowski I. and Jędrzejowicz P.
Application of agent-based simulated annealing and tabu search
procedures to solving the data reduction problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .57
Kozierkiewicz-Hetmańska A. and Nguyen N.T.
A method for learning scenario determination and
modification in intelligent tutoring systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .69
Meissner A.
Experimental analysis of some computation rules in a simple parallel reasoning system for the
ALC description logic. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Regular section
Xu C., Liao M. and He X.
Stability and Hopf bifurcation analysis for a Lotka–Volterra predator-prey model
with two delays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Berdjag D., Cocquempot V., Christophe C., Shumsky A. and Zhirabok A.
Algebraic approach for model
decomposition: Application to fault detection and isolation in discrete-event systems . . . . . . . . . . . . . . . . . . . . . . . . . .109
Raja R., Sakthivel R., Anthoni S.M. and Kim H.
Stability of impulsive Hopfield neural networks with
Markovian switching and time-varying delays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Pedro J.O. and Dahunsi O.A.
Neural network based feedback linearization control of a servo-hydraulic
vehicle suspension system. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .137
Korus Ł.
Simple environment for developing methods of controlling chaos in spatially distributed systems . . . . . . . . . .149
Röbenack K. and Reinschke K.
On generalized inverses of singular matrix pencils . . . . . . . . . . . . . . . . . . . . . . . . . 161
Tomczak T.
Hierarchical residue number systems with small moduli and simple converters . . . . . . . . . . . . . . . . . . . . . 173
Borys D., Szczucka-Borys K. and Gorczewski K.
System matrix computation for iterative reconstruction
algorithms in SPECT based on directmeasurements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .193
Frąckiewicz M. and Palus H.
KHM clustering technique as a segmentation method for endoscopic colour
images. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .203