Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 1 |
| Algorithms | 2 |
| Almacenamiento y Recuperación de la Información | 1 |
| Aplicación informática | 1 |
| Arquitectura de sistemas | 1 |
| Base de Datos | 1 |
| Bibliotecología | 1 |
| Biology and genetics | 1 |
| Ciencias Informáticas | 26 |
| Constrained optimization | 1 |
| Data Mining | 1 |
| Data warehouse and repository | 1 |
| Decision problems | 1 |
| HPC; original source code; MPI applications | 1 |
| Informática | 14 |
| Inheritance | 1 |
| Intelligent agents | 3 |
| Internet | 1 |
| Investigadores | 1 |
| Knowledge Representation Formalisms and Methods | 3 |
| Knowledge acquisition | 1 |
| Learning | 1 |
| Manufacturing | 1 |
| Medicine and science | 1 |
| Methodologies (e.g., object-oriented, structured) | 1 |
| Microprocessors and microcomputers | 1 |
| Models of Computation | 1 |
| Nonmonotonic reasoning and belief revision | 1 |
| Object recognition | 1 |
| PMBOK | 1 |
| PROCESSOR ARCHITECTURES | 1 |
| PROGRAMMING LANGUAGES | 1 |
| Preprocessors | 1 |
| Processors | 1 |
| Programación lógica | 1 |
| Real time | 1 |
| Revisión | 1 |
| Robotics | 4 |
| SOAR | 1 |
| SOFTWARE ENGINEERING | 1 |
| Semantic networks | 1 |
| Sistemas multiagentes | 1 |
| Software | 2 |
| Software development | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Tableau calculi | 1 |
| Temporal logic | 1 |
| abduction | 1 |
| agent architectures | 1 |
| agent programming languages | 1 |
| agent theories | 1 |
| aplicaciones distribuidas; migración; entornos web | 1 |
| aplicações distribuídas; migração; ambientes web | 1 |
| argumentative systems | 1 |
| artificial immune system | 1 |
| belief revision | 1 |
| bibliotecas digitales | 1 |
| cognitive architecture | 1 |
| cognitive robotics | 1 |
| collaborative problem solving | 1 |
| commonsense reasoning | 1 |
| constrained optimization problem | 1 |
| data mining; expert systems; knowledge discovery; knowledge based systems; systems architectures | 1 |
| decision making | 1 |
| defeasible argumentation | 1 |
| defeasible reasoning | 2 |
| description logics | 2 |
| distributed applications; migration; web environments | 1 |
| formal specifications | 1 |
| genetic algorithms | 1 |
| interoperability | 1 |
| jhepera robot | 1 |
| khepera | 1 |
| knowledge management | 1 |
| knowledge repository | 1 |
| knowledge representation | 1 |
| knowledge representation and reasoning | 1 |
| manufacturing systems | 1 |
| multi-agent systems | 1 |
| multi-agent systems; collaborative agents; interaction protocols; defeasible logic programming | 1 |
| ontology change | 1 |
| preprocessor | 1 |
| problemas de optimización restringidos | 1 |
| reasoning about change notion and actions | 1 |
| reinforcement learning | 1 |
| repositorios | 1 |
| rescheduling | 1 |
| robot khepera | 1 |
| robotic software system; model-driven software development; software engineering; SOA; Component based software development | 1 |
| robótica cognitiva | 1 |
| seeding | 1 |
| semantic web | 2 |
| sistema inmune artificial | 1 |
| software | 1 |
| software engineering economics | 1 |
| strip packing | 1 |
| tableau calculi | 1 |
| temporal reasoning | 1 |
| toma de decisiones | 1 |
| use case points method | 1 |