|
СТ |
ALC for CLA: Towards description logic on concept lattices |
2013 |
Gribeneva J. F., Shilov N. V., Garanina N. O. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
24.03.2014 |
|
СТ |
Common Knowledge in Well-structured Perfect Recall Systems |
2013 |
Garanina N. O. |
|
|
|
Proceedings of the 8th International Computer Science Symposium in Russia |
09.08.2013 |
|
СТ |
Exponental Acceleration of Model Checking for Perfect Recall Systems |
2012 |
Garanina N. O. |
Lecture Notes in Computer Science |
|
|
|
19.02.2013 |
|
СТ |
Affine Model Checking Multi-agent Sliding Window Protocol |
2012 |
Garanina N. O. |
|
|
|
Conference proceedings |
01.10.2012 |
|
СТ |
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-Agent Systems |
2011 |
Shilov N. V., Garanina N. O. |
Lecture Notes in Artificial Intelligence |
|
|
|
27.09.2011 |
|
СТ |
Rational Agents at the Marketplace (extended abstract) |
2011 |
Shilov N. V., Garanina N. O. |
PSI Conference Series |
|
|
Знания и Онтологии *ELSEWHERE*2011 |
06.07.2011 |
|
СТ |
Well-Structured Model Checking of Multiagent Systems |
2007 |
Shilov N. V., Garanina N. O. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2007 |
|
СТ |
Model Checking: Knowledge, Actions and Fixpoints |
2004 |
Shilov N. V., Garanina N. O., Kalinina N. A. |
|
|
Humboldt Univ. Berlin |
Concurrency, Specification and Programming - CS&P 2004 |
01.09.2006 |
|
СТ |
Polynomial Approximations for Model Checking |
2003 |
Shilov N. V., Garanina N. O. |
|
|
|
Lecture Notes in Computer Science |
17.02.2004 |
|
П |
Combining Knowledge and Fixpoints |
2002 |
Shilov N. V., Garanina N. O. |
|
|
Inst. of Informatics Systems |
|
27.09.2002 |
