Expressing Properties of Coalitional Ability under Resource Bounds ? Natasha Alechina Brian Logan - Natasha - Document - PDFSEARCH.IO

First Page	Meta Content
	Expressing Properties of Coalitional Ability under Resource Bounds ? Natasha Alechina Brian Logan Add to Reading List Document Date: 2009-08-17 09:53:06 Open Document File Size: 187,84 KB Share Result on Facebook Currency pence / USD / / / Facility Computer Science University of Nottingham Nottingham / / IndustryTerm model-checking algorithm / multi-agent systems / state transition systems / verification tools / / Organization Computer Science University of Nottingham Nottingham / Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib School / / Person Natasha Alechina Brian Logan Nguyen / / Position rt / / Technology model-checking algorithm / / SocialTag Entailment Logical consequence Metalogic Modal logic Valuation Logic Philosophical logic Deduction

Expressing Properties of Coalitional Ability under Resource Bounds ? Natasha Alechina Brian LoganAdd to Reading List