Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2020 | 2018 | 2017 | 2016 | 2015 | 2014
Number of items: 27.

2020

Du, Heshan and 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 and Halpern, Joseph Y. and 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 and Halpern, Joseph Y. and 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 and Vardi, Moshe Y. and Felli, Paolo and 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 and 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 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, 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 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.

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

2016

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.

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 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 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

Ã…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 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 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.

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 Liu, Fenrong and Logan, Brian (2015) Efficient minimal preference change. Journal of Logic and Computation . ISSN 1465-363X

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 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.

2014

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.

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 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.

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.

This list was generated on Fri Apr 16 07:24:18 2021 UTC.