sign in · help · news · about ·

BibSonomy :: author :: Shkatov ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(14)

<< < 1 > >>

Tableau-based decision procedure
Mai Ajspur, Valentin Goranko, and Dmitry Shkatov CoRR (2012)
to dblp by dblp on Feb 1, 2012, 12:00 AM
URL | BibTeX
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
Valentin Goranko, and Dmitry Shkatov CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
Valentin Goranko, and Dmitry Shkatov CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time
Valentin Goranko, and Dmitry Shkatov CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
Valentin Goranko, and Dmitry Shkatov CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Finding Uniform Strategies for Multi-agent Systems.
Jan Calta, Dmitry Shkatov, and Bernd-Holger Schlingloff CLIMA, volume 6245 of Lecture Notes in Computer Science, page 135-152. Springer, (2010)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information.
Jan Calta, and Dmitry Shkatov CLIMA, volume 6814 of Lecture Notes in Computer Science, page 122-138. Springer, (2011)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.
Valentin Goranko, Angelo Kyrilov, and Dmitry Shkatov Electr. Notes Theor. Comput. Sci. (2010)
to dblp by dblp on Jul 21, 2010, 3:43 PM
URL | BibTeX
Tableau-based decision procedures for logics of strategic ability in multiagent systems.
Valentin Goranko, and Dmitry Shkatov ACM Trans. Comput. Log. (2009)
to dblp by dblp on Mar 15, 2010, 12:00 AM
URL | BibTeX
Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time.
Valentin Goranko, and Dmitry Shkatov MALLOW, volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)
to dblp by dblp on Jan 15, 2010, 12:00 AM
URL | BibTeX
Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time.
Valentin Goranko, and Dmitry Shkatov AAMAS 2, page 969-976. IFAAMAS, (2009)
to dblp by dblp and 1 other user on Jul 1, 2009, 12:00 AM
URL | BibTeX
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.
Valentin Goranko, and Dmitry Shkatov LFCS, volume 5407 of Lecture Notes in Computer Science, page 197-213. Springer, (2009)
to dblp by dblp and 1 other user on Feb 13, 2009, 12:00 AM
URL | BibTeX
A general method for proving decidability of intuitionistic modal logics.
Natasha Alechina, and Dmitry Shkatov J. Applied Logic 4(3):219-230 (2006)
to dblp by dblp on May 9, 2007, 12:00 AM
URL | BibTeX
Logics with an existential modality.
Natasha Alechina, and Dmitry Shkatov Advances in Modal Logic, page 31-48. College Publications, (2006)
to dblp by dblp on Nov 10, 2006, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper