Keywords
Computer scienceLayer (electronics)InferenceFormal methodsFormal languageDomain (mathematical analysis)Programming languageTask (project management)Order (exchange)Artificial intelligenceSoftware engineeringNatural language processingMathematicsBusinessFinanceSystems engineeringEngineering
Affiliated Institutions
Related Publications
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 ...
An investigation of the psychological processes underlying the debugging of computer programs
The primary objective of this thesis is to contribute to a theory of programmer expertise with respect to debugging computer programs. It is important to develop a theory of pro...
A Structure for Plans and Behavior
This report describes progress to date in the ability of a computer system to understand and reason about actions. A new method of representing actions within a computer's memor...
Components of expertise
This article discusses frameworks for studying expertise at the knowledge level and knowledge-use level. It reviews existing approaches such as inference structures, the distinc...
Publication Info
- Year
- 1992
- Type
- article
- Volume
- 4
- Issue
- 1
- Pages
- 127-161
- Citations
- 106
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
106
OpenAlex
Cite This
Frank van Harmelen,
John Balder
(1992).
(ML)2: A formal language for KADS models of expertise.
Knowledge Acquisition
, 4
(1)
, 127-161.
https://doi.org/10.1016/1042-8143(92)90017-u
Identifiers
- DOI
- 10.1016/1042-8143(92)90017-u