Brian Logan's Publications

Parameterised Resource-Bounded ATL (2020)

By: Alechina, Natasha, Stephane Demri, and Logan, Brian

Download Information

Alechina, Natasha, Stephane Demri, and Logan, Brian (2020). "Parameterised Resource-Bounded ATL." Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20).

Bibtex citation

@inproceedings{Alechina//:20a,
author =    "Alechina, Natasha and Stephane Demri and Logan, Brian",
title =    "Parameterised Resource-Bounded {ATL}",
booktitle =    "Proceedings of the Thirty-Fourth {AAAI} Conference on Artificial Intelligence ({AAAI}-20)",
year =    2020,
month =    "February",
address =    "New York, USA",
organization = "AAAI",
publisher =    "AAAI Press",
}

---

full list