共 50 条
- [4] Representing and Reasoning about Game Strategies Journal of Philosophical Logic, 2015, 44 : 203 - 236
- [6] Representing and reasoning about privacy abstractions WEB INFORMATION SYSTEMS ENGINEERING - WISE 2005, 2005, 3806 : 390 - 403
- [8] Representing and Reasoning about Dynamic Code 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 312 - 323
- [10] Representing and Reasoning about Game Strategies PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1975 - 1976