Reactive Policy Checking for Action Languages

Cite

Text

Saribatur. "Reactive Policy Checking for Action Languages." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Saribatur. "Reactive Policy Checking for Action Languages." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/saribatur2016ijcai-reactive/)

BibTeX

@inproceedings{saribatur2016ijcai-reactive,
  title     = {{Reactive Policy Checking for Action Languages}},
  author    = {Saribatur, Zeynep G.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {4024-4025},
  url       = {https://mlanthology.org/ijcai/2016/saribatur2016ijcai-reactive/}
}