Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 21.

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

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

Nguyen, Hoang Nga and Alechina, Natasha and 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 and 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.

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

Alechina, Natasha and Logan, Brian and 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.

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

Alechina, Natasha and Hoek, Wiebe van der and Logan, Brian (2016) Fair decomposition of group obligations. Journal of Logic and Computation . ISSN 1465-363X (In Press)

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

Alechina, Natasha and Logan, Brian and 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 . ISSN 1090-2724

Alechina, Natasha and 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.

Alechina, Natasha and Bulling, Nils and 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 and Bulling, Nils and 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.

Alechina, Natasha and Bulling, Nils and 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 and Alechina, Natasha (2016) Qualitative spatial logics for buffered geometries. Journal of Artificial Intelligence Research, 56 . pp. 693-745. ISSN 1076-9757

Alechina, Natasha and Logan, Brian and 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.

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

Du, Heshan and Nguyen, Hai Hoang and Alechina, Natasha and Logan, Brian and 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.

Alechina, Natasha and 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.

Doan, Thu Trang and Yuan, Yao and 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.

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

This list was generated on Mon May 29 06:27:13 2017 UTC.