A Language to Formalize and to Operationalize Problem-solving Strategies of Structured Knowledge Models
| Data(s) |
1998
|
|---|---|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador | |
| Idioma(s) |
eng |
| Publicador |
Facultad de Informática (UPM) |
| Relação |
http://oa.upm.es/14244/1/98-language-problem-solving.pdf |
| Direitos |
(c) Editor/Autor info:eu-repo/semantics/openAccess |
| Fonte |
Proceedings of 8th Workshop on Knowledge Engineering: Methods & Languages KEML 98 | 8th Workshop on Knowledge Engineering: Methods & Languages KEML 98 | 1998 | Karlsruhe, Alemania |
| Palavras-Chave | #Informática |
| Tipo |
info:eu-repo/semantics/conferenceObject Ponencia en Congreso o Jornada PeerReviewed |
