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

DOI10.1007/11750734_2zbMath1236.68223OpenAlexW1592762049MaRDI QIDQ3623961

Christophe Garion, Claire Saurel, Laurence Cholvy

Publication date: 28 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750734_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Uses Software

• GOLOG

This page was built for publication: Ability in a Multi-agent Context: A Model in the Situation Calculus