Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 6 |
Annotated Logics | 1 |
AnsProlog | 1 |
Answer Set Semantics | 1 |
Belief Change | 1 |
Ciencias Informáticas | 9 |
Computer Uses in Education | 1 |
Docentes | 1 |
Educación | 2 |
Educación a Distancia | 1 |
Education | 1 |
Intelligent agents | 3 |
Knowledge Mining | 1 |
Knowledge Representation | 1 |
Logic Programming | 1 |
Matrix Connection Method | 1 |
Paraconsistent Logics | 1 |
Program understanding | 1 |
Semantics | 1 |
Tecnología de la Información | 1 |
Thcorem Proving | 1 |
abstract machines | 1 |
constraint satisfaction problems | 1 |
defeasible argumentation | 1 |
digital forensics | 1 |
domain model | 1 |
knowledge management | 1 |
knowledge representation | 1 |
knowledge representation and reasoning | 1 |
modal logic | 1 |
partial constraint satisfaction problems | 1 |
program slicing | 1 |
programming plans | 1 |
tecnología | 1 |
theory of conditionals | 1 |
web forums | 1 |