Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 7 |
Ciencias Informáticas | 17 |
Distributed Systems | 1 |
Frameworks | 1 |
Informática | 2 |
Intelligent agents | 4 |
Knowledge Representation Formalisms and Methods | 3 |
Labeled deduction | 1 |
Logic Programming | 2 |
Semantics | 1 |
Specifying and Verifying and Reasoning about Programs | 1 |
Temporal logic | 1 |
Theory of Computation | 1 |
argumentation | 6 |
argumentation theories | 1 |
argumentative systems | 1 |
belief dynamics | 1 |
belief revision | 1 |
commonsense reasoning | 1 |
defeasible argumentation | 3 |
defeasible reasoning | 6 |
dialectics | 1 |
explanations | 1 |
informática | 2 |
knowledge representation | 17 |
labeled deduction | 1 |
labelled deduction | 1 |
logic programming | 1 |
logic programming applications | 1 |
modal logic | 1 |
negation as failure | 1 |
non-monotonic inference | 1 |
nonmonotonic reasoning | 1 |
object-oriented modeling | 1 |
ontologies | 1 |
ontology debugging | 1 |
ontology structure | 1 |
rational agents | 3 |
reasoning about change notion and actions | 1 |
semantic web | 2 |
temporal reasoning | 1 |
theory of conditionals | 1 |