A Specification Language for Agents Observable Behaviour

@inproceedings{obs-icai02,
   address = {Las Vegas, NV, USA},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {International Conference on Artificial Intelligence (IC-AI'02)},
   editor = {Arabnia, Hamid R. and Mun, Youngsong},
   isbn = {1-892512-25-4},
   month = {24--27~} # jul,
   pages = {321--327},
   publisher = {CSREA Press},
   title = {A Specification Language for Agents Observable Behaviour},
   volume = {I},
   year = 2002
}