Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y. Knowledge-based programs. (English) Zbl 1374.68102 Proceedings of the 14th annual ACM symposium on principles of distributed computing, PODC ’95, Ottawa, Canada, August 20–23, 1995. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-710-3). 153-163 (1995). For the entire collection see [Zbl 1323.68007]. Cited in 11 Documents MSC: 68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) 68M14 Distributed systems 68T30 Knowledge representation 68T42 Agent technology and artificial intelligence PDFBibTeX XMLCite \textit{R. Fagin} et al., in: Proceedings of the 14th annual ACM symposium on principles of distributed computing, PODC '95, Ottawa, Canada, August 20--23, 1995. New York, NY: Association for Computing Machinery (ACM). 153--163 (1995; Zbl 1374.68102) Full Text: DOI