Colección: TEMAS
| Temas | Cantidad |
|---|---|
| AIslanguages | 1 |
| Description Logic | 1 |
| Programmer's Apprentice | 1 |
| RDF | 1 |
| RLL | 1 |
| Semantic Web | 1 |
| VLSI design for testability | 1 |
| XML | 1 |
| abstraction | 1 |
| artificial intelligence | 2 |
| automated control | 1 |
| automated control synthesis | 1 |
| automated reasoning | 1 |
| automatic programming | 1 |
| autonomousssystems | 1 |
| business process automation | 1 |
| causal reasoning | 1 |
| clich'es | 1 |
| commodities | 1 |
| discovery | 1 |
| dynamical systems | 1 |
| explanation | 1 |
| inferencing | 1 |
| information integration | 1 |
| information technologies | 1 |
| intelligent agents | 1 |
| intelligent assistant | 1 |
| intelligent control | 1 |
| interoperability | 1 |
| knowledge representation | 10 |
| knowledge-based systems | 3 |
| logic programs | 1 |
| model-theoretic semantics | 1 |
| natural language | 1 |
| non-linearsdynamical systems | 1 |
| nonlinearscontrol | 1 |
| numeric/symbolicsprocessing. | 1 |
| ontologies | 1 |
| planning and simulation | 1 |
| reflection | 1 |
| representation languages | 1 |
| rules | 1 |
| sanalogy | 1 |
| smeta-representation | 1 |
| splans | 1 |
| squalitative reasoning | 1 |
| ssubsumption | 1 |
| testsgeneration | 1 |
| translation | 1 |
| type inference | 1 |