• Login
• Admin

2020

Du, Heshan, Alechina, Natasha and Cohn, Anthony G. (2020) A logic of directions. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20). IJCAI. (In Press)

2018

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2018) Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract). In: 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), 13-19 July 2018, Stockholm, Sweden.

Alechina, Natasha and Logan, Brian (2018) Resource logics with a diminishing resource: extended abstract. In: 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 10-15 July 2018, Stockholm, Sweden.

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2018) Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Journal of Artificial Intelligence Research, 62 . ISSN 1943-5037

De Giacomo, Giuseppe, Vardi, Moshe Y., Felli, Paolo, Alechina, Natasha and Logan, Brian (2018) Synthesis of orchestrations of transducers for manufacturing. In: 32nd AAAI Conference on Artificial Intelligence (AAAI-18), 2-7 Feb 2018, New Orleans, USA.

2017

Alechina, Natasha, Hoek, Wiebe van der and Logan, Brian (2017) Fair decomposition of group obligations. Journal of Logic and Computation, 27 (7). pp. 2043-2062. ISSN 1465-363X

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2017) Model-checking for resource-bounded ATL with production and consumption of resources. Journal of Computer and System Sciences, 88 . pp. 126-144. ISSN 1090-2724

Galimullin, Rustam and Alechina, Natasha (2017) Coalition and coalition announcement logic. In: Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, 24-26 July 2017, Liverpool, United Kingdom.

Alechina, Natasha, Halpern, Joseph Y. and Logan, Brian (2017) Causality, responsibility and blame in team plans. In: 16th International Conference on Autonomous Agents and Multiagent Systems, 8-12 May 2017, Sao Paulo, Brazil.

Alechina, Natasha, Halpern, Joseph Y., Kash, Ian A. and Logan, Brian (2017) Incentivising monitoring in open normative systems. In: The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), 4-9 February, 2017, San Francisco, California, USA..

Alechina, Natasha, Bulling, Nils, Logan, Brian and Nguyen, Hoang Nga (2017) The virtues of idleness: a decidable fragment of resource agent logic. Artificial Intelligence . ISSN 0004-3702

2016

Alechina, Natasha, Bulling, Nils, Demri, Stephane and Logan, Brian (2016) On the complexity of resource-bounded logics. In: 10th International Workshop on Reachability Problems (RP 2016), 19-12 September 2016, Aalborg, Denmark.

Du, Heshan and Alechina, Natasha (2016) Qualitative spatial logics for buffered geometries. Journal of Artificial Intelligence Research, 56 . pp. 693-745. ISSN 1076-9757

Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2016) Verifying existence of resource-bounded coalition uniform strategies. In: 25th International Joint Conference on Artificial Intelligence, 9-13 July 2016, New York, NY.

Alechina, Natasha and Logan, Brian (2016) Verifying systems of resource-bounded agents. Lecture Notes in Computer Science, 9709 . pp. 3-12. ISSN 0302-9743

Du, Heshan, Alechina, Natasha, Jackson, Mike and Hart, Glen (2016) A method for matching crowd-sourced and authoritative geospatial data. Transactions in GIS . ISSN 1361-1682

Ågotnes, Thomas and Alechina, Natasha (2016) Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation . exv085. ISSN 0955-792X

2015

Alechina, Natasha, Bulling, Nils, Logan, Brian and Nguyen, Hoang Nga (2015) On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic. In: International Joint Conference on Artificial Intelligence (IJCAI-15), 25-31 July 2015, Buenos Aires, Argentina.

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RB+-ATL. In: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, 25-31 July 2015, Buenos Aires, Argentina.

Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian and Rakib, Abdur (2015) Alternating-time temporal logic with resource bounds. Journal of Logic and Computation . pp. 1-33. ISSN 0955-792X

Alechina, Natasha, Liu, Fenrong and Logan, Brian (2015) Efficient minimal preference change. Journal of Logic and Computation . ISSN 1465-363X

Alechina, Natasha, Bulling, Nils, Dastani, Mehdi and Logan, Brian (2015) Practical run-time norm enforcement with bounded lookahead. In: 14th International Conference on Autonomous Agents and Multiagent Systems, 4-8 May 2015, Istanbul, Turkey.

Du, Heshan, Nguyen, Hai Hoang, Alechina, Natasha, Logan, Brian, Jackson, Mike and Goodwin, John (2015) Using qualitative spatial logic for validating crowd-sourced geospatial data. In: Innovative Applications of Artificial Intelligence (IAAI-15), 25-29 Jan 2015, Austin, Texas, USA.

2014

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2014) Decidable model-checking for a resource logic with production of resources. In: European Conference on Artificial Intelligence (ECAI 2014), 18-22 Aug 2014, Prague, Czech Republic.

Agotnes, Thomas and Alechina, Natasha (2014) A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information, 23 (2). pp. 197-207. ISSN 0925-8531

Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2014) Norm approximation for imperfect monitors. In: 13th International Conference on Autonomous Agents & Multiagent Systems AAMAS 2014, 5-9 May 2014, Paris, France.

Doan, Thu Trang, Yuan, Yao, Alechina, Natasha and Logan, Brian (2014) Verifying heterogeneous multi-agent programs. In: 13th International Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2014, 5-9 May 2014, Paris, France.