![Formal languages / Model theory / Philosophical logic / Modal logic / Interpretation / Epistemic modal logic / Kripke semantics / Function / Action selection / Logic / Mathematical logic / Mathematics Formal languages / Model theory / Philosophical logic / Modal logic / Interpretation / Epistemic modal logic / Kripke semantics / Function / Action selection / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/c4118ae9d2a548f23445294ee904bb48.jpg)
| Document Date: 2009-09-11 12:40:28 Open Document File Size: 80,31 KBShare Result on Facebook
City Nottingham / / Country United Kingdom / / / Facility IT University of Nottingham / / Holiday Assumption / / IndustryTerm abstraction tool / interpreted systems / agent systems / representational interpreted systems / cross product / / Organization Computer Science and IT University / Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science / / Position designer / representative / / Technology finite state machine / /
SocialTag |