C O N T E N T S

I.S.Anureev
Ontological transition systems structures ........................ 1

I.S.Anureev
A language of actions in ontological transition systems ......... 19

I.S.Anureev, E.V.Bodin, N.V.Shilov
Effective generation of verification conditions for
non-deterministic unstructured programs ......................... 39

E.Yu.Botoeva, E.S.Petrov
Correct visualization of solution spaces in the UniCalc system .. 65

A.G.Ershov, A.V.Kiselev, E.V.Rukoleev
Spanning-tree modeling method for geometric constraint
satisfaction problem ............................................ 75

A.Sh.Nepomniaschaya
Associative version of Italiano's incremental algorithm for
dynamic updating the transitive closure ......................... 91

D.K.Ponomaryov
Generalized decomposability notions for first-order theories ... 103

A.V.Promsky
The C#-light project: solution of some verification challenges   111

E.A.Sidorova, Yu.A.Zagorulko
Ontology-based approach to text analysis ....................... 133

T.V.Batura, F.A.Murzin
Logical analysis of texts in a natural language and a sense
representation ................................................. 147