Dmitry Shkatov's research page
Research interests:
- Logic in computer science
- Decision procedures for modal logics
Publications:
- Modal logics for reasoning about infinite unions and
intersections of binary relations
(with Natasha
Alechina
and Philippe
Balbiani). To appear in Journal of Applied Non-Classical
Logics (pdf).
- Tableau-based decision procedure for the multiagent epistemic
logic with all coalitional operators for common and distributed
knowledge (with Mai Ajspur
and Valentin Goranko). To
appear in Logic Journal of IGPL
(pdf).
- Synthesizing strategies for homogenous multi-agent systems
with incomplete information (with
Jan
Calta) Lecture Notes in Artificial Intelligence, vol. 6814
(Proceedings of 12th International Workshop on Computational Logic
in Multi-Agent Systems). Springer, 2011,
pp. 122--137. (pdf)
- Finding uniform strategies for multi-agent systems (with
Jan
Calta
and Holger
Schlingloff). Lecture Notes in Artificial Intelligence,
vol. 6245 (Proceedings of 11th International Workshop on
Computational Logic in Multi-Agent Systems). Springer, 2010,
pp. 135--152. (pdf)
- Tableau tool for testing satisfiability in LTL:
Implementation and experimental analysis
(with Valentin Goranko
and Angelo
Kyrilov). In Electronic Notes in Theoretical Computer
Science . Vol. 262 (Proceedings of the 6th Workshop on Methods
for Modalities), pp. 113--125. (Available
from here.)
- Tableau-based decision procedures for logics of strategic
ability in multi-agent systems
(with Valentin
Goranko). In ACM Transactions on Computational
Logic. Vol. 11(1), pp. 3:1--3:51 (Available
from here.)
- Tableau-based decision procedure for full coalitional
multiagent temporal-epistemic logic of branching time
(with Valentin
Goranko).
Electronic Proceedings of the International Workshop on Formal
Approaches to Multi-Agent Systems 2009 (FAMAS09).
(pdf)
- Tableau-based decision procedure for full coalitional
multiagent temporal-epistemic logic of linear time
(with Valentin
Goranko). In Proceedings of 8th International
Conference on Autonomous Agents and Multiagent Systems (AAMAS
09). pp. 969--976. (pdf)
- Tableu-based procedure for deciding satisfiability in the
full coalitional multiagent epistemic logic (with Valentin Goranko). In
S. Artemov, A. Nerode (editors). Logical Foundations of Computer
Science 2009. Lecture Notes in Computer Science. Vol. 5407.
Springer, 2009. pp. 197--213.
- Tableau-based decision procedure for multi-agent epistemic
logic with operators of commond and distributed knowledge (with Valentin Goranko). In
A. Cerone, S. Gruner (editors). Proceedings of the 6th IEEE
International Conference on Software Engineering and Formal Methods
(SEFM2008). IEEE Computer Society Press, 2008. pp. 237--246.
- Logics with modalities corresponding to infinite unions and
intersections of accessibility relations (with Natasha Alechina and Philippe
Balbiani). In Proceedings of International Workshop on Hybrid
Logic 2007 (HyLo 2007). Dublin, 2007.
- Logics with an existential modality (with Natasha Alechina). In
G. Governatori et al. (eds.) Advances in Modal Logic,
vol. 6. College Publications, 2006, pp. 31-48. (pdf)
- A general method for proving decidability of intuitionistic
modal logics (with Natasha
Alechina). In Journal of Applied Logic, vol. 4 (2006),
pp. 219-230. (pdf)
- On decidability of intuitionistic modal logics (with Natasha Alechina). In
Proceeding of Methods for Modalities 3 (M4M2003). Nancy,
France, 2003. (pdf)
Last modified: Thu Sep 27 09:41:13 SAST 2012