Natasha Alechina's Publications

A Logic of Agent Programs (2007)

By: Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer

Download Information

Natasha Alechina, Mehdi Dastani, Brian Logan, and John-Jules Ch. Meyer (2007). "A Logic of Agent Programs." Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007) (pp. 795-800). pdf    

Bibtex citation

@inproceedings{Alechina//:07a,
author =    {Natasha Alechina and Mehdi Dastani and Brian Logan and John-Jules Ch. Meyer},
title =    {A Logic of Agent Programs},
booktitle =    {Proceedings of the Twenty-Second National Conference on Artificial Intelligence ({AAAI} 2007)},
year =    2007,
pages =    {795--800},
location =    {Vancouver, Canada},
publisher =    {AAAI Press},
isbn =    {ISBN 978-1-57735-323-2},
}

full list