Publications

Filters: Author is Mehdi Dastani  [Clear All Filters]
2012
Alechina, Natasha, Mehdi Dastani, and Brian Logan. "Programming Norm-Aware Agents." In Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), edited by Vincent Conitzer, Michael Winikoff, Lin Padgham and Wiebe van der Hoek, 1057-1064. Vol. 2. Valencia, Spain: IFAAMAS, 2012. Download: Alechina++:12a.pdf (178.2 KB)
Alechina, Natasha, Tristan Behrens, Koen V. Hindriks, and Brian Logan. "Query Caching in Agent Programming Languages." In Proceedings of the Tenth International Workshop on Programming Multi-Agent Systems (ProMAS 2012), edited by Mehdi Dastani, Brian Logan and Jomi F. Hubner, 117-131. Valencia, Spain, 2012. Download: Alechina++:12b.pdf (167.54 KB)
2011
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning about plan revision in BDI agent programs." Theoretical Computer Science 412, no. 44 (2011): 6115-6134. Download: Alechina++:11b.pdf (308.24 KB)
2010
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning about agent deliberation." Autonomous Agents and Multi-Agent Systems (2010): 1-26. Download: Alechina++:10b.pdf (329.68 KB)
Alechina, Natasha, Mehdi Dastani, Fahad Khan, Brian Logan, and John-Jules Ch. Meyer. "Using Theorem Proving to Verify Properties of Agent Programs." In Specification and Verification of Multi-agent Systems, edited by Mehdi Dastani, Koen V. Hindriks and John-Jules Ch. Meyer, 1–34. Springer, 2010. Download: Alechina++:10e.pdf (222.8 KB)
2008
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning About Agent Deliberation." In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08), edited by Gerhard Brewka and Jérôme Lang, 16–26. Sydney, Australia: AAAI, 2008. Download: Alechina++:08f.pdf (223.79 KB)
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "Reasoning about agent execution strategies (Short Paper)." In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), edited by Lin Padgham, David Parkes, Jörg Müller and Simon Parsons, 1455–1458. Vol. 3. Estoril, Portugal: IFAAMAS, 2008. Download: Alechina++:08b.pdf (114.6 KB)
2007
Alechina, Natasha, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer. "A Logic of Agent Programs." In Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007), 795–800. AAAI Press, 2007. Download: Alechina++:07a.pdf (134.04 KB)