Towards a categorical approach for meta-modelling epistemic game theory
暂无分享,去创建一个
[1] John P A Ioannidis,et al. Modern health care as a game theory problem , 2015, European journal of clinical investigation.
[2] Gabriele Taentzer,et al. Co-evolving meta-models and their instance models: A formal approach based on graph transformation , 2015, Sci. Comput. Program..
[3] Sahar Kokaly,et al. Mapping-Aware Megamodeling: Design Patterns and Laws , 2013, SLE.
[4] Blai Bonet,et al. Belief Tracking for Planning with Sensing: Width, Complexity and Approximations , 2014, J. Artif. Intell. Res..
[5] Lars Michael Kristensen,et al. A Diagrammatic Approach to Model Completion , 2015, AMT@MoDELS.
[6] Lars Michael Kristensen,et al. Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications , 2015, NIK.
[7] Michael Löwe,et al. A categorical framework for the transformation of object-oriented systems: Models and data , 2011, J. Symb. Comput..
[8] Steffen Becker. Coupled model transformations , 2008, WOSP '08.
[9] Thomas Bolander,et al. Undecidability in Epistemic Planning , 2013, IJCAI.
[10] Zinovy Diskin,et al. A Diagrammatic Logic for Object-Oriented Visual Modeling , 2008, Electron. Notes Theor. Comput. Sci..
[11] A. Colman,et al. Models of the medical consultation: opportunities and limitations of a game theory perspective , 2004, Quality and Safety in Health Care.
[12] Guy Shani,et al. Replanning in Domains with Partial Information and Sensing Actions , 2011, IJCAI.
[13] Contents , 2019, International Law Reports.
[14] Zinovy Diskin,et al. Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling , 2016, ECMFA.
[15] Christian J. Muise,et al. Planning Over Multi-Agent Epistemic States: A Classical Planning Approach , 2015, AAAI.
[16] Yngve Lamo,et al. Co-ordination of Multiple Metamodels, with Application to Healthcare Systems , 2014, EUSPN/ICTH.
[17] Lars Michael Kristensen,et al. WebDPF: A web-based metamodelling and model transformation environment , 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
[18] Adrian Rutle,et al. Diagram predicate framework: A formal approach to MDE , 2010 .
[19] Juan de Lara,et al. A declarative and bidirectional model transformation approach based on graph co-spans , 2013, PPDP.
[20] A. Perea. Epistemic Game Theory: Reasoning and Choice , 2012 .
[21] A. Perea ý Monsuwé. Epistemic Game Theory: Reasoning and Choice , 2012 .