Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 1 |
| Ciencias Informáticas | 14 |
| Constrained optimization | 1 |
| Default Logic | 1 |
| Defeasible logic programming | 1 |
| Frameworks | 1 |
| HPC; original source code; MPI applications | 1 |
| Hierarchical | 1 |
| Informática | 2 |
| Inheritance | 1 |
| Intelligent agents | 2 |
| Investigadores | 1 |
| Knowledge Representation | 1 |
| Knowledge Representation Formalisms and Methods | 1 |
| Methodologies (e.g., object-oriented, structured) | 1 |
| Microprocessors and microcomputers | 1 |
| Nonmonotonic Reasoning | 1 |
| Optimization | 1 |
| PROCESSOR ARCHITECTURES | 1 |
| Processors | 1 |
| Robotics | 3 |
| Software | 2 |
| Software development | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Temporal logic | 1 |
| aplicaciones distribuidas; migración; entornos web | 1 |
| aplicações distribuídas; migração; ambientes web | 1 |
| argumentative systems | 1 |
| artificial immune system | 1 |
| commonsense reasoning | 1 |
| constrained optimization problem | 1 |
| data verification | 1 |
| defeasible reasoning | 1 |
| distributed applications; migration; web environments | 1 |
| educación | 1 |
| informática | 1 |
| intelligent tutoring systems | 1 |
| knowledge engineering | 1 |
| knowledge representation | 1 |
| ontology production method | 1 |
| problemas de optimización restringidos | 1 |
| reasoning about change notion and actions | 1 |
| robotic software system; model-driven software development; software engineering; SOA; Component based software development | 1 |
| sistema inmune artificial | 1 |
| software | 1 |
| student evaluation | 1 |
| student model | 1 |
| tecnología | 1 |
| temporal reasoning | 1 |