Engineering AgentSpeak(L): a formal computational model
DOI10.1093/LOGCOM/8.3.233zbMATH Open0904.68060OpenAlexW2012164491MaRDI QIDQ4209286FDOQ4209286
Authors: 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
Recommendations
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- Intelligent agents II, Agent theories, architectures, and languages. IJCAI '95 workshop (ATAL), Montréal, Canada, August 19-20, 1995. Proceedings
- Language design issues for agents based on linear logic (extended abstract)
- scientific article; zbMATH DE number 140411
formal specificationintelligent agentsagent languagesBDI architecturesbelief-desire-intention framework
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cited In (29)
- A flexible plan step execution model for BDI agents
- BDI Agent Programming in AgentSpeak Using Jason
- Semantical considerations on intention dynamics for BDI agents
- Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
- Title not available (Why is that?)
- CTL AgentSpeak(L): A specification language for agent programs
- Logic-based specification languages for intelligent software agents
- Computational Logic in Multi-Agent Systems
- Title not available (Why is that?)
- LASS -- a language for agent-oriented software specification
- On the testability of BDI agent systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- The semantics of behavior
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computational Logic in Multi-Agent Systems
- Title not available (Why is that?)
- Standard type soundness for agents and artifacts
- A formal framework for interactive agents
- Reasoning about rational agents
- Language design issues for agents based on linear logic (extended abstract)
- Title not available (Why is that?)
- A formal approach to embedding first-principles planning in BDI agent systems
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- Markov decision processes and the belief-desire-intention model. Bridging the gap for autonomous agents
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Engineering AgentSpeak(L): a formal computational model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4209286)
