Publications

Filters: Author is John-Jules Ch. Meyer  [Clear All Filters]
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, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Reasoning about other agents' beliefs under bounded resources." In Pre-proceedings of the KR2008 Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), edited by John-Jules Ch. Meyer and Jan Broersen, 4–18. Sydney, Australia, 2008. Download: Alechina++:08h.pdf (170.77 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)