Correct transformations of logic programs

This paper describes a system of transformations that preserves the semantics of logic programs with respect to a fixed goal. We formalise some standard transformations and introduce two new transformation rules: Copying/Merge of Copies and Contextual Replacement by Equal Term. Correctness of all schemes of the transformation rules is...

andrey_sabelfeld.pdf4.41 MB

Agents as constraint objects

In the paper a multi-agent technology based on integration of the object- oriented approach and constraint programming is proposed. The key notion of this technology is an ’’active object” that has three specific features. First, an active object has the ability to change its state based on the analysis of...

shvecov.pdf6.19 MB

An algebra of labelled nondeterministic processes

A new calculus of labelled nondeterministic processes AFLP2 is proposed which is an extension of the known calculus AFP2 by labelling function. The denotational and operational semantics and complete axiomatization of the semantic equivalence are presented. The interrelation of net equivalences from with equivalences of the algebra (semantic...

tarasyuk.pdf6.01 MB