A formal specification of dMARS
- 1 January 1998
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 155-176
- https://doi.org/10.1007/bfb0026757
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Formal framework for hypertext systemsIEE Proceedings - Software Engineering, 1997
- A profile of the Australian Artificial Intelligence Institute [World Impact]IEEE Expert, 1996
- AgentSpeak(L): BDI agents speak out in a logical computable languageLecture Notes in Computer Science, 1996
- Intelligent agents: theory and practiceThe Knowledge Engineering Review, 1995
- This is myworld: The logic of an Agent-Oriented DAI testbedLecture Notes in Computer Science, 1995
- Intention is choice with commitmentArtificial Intelligence, 1990
- Plans and resource‐bounded practical reasoningComputational Intelligence, 1988
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986