Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (93kB) | Preview |
A Language to Formalize and to Operationalize Problem-solving Strategies of Structured Knowledge Models
Citation
Molina, Martin 
ORCID: https://orcid.org/0000-0001-7145-1974, Sierra, José Luis and Serrano, Juan Manuel
(1998).
A Language to Formalize and to Operationalize Problem-solving Strategies of Structured Knowledge Models.
In: "8th Workshop on Knowledge Engineering: Methods & Languages KEML 98", 1998, Karlsruhe, Alemania.
Description
| Title: | A Language to Formalize and to Operationalize Problem-solving Strategies of Structured Knowledge Models |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | 8th Workshop on Knowledge Engineering: Methods & Languages KEML 98 |
| Event Dates: | 1998 |
| Event Location: | Karlsruhe, Alemania |
| Title of Book: | Proceedings of 8th Workshop on Knowledge Engineering: Methods & Languages KEML 98 |
| Date: | 1998 |
| Subjects: | |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | None |
Abstract
This paper describes a proposal of a language called Link which has been designed to formalize and operationalize problem solving strategies. This language is used within a software environment called KSM (Knowledge Structure Manager) which helps developers in formulating and operationalizing structured knowledge models. The paper presents both its syntax and dynamics, and gives examples of well-known problem-solving strategies of reasoning formulated using this language.
More information
| Item ID: | 14244 |
|---|---|
| DC Identifier: | https://oa.upm.es/14244/ |
| OAI Identifier: | oai:oa.upm.es:14244 |
| Deposited by: | Martin Molina |
| Deposited on: | 08 Jan 2013 07:33 |
| Last Modified: | 21 Apr 2016 13:47 |
