de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; Meyer, J.-J. Ch. A verification framework for agent programming with declarative goals. (English) Zbl 1122.68078 J. Appl. Log. 5, No. 2, 277-302 (2007). MSC: 68Q60 68T01 03B70 68T05 PDFBibTeX XMLCite \textit{F. S. de Boer} et al., J. Appl. Log. 5, No. 2, 277--302 (2007; Zbl 1122.68078) Full Text: DOI
Mascardi, Viviana; Martelli, Maurizio; Sterling, Leon Logic-based specification languages for intelligent software agents. (English) Zbl 1085.68131 Theory Pract. Log. Program. 4, No. 4, 429-494 (2004). MSC: 68T05 68T01 68N99 68Q60 PDFBibTeX XMLCite \textit{V. Mascardi} et al., Theory Pract. Log. Program. 4, No. 4, 429--494 (2004; Zbl 1085.68131) Full Text: DOI
Luck, Michael; d’Inverno, Mark A conceptual framework for agent definition and development. (English) Zbl 0983.68165 Comput. J. 44, No. 1, 1-20 (2001). MSC: 68T05 68T20 68T99 PDFBibTeX XMLCite \textit{M. Luck} and \textit{M. d'Inverno}, Comput. J. 44, No. 1, 1--20 (2001; Zbl 0983.68165) Full Text: DOI Link
Baral, Chitta; Son, Tran Cao Extending ConGolog to allow partial ordering. (English) Zbl 0970.68634 Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 188-204 (2000). MSC: 68U99 68T40 PDFBibTeX XMLCite \textit{C. Baral} and \textit{T. C. Son}, Lect. Notes Comput. Sci. 1757, 188--204 (2000; Zbl 0970.68634)