Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Ciencias Informáticas | 4 |
| Informática | 2 |
| Knowledge Representation Formalisms and Methods | 4 |
| Learning | 1 |
| Multiagent systems | 1 |
| SOFTWARE ENGINEERING | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Tecnología Educacional | 1 |
| Temporal logic | 1 |
| argumentative systems | 1 |
| commonsense reasoning | 1 |
| defeasible reasoning | 1 |
| intelligent tutor systems; competency-based education; knowledge representation. | 1 |
| knowledge representation | 1 |
| reasoning about change notion and actions | 1 |
| sistema tutor inteligente; educación basada en competencias; representación del conocimiento | 1 |
| software engineering | 1 |
| temporal reasoning | 1 |