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