PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Garanina, Natalya Olegovna"

Author of the publication

copydeleteadd this publication to your clipboard
Update and Abstraction in Model Checking of Knowledge and Branching Time.

, , and . Fundam. Informaticae, 72 (1-3): 347-361 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Garanina, Natalya Olegovna
add a person with the name Garanina, Natalya Olegovna
 

Other publications of authors with the same name

Modal Logics for Reasoning about Multiagent Systems., and . Encyclopedia of Artificial Intelligence, IGI Global, (2009)Exponential Acceleration of Model Checking for Perfect Recall Systems.. Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 111-124. Springer, (2011)Exponential improvement of time complexity of model checking for multiagent systems with perfect recall.. Programming and Computer Software, 38 (6): 294-303 (2012)Conflict resolution in multi-agent systems with typed relations for ontology population., , and . Programming and Computer Software, 42 (4): 206-215 (2016)Polynomial Approximations for Model Checking., and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 395-400. Springer, (2003)Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms., and . Programming and Computer Software, 41 (3): 140-148 (2015)Update and Abstraction in Model Checking of Knowledge and Branching Time., , and . Fundam. Informaticae, 72 (1-3): 347-361 (2006)Combining Two Formalism for Reasoning about Concepts., , and . Description Logics, volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems., and . KONT/KPP, volume 6581 of Lecture Notes in Computer Science, page 48-58. Springer, (2007)Optimisation procedures in affine model checking.. Automatic Control and Computer Sciences, 46 (7): 331-337 (2012)