Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@ - Natasha - Document - PDFSEARCH.IO

First Page	Meta Content
	Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@ Add to Reading List Document Date: 2010-07-07 05:27:15 Open Document File Size: 312,33 KB Share Result on Facebook Company RTL / / / Facility Computer Science The University of Nottingham Nottingham / / IndustryTerm model-checking algorithm / partial solutions / transition systems / / Organization University of Nottingham Nottingham / Reserve Bank of Australia / UK Engineering and Physical Sciences Research Council / Abdur Rakib School / / Person Ai / Natasha Alechina / Hoang Nga / Brian Logan / / Position MP / rt / simple model of communication / / Technology modelchecking algorithm / model-checking algorithm / / SocialTag Modal logic Entailment Combinatory logic Logic Artificial intelligence Epistemic modal logic

Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@Add to Reading List