Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 1 |
Ciencias Informáticas | 15 |
Constrained optimization | 1 |
Data warehouse and repository | 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 |
Knowledge acquisition | 1 |
Methodologies (e.g., object-oriented, structured) | 1 |
Microprocessors and microcomputers | 1 |
Nonmonotonic Reasoning | 1 |
Optimization | 1 |
PROCESSOR ARCHITECTURES | 1 |
Processors | 1 |
Robotics | 3 |
Semantic networks | 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 |
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 |
interoperability | 1 |
knowledge engineering | 1 |
knowledge management | 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 |
semantic web | 1 |
sistema inmune artificial | 1 |
software | 1 |
student evaluation | 1 |
student model | 1 |
tecnología | 1 |
temporal reasoning | 1 |
virtual communities | 1 |
web standards | 1 |