Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 7 |
Annotated Logics | 1 |
Ciencias Informáticas | 7 |
Finite Presheaf | 1 |
Intelligent agents | 1 |
Knowledge Mining | 1 |
Matrix Connection Method | 1 |
Paraconsistent Logics | 1 |
Thcorem Proving | 1 |
argumentation | 1 |
argumentative systems | 2 |
defeasible reasoning | 2 |
generic programming | 1 |
knowledge representation | 2 |
modal logic | 1 |
rational agents | 1 |
theory of conditionals | 1 |