Keywords
Affiliated Institutions
Related Publications
Preliminary thoughts on an agent description language
As part of our work on agent-oriented programming,1 we are developing an agent description language. We describe an agent's “mental state” in terms of its knowledge, beliefs, de...
Planning using a temporal world model
Current problem solving systems are constrained in their applicability by inadequate world models. We suggest a world model based on a temporal logic. This approach allows the p...
Intelligent agents: theory and practice
Abstract The concept of an agent has become important in both artificial intelligence (AT) and mainstream computer science. Our aim in this paper is to point the reader at what ...
Smalltalk-80: The Language and its Implementation
Smalltalk-80 is the classic standard Smalltalk language as described in Smalltalk-80: The Language and Its Implementation by Goldberg and Robson. This book is commonly called “t...
Safety analysis of timing properties in real-time systems
The authors formalize the safety analysis of timing properties in real-time systems. The analysis is based on a formal logic, RTL (real-time logic), which is especially suitable...
Publication Info
- Year
- 2000
- Type
- article
- Volume
- 117
- Issue
- 2
- Pages
- 277-296
- Citations
- 1575
- Access
- Closed
External Links
Social Impact
Social media, news, blog, policy document mentions
Citation Metrics
Cite This
Identifiers
- DOI
- 10.1016/s0004-3702(99)00107-1