Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 1 |
Algorithms | 2 |
Algoritmos | 1 |
Aplicación informática | 1 |
Arquitectura de sistemas | 1 |
Base de Datos | 1 |
Bibliotecología | 2 |
Biology and genetics | 1 |
Cartografía | 1 |
Ciencias Informáticas | 31 |
Computación gráfica | 1 |
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 |
Database Management Systems (DBMS) | 1 |
Decision problems | 1 |
Defeasible Logic Programming (DeLP) | 1 |
Desarrollo de software basado en componentes | 1 |
HPC; original source code; MPI applications | 1 |
Información | 1 |
Informática | 16 |
Inheritance | 1 |
Intelligent agents | 3 |
Internet | 1 |
Investigadores | 1 |
Knowledge Representation Formalisms and Methods | 3 |
Knowledge acquisition | 1 |
Logic Programming | 2 |
Methodologies (e.g., object-oriented, structured) | 1 |
Métodos de análisis estocástico | 1 |
Nonmonotonic reasoning and belief revision | 1 |
Organos artificiales | 1 |
PMBOK | 1 |
PROGRAMMING LANGUAGES | 1 |
Preprocessors | 1 |
Programación lógica | 1 |
Revisión | 1 |
Robotics | 4 |
SOFTWARE ENGINEERING | 1 |
Semantic networks | 1 |
Sistemas Gráficos | 1 |
Sistemas multiagentes | 1 |
Software | 2 |
Software development | 1 |
Specifying and Verifying and Reasoning about Programs | 1 |
Tableau calculi | 1 |
Temporal logic | 1 |
Universidad Nacional de La Plata, Servicio para la Difusión de la Creación Intelectual, repositorio, biblioteca web, tesis, archivos | 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 |
argumentation system | 1 |
argumentative systems | 1 |
artificial immune system | 1 |
artificial immune system; constrained optimization problem | 1 |
belief revision | 1 |
bibliotecas digitales | 1 |
cartography | 1 |
cognitive robotics | 1 |
collaborative problem solving | 1 |
commonsense reasoning | 1 |
constrained optimization problem | 1 |
contour line | 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 |
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 |
extraction | 1 |
formal specifications | 1 |
genetic algorithms | 1 |
graphics | 1 |
high performance computing (HPC) | 1 |
interoperability | 1 |
jhepera robot | 1 |
khepera | 1 |
knowledge base; symbolic | 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; 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 |
semantic web | 2 |