Natalia Garanina

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game Journal of Mathematical Sciences (New York)	2024-07-29	Paper
Model checking meets auto-tuning of high-performance programs Logic-Based Program Synthesis and Transformation	2023-06-02	Paper
Event-driven temporal logic pattern for control software requirements specification	2022-06-17	Paper
Multiagent approach to coreference resolution based on the multifactor similarity in ontology population Programming and Computer Software	2020-12-17	Paper
An approach to context-dependent lexical and syntactic ambiguity resolution in ontology population	2018-10-30	Paper
Conflict resolution in multi-agent systems with typed connections for ontology population Lecture Notes in Computer Science	2016-12-21	Paper
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms Programming and Computer Software	2016-06-27	Paper
Exponential acceleration of model checking for perfect recall systems Perspectives of Systems Informatics	2015-12-07	Paper
A Multi-agent Text Analysis Based on Ontology of Subject Domain Lecture Notes in Computer Science	2015-12-03	Paper

Research outcomes over time

This page was built for person: Natalia Garanina