Natalia Garanina

Available identifiers

Publication	Date of Publication	Type
Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game	2024-07-29	Paper
Model checking meets auto-tuning of high-performance programs	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	2020-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4553628	2018-10-30	Paper
Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population	2016-12-21	Paper
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms	2016-06-27	Paper
Exponential Acceleration of Model Checking for Perfect Recall Systems	2015-12-07	Paper
A Multi-agent Text Analysis Based on Ontology of Subject Domain	2015-12-03	Paper

This page was built for person: Natalia Garanina