A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl - Natasha - Document - PDFSEARCH.IO

First Page	Meta Content
	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Document Date: 2008-06-18 10:27:16 Open Document File Size: 148,01 KB Share Result on Facebook Company Agent-Environment Systems / / Country Netherlands / / / Facility Brian Logan University of Nottingham School / / IndustryTerm state transition systems / agent systems / labelled transition systems / agentenvironment systems / transition systems / / Organization e.g. / Brian Logan University of Nottingham School / / Person Brian Logan / Natasha Alechina / Brian Logan Our / Clarke / Emerson / / Position MP / agent designer / Prime Minister / moving forward / / ProgrammingLanguage C / K / / Technology intelligent agent / / SocialTag Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language

A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.ukAdd to Reading List