Engineering AgentSpeak(L): a formal computational model

DOI10.1093/logcom/8.3.233zbMath0904.68060OpenAlexW2012164491MaRDI QIDQ4209286

Mark d'Inverno, Michael Luck

Publication date: 9 November 1998

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/014c238197f4368a37b654e14087ad82c0aa49e4

zbMATH Keywords

formal specificationintelligent agentsagent languagesBDI architecturesbelief-desire-intention framework

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Uses Software

• AgentSpeak
• Z/EVES

This page was built for publication: Engineering AgentSpeak(L): a formal computational model