Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H - Agent Logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H Add to Reading List Document Date: 2011-06-27 10:05:13 Open Document File Size: 381,26 KB Share Result on Facebook City Rio de Janeiro / / Company Multiagent Systems / Ki / / Currency cent / / / IndustryTerm multi-agent systems / complicated systems / epistemic operator / / Movie A. D. / / Person Bui / / Position T. D. / / PublishedMedium Lecture Notes in Computer Science / / Technology artificial intelligence / dom / / SocialTag Modal logic Non-classical logic Common knowledge Multi-agent system Model checking Temporal logic Proposition Kripke semantics Logic Mathematical logic

Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco HAdd to Reading List