Ability in a Multi-agent Context: A Model in the Situation Calculus

Laurence Cholvy, Christophe Garion, Claire Saurel. Ability in a Multi-agent Context: A Model in the Situation Calculus. In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 23-36, Springer, 2005. [doi]

@inproceedings{CholvyGS05,
  title = {Ability in a Multi-agent Context: A Model in the Situation Calculus},
  author = {Laurence Cholvy and Christophe Garion and Claire Saurel},
  year = {2005},
  doi = {10.1007/11750734_2},
  url = {http://dx.doi.org/10.1007/11750734_2},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/CholvyGS05},
  cites = {0},
  citedby = {0},
  pages = {23-36},
  booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers},
  editor = {Francesca Toni and Paolo Torroni},
  volume = {3900},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33996-5},
}