Colección: TEMAS
| Temas | Cantidad |
|---|---|
| AI | 1 |
| abstraction | 1 |
| analogy | 1 |
| automated reasoning | 1 |
| causal reasoning | 1 |
| explanation | 1 |
| knowledge acquisition | 1 |
| knowledge capture | 1 |
| knowledge representation | 1 |
| natural language | 4 |
| obviousness | 1 |
| reasoning | 1 |
| sanalogy | 1 |
| slexical semantics | 1 |
| smathematical induction | 1 |
| syntax | 1 |
| temporal representation | 1 |
| tense | 1 |
| theorem proving | 1 |
| tractable inference | 1 |