Colección: TEMAS
| Temas | Cantidad |
|---|---|
| AIslanguages | 1 |
| ARTIFICIAL INTELLIGENCE | 7 |
| Ciencias Informáticas | 17 |
| DAML OIL | 1 |
| Description Logic | 2 |
| Distributed Systems | 1 |
| Electronic contracts | 1 |
| Frameworks | 1 |
| Informática | 2 |
| Intelligent agents | 4 |
| Knowledge Representation Formalisms and Methods | 3 |
| Labeled deduction | 1 |
| Logic Programming | 2 |
| OWL | 1 |
| Ontology fusion | 1 |
| Programmer's Apprentice | 1 |
| RDF | 2 |
| RLL | 1 |
| RuleML | 1 |
| Semantic Web | 2 |
| Semantic Web Services | 1 |
| Semantics | 1 |
| Specifying and Verifying and Reasoning about Programs | 1 |
| Temporal logic | 1 |
| Theory of Computation | 1 |
| VLSI design for testability | 1 |
| Web Services | 1 |
| XML | 2 |
| abstraction | 1 |
| argumentation | 6 |
| argumentation theories | 1 |
| argumentative systems | 1 |
| artificial intelligence | 3 |
| automated control | 1 |
| automated control synthesis | 1 |
| automated reasoning | 1 |
| automatic programming | 1 |
| autonomousssystems | 1 |
| belief dynamics | 1 |
| belief revision | 1 |
| business process automation | 2 |
| business rules | 1 |
| causal reasoning | 1 |
| clich'es | 1 |
| commodities | 1 |
| commonsense reasoning | 1 |
| declarative | 1 |
| defeasible argumentation | 3 |
| defeasible reasoning | 6 |
| dialectics | 1 |
| discovery | 1 |
| dynamical systems | 1 |
| e-business | 1 |
| e-commerce | 1 |
| e-contracts | 1 |
| electronic business | 1 |
| electronic commerce | 1 |
| explanation | 1 |
| explanations | 1 |
| inferencing | 1 |
| information integration | 1 |
| information technologies | 2 |
| informática | 2 |
| intelligent agents | 2 |
| intelligent assistant | 1 |
| intelligent control | 1 |
| interoperability | 1 |
| knowledge representation | 29 |
| knowledge-based | 1 |
| knowledge-based systems | 3 |
| labeled deduction | 1 |
| labelled deduction | 1 |
| logic programming | 1 |
| logic programming applications | 1 |
| logic programs | 2 |
| modal logic | 1 |
| model-theoretic semantics | 1 |
| natural language | 1 |
| negation as failure | 1 |
| non-linearsdynamical systems | 1 |
| non-monotonic inference | 1 |
| nonlinearscontrol | 1 |
| nonmonotonic reasoning | 1 |
| numeric/symbolicsprocessing. | 1 |
| object-oriented modeling | 1 |
| ontologies | 3 |
| ontology | 1 |
| ontology debugging | 1 |
| ontology structure | 1 |
| planning and simulation | 1 |
| process descriptions | 1 |
| process knowledge | 1 |
| rational agents | 3 |
| reasoning about change notion and actions | 1 |
| reflection | 1 |
| representation languages | 1 |
| rules | 2 |
| sanalogy | 1 |
| semantic processing | 1 |
| semantic web | 2 |