Reactive Policy Checking for Action Languages (bibtex)
by Zeynep Gözen Saribatur
Reference:
Reactive Policy Checking for Action LanguagesZeynep Gözen SaribaturProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (Subbarao Kambhampati, ed.), pages 4024–4025, 2016, IJCAI/AAAI Press.
Bibtex Entry:
@inproceedings{DBLP:conf/ijcai/Saribatur16,
    author    = {Zeynep G{\"{o}}zen Saribatur},
    title     = {Reactive Policy Checking for Action Languages},
    booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016},
    editor    = {Subbarao Kambhampati},
    publisher = {{IJCAI/AAAI} Press},
    pages     = {4024--4025},
    year      = {2016},
    url       = {http://www.ijcai.org/Abstract/16/586}
}
Powered by bibtexbrowser