Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 1 |
| Algorithms | 2 |
| Aplicación informática | 1 |
| Arquitectura de sistemas | 1 |
| Bibliotecología | 1 |
| Biology and genetics | 1 |
| Ciencias Informáticas | 32 |
| Constrained optimization | 1 |
| DSBC; OTS; GIS services; taxonomial; textual use cases | 1 |
| DSBC; OTS; GIS services; taxonomies;textual use cases | 1 |
| DSBC; OTS; servicios GIS/SIG ; taxonomías;textual use cases | 1 |
| Data Mining | 1 |
| Data warehouse and repository | 1 |
| Decision problems | 1 |
| Default Logic | 1 |
| Defeasible logic programming | 1 |
| Desarrollo de software basado en componentes | 1 |
| Frameworks | 1 |
| HPC; original source code; MPI applications | 1 |
| Hierarchical | 1 |
| Informática | 15 |
| Inheritance | 1 |
| Intelligent agents | 4 |
| Internet | 1 |
| Investigadores | 1 |
| Knowledge Representation | 1 |
| Knowledge Representation Formalisms and Methods | 3 |
| Knowledge acquisition | 1 |
| Logic Programming | 1 |
| Methodologies (e.g., object-oriented, structured) | 1 |
| Microprocessors and microcomputers | 1 |
| Nonmonotonic Reasoning | 1 |
| Nonmonotonic reasoning and belief revision | 1 |
| Optimization | 1 |
| PMBOK | 1 |
| PROCESSOR ARCHITECTURES | 1 |
| PROGRAMMING LANGUAGES | 1 |
| Preprocessors | 1 |
| Processors | 1 |
| Programación lógica | 1 |
| Revisión | 1 |
| Robotics | 5 |
| 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 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 |
| data verification | 1 |
| decision making | 1 |
| defeasible argumentation | 1 |
| defeasible reasoning | 2 |
| description logics | 2 |
| dinámica de dispositivos hipermediales; eventos discretos; DEVS; powerDEVS; ICT | 1 |
| distributed applications; migration; web environments | 1 |
| dynamic hypermedial device; discrete events; DEVS; interactions; powerDEVS; ICT | 1 |
| educación | 1 |
| formal specifications | 1 |
| genetic algorithms | 1 |
| high performance computing (HPC) | 1 |
| informática | 1 |
| intelligent tutoring systems | 1 |
| interoperability | 1 |
| jhepera robot | 1 |
| khepera | 1 |
| knowledge engineering | 1 |
| knowledge management | 1 |
| knowledge repository | 1 |
| knowledge representation | 1 |
| knowledge representation and reasoning | 1 |
| multi-agent systems | 1 |
| multi-agent systems; collaborative agents; interaction protocols; defeasible logic programming | 1 |
| ontology change | 1 |
| ontology production method | 1 |
| ontology; semantic web; local-as-view | 1 |
| preprocessor | 1 |
| problemas de optimización restringidos | 1 |
| reasoning about change notion and actions | 1 |
| repositorios | 1 |
| robot khepera | 1 |
| robotic software system; model-driven software development; software engineering; SOA; Component based software development | 1 |
| robótica cognitiva | 1 |
| semantic web | 2 |