Andrei Mantsivoda

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 1

Top Topics

Clustering Method

Expressive Power

Statistical Models

Semantic Annotation

Top Venues

Publications

Andrei Mantsivoda, Denis K. Ponomaryov
On Termination of Transactions over Semantic Document Models. CoRR (2020)
Laura Kovács, Andrei Mantsivoda, Andrei Voronkov
The Inverse Method for Many-Valued Logics. MICAI (1) (2013)
Anton Malykh, Andrei Mantsivoda
A Query Language for Logic Architectures. Ershov Memorial Conference (2009)
Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh
Logic Programming in Knowledge Domains. ICLP (2006)
Andrei Mantsivoda
Flang System: A new Version. PLILP (1994)
Andrei Mantsivoda
Flang and its Implementation. PLILP (1993)
Andrei Mantsivoda, Vyacheslav Petukhin, Alexei Weimann
Memory Management of Constraint in Flang. ICLP (1993)
Andrei Mantsivoda, Vyacheslav Petukhin
Compiling Flang. CC (1992)
Andrei Mantsivoda
Flang: A Functional-Logic Language. PDK (1991)
Andrei Mantsivoda, Vyacheslav Petukhin
Implementation of the Functional-Logic Language Flang. PDK (1991)
Andrei Mantsivoda, Vyacheslav Petukhin
Compiling Flang. RCLP (1991)