Publications

Filters: Author is Natasha Alechina  [Clear All Filters]
2012
Nguyen, Hai, Natasha Alechina, and Brian Logan. "Axiom Pinpointing Using an Assumption-Based Truth Maintenance System." In Proceedings of the 25th International Workshop on Description Logics (DL 2012), edited by Yevgeny Kazakov, Domenico Lembo and Frank Wolter, 290-300. Rome, Italy, 2012. Download: Nguyen++:12a.pdf (333.1 KB)
Zappala, Julian, Natasha Alechina, and Brian Logan. Consensus Games In Proceedings of the Third Workshop on Cooperative Games in Multiagent Systems (CoopMAS-2012), Edited by Stephane Airiau, Yoram Bachrach, Edith Elkind and Lirong Xia. Valencia, Spain, 2012. Download: Zappala++:12b.pdf (167.48 KB)
Zappala, Julian, Natasha Alechina, and Brian Logan. Consensus Games (Extended Abstract) 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. Vol. 3. Valencia, Spain: IFAAMAS, 2012. Download: Zappala++:12a.pdf (120.23 KB)
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)
Doan, Thu Trang, Natasha Alechina, and Brian Logan. "The agent programming language meta-APL." In Proceedings of the Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011). Taipei, Taiwan, 2011. Download: Doan++:11a.pdf (151.68 KB)
Vikhorev, Konstantin, Natasha Alechina, and Brian Logan. "Agent programming with priorities and deadlines." In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems AAMAS 2011, edited by Kagan Turner, Pinar Yolum, Liz Sonenberg and Peter Stone, 397-404., 2011. Download: Vikhorev++:11a.pdf (205.67 KB)
Vikhorev, Konstantin, Natasha Alechina, Rafael H. Bordini, and Brian Logan. "An Operational Semantics for AgentSpeak(RT) (Preliminary Report)." In Proceedings of the Ninth International Workshop on Declarative Agent Languages and Technologies (DALT 2011). Taipei, Taiwan, 2011. Download: Vikhorev++:11b.pdf (179.69 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Automated verification of resource requirements in multi-agent systems using abstraction." In 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers, edited by Ron van der Meyden and Jan-Georg Smaus, 69-84. Vol. LNAI 6572. Springer, 2011. Download: Alechina++:11a.pdf (185.01 KB)
2010
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Resource-bounded alternating-time temporal logic." In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), edited by Wiebe van der Hoek, Gal Kaminka, Yves Lesp{\'}erance, Michael Luck and Sandip Sen, 481-488. Toronto, Canada: IFAAMAS, 2010. Download: Alechina++:10a.pdf (204.49 KB)
Alechina, Natasha, and Brian Logan. "Belief ascription under bounded resources." Synthese 173 (2010): 179–197. Download: Alechina+Logan:09b.pdf (198.98 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Logic for coalitions with bounded resources." Journal of Logic and Computation 21, no. 6 (2010): 907-937. Download: Alechina++:10d.pdf (312.33 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Automated verification of resource requirements in multi-agent systems using abstraction." In Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010), edited by Ron van der Meyden and Jan-Georg Smaus. Atlanta, GA, 2010. Download: Alechina++:10c.pdf (198.95 KB)
Alechina, Natasha, and Brian Logan. "Computationally grounded account of belief and awareness for AI agents." In Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010). Vol. CEUR-WS 627. Lyon, France, 2010. Download: Alechina+Logan:10a.pdf (152.74 KB)
Nguyen, Hai, Natasha Alechina, and Brian Logan. "Ontology Debugging with Truth Maintenance Systems." In ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10), Workshop Notes, edited by Alan Bundy, Jos Lehmann, Guilin Qi and Ivan Jose Varzinczak, 13-14. Lisbon, Portugal, 2010. Download: Nguyen++:10a.pdf (101 KB)
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)
Liu, Xiaofan, Natasha Alechina, and Brian Logan. "Syntax and Semantics for Business Rules." In Proceedings of the 14th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'2010). Cardiff, UK, 2010.
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)
2009
Vikhorev, Konstantin, Natasha Alechina, and Brian Logan. "The ARTS Real-Time Agent Architecture." In Proceedings of Second Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS2009). Turin, Italy, 2009. Download: Vikhorev++:09a.pdf (561.6 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Expressing Properties of Coalitional Ability under Resource Bounds." In Proceedings Second International Workshop on Logic, Rationality and Interaction (LORI-II), edited by Xiangdong He, John Horty and Eric Pacuit. Vol. 5834. Lecture Notes in Artificial Intelligence 5834. Chongqing, China: Springer, 2009. Download: Alechina++:09f.pdf (187.84 KB)
Doan, Thu Trang, Brian Logan, and Natasha Alechina. "Verifying Dribble Agents." In Seventh International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Workshop Notes, edited by Matteo Baldoni, Jamal Bentahar, John Lloyd and Birna M. van Riemsdijk, 162–177. Budapest Hungary, 2009. Download: Doan++:09a.pdf (176.43 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "A Logic for Coalitions with Bounded Resources." In Proceedings of the Twenty First International Joint Conference on Artificial Intelligence, edited by Craig Boutilier, 659–664. Vol. 2. Pasadena CA, USA: IJCAI/AAAI, 2009. Download: Alechina++:09b.pdf (153.87 KB)
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Verifying Properties of Coalitional Ability under Resource Bounds." In Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09), edited by Berndt Farwer. Los Angeles CA, USA, 2009. Download: Alechina++:09e.pdf (152.07 KB)