![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 9 | Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) 2009: 969-976 | |
| 8 | Valentin Goranko, Dmitry Shkatov: Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS 2009: 197-213 | |
| 7 | Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR abs/0902.2104: (2009) | |
| 6 | Valentin Goranko, Dmitry Shkatov: Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR abs/0902.2125: (2009) | |
| 5 | Valentin Goranko, Dmitry Shkatov: Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM 2008: 237-246 | |
| 4 | Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedures for logics of strategic ability in multi-agent systems CoRR abs/0803.2306: (2008) | |
| 3 | Valentin Goranko, Dmitry Shkatov: Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge CoRR abs/0808.4133: (2008) |
Selection of 7 from 9 records - Dmitry Shkatov has 2 coauthors
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)