Checking the Conformance of Requirements in Agent Designs Using ATL. (bibtex)
by Nitin Yadav, John Thangarajah
Reference:
Checking the Conformance of Requirements in Agent Designs Using ATL. - Nitin Yadav, John Thangarajah, In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016) (G. A. Kaminka, M. Fox, P. Bouquet, Hullermeijer E., Dignum F., Dignum V., van Harmalen F., eds.), IOS Press, 243-251, The Hague, The Netherlands, 2016.
Bibtex Entry:
@inproceedings{NitinEcai2016,
author =    "Nitin Yadav and John Thangarajah",
title =    "Checking the Conformance of Requirements in Agent Designs Using ATL.",
booktitle =    "Proceedings of the 22nd European Conference on Artificial Intelligence ({ECAI}-2016)",
year =    2016,
editor =    "Kaminka, G. A. and Fox, M. and Bouquet, P. and Hullermeijer E. and Dignum F. and Dignum V. and van Harmalen F.",
address =    "The Hague, The Netherlands",
month =    "August",
organization = "ECCAI",
publisher =    "IOS Press",
pages =    "243-251",
}
Powered by bibtexbrowser