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 |