A Logic of Agent Programs

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

AAAI 2007 pp. 795-800

/aaai/2007/alechina2007aaai-logic/

Cite

Text

Alechina et al. "A Logic of Agent Programs." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Alechina et al. "A Logic of Agent Programs." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/alechina2007aaai-logic/)

BibTeX

@inproceedings{alechina2007aaai-logic,
  title     = {{A Logic of Agent Programs}},
  author    = {Alechina, Natasha and Dastani, Mehdi and Logan, Brian and Meyer, John-Jules Ch.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {795-800},
  url       = {https://mlanthology.org/aaai/2007/alechina2007aaai-logic/}
}