Colección: TEMAS
| Temas | Cantidad |
|---|---|
| Algorithms | 1 |
| Ciencias Informáticas | 4 |
| Informática | 1 |
| Knowledge Representation Formalisms and Methods | 2 |
| Logic Programming | 2 |
| Nonmonotonic reasoning and belief revision | 4 |
| belief revision | 1 |
| description logics | 2 |
| ontology change | 2 |
| tableau calculi | 1 |