共 50 条
- [41] A Tableau-Based Reasoning Algorithm for Distributed Dynamic Description Logics INFORMATION COMPUTING AND APPLICATIONS, PT 1, 2012, 307 : 192 - +
- [43] Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models FRONTIERS OF COMBINING SYSTEMS, 2011, 6989 : 1 - +
- [46] Model-Checking Games for Fixpoint Logics with Partial Order Models CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 354 - 368
- [48] n-Person Dynamic Strategic Market Games APPLIED MATHEMATICS AND OPTIMIZATION, 2012, 65 (02): : 147 - 173
- [49] Dynamic Games with Strategic Complements and Large Number of Players Journal of Optimization Theory and Applications, 2023, 197 : 1 - 21
- [50] n-Person Dynamic Strategic Market Games Applied Mathematics & Optimization, 2012, 65 : 147 - 173