Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 1 |
Almacenamiento y Recuperación de la Información | 1 |
Base de Datos | 1 |
Ciencias Informáticas | 17 |
Constrained optimization | 1 |
Default Logic | 1 |
Defeasible logic programming | 1 |
Frameworks | 1 |
HPC; original source code; MPI applications | 1 |
Hierarchical | 1 |
Informática | 3 |
Inheritance | 1 |
Intelligent agents | 2 |
Investigadores | 1 |
Knowledge Representation | 1 |
Knowledge Representation Formalisms and Methods | 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 | 1 |
Object recognition | 1 |
Optimization | 1 |
PROCESSOR ARCHITECTURES | 1 |
Processors | 1 |
Real time | 1 |
Robotics | 3 |
SOAR | 1 |
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 |
cognitive architecture | 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 |
manufacturing systems | 1 |
ontology production method | 1 |
problemas de optimización restringidos | 1 |
reasoning about change notion and actions | 1 |
reinforcement learning | 1 |
rescheduling | 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 |