Colección: TEMAS

Temas Cantidad
ARTIFICIAL INTELLIGENCE6
Agent1
Algorithms1
Ciencias Informáticas23
Conocimiento1
Constrained optimization1
Data mining3
Default Logic1
Defeasible argumentation1
Defeasible logic programming1
Domain Oriented Software Engineering Environments1
Environments2
FP-less Environment1
Frameworks3
Fuzzy prolog1
Hierarchical1
Image databases1
Informática4
Inteligencia Artificial1
Intelligent agents4
Introducing Scheme1
Knowledge Representation1
Knowledge Representation Formalisms and Methods2
Microprocessors and microcomputers1
Nonmonotonic Reasoning1
Ontologies1
Ontology1
Ontology Editors1
Optimization1
PROCESSOR ARCHITECTURES1
PROGRAMMING LANGUAGES1
Parallel2
Parallel machine scheduling1
Planning1
Processors1
Robotics2
SMA1
SOFTWARE ENGINEERING2
Scheduling1
Security and protection (e.g., firewalls)1
Software Engineering Environments1
Software development1
Specifying and Verifying and Reasoning about Programs1
Temporal logic1
Uncertainty, ``fuzzy,'' and probabilistic reasoning1
Web-based services1
abstract frameworks1
argumentative systems1
artificial immune system1
base de datos1
belief dynamics1
belief revision1
classification rules1
commonsense reasoning1
comprehensible knowledge1
constrained optimization problem1
data verification1
defeasible reasoning1
educación1
engenharia de requisitos1
evolutionary algorithms1
explanations1
genetic programming1
image mining1
image mining system1
informática2
intelligent tutoring systems1
knowledge1
knowledge engineering1
knowledge representation2
maximum tardiness1
minería de imágenes1
modelling argumentation lines1
multirecombination1
number of tardy jobs1
ontology production method1
parallel systems1
parallel techniques1
problemas de optimización restringidos1
ranking1
razonamiento rebatible1
reasoning about change notion and actions1
representación de conocimiento1
robotic software system; model-driven software development; software engineering; SOA; Component based software development1
sistema de minería de imágenes1
sistema inmune artificial1
sistemas argumentativos1
student evaluation1
student model1
tecnología1
temporal reasoning1
técnicas de paralelismo1
técnicas de representação do conhecimento1