Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 44 |
Abstract argumentation | 1 |
Action Theories | 1 |
Agent | 1 |
Agent's Epistemic State | 1 |
Algorithms | 3 |
Annotated Logics | 1 |
AnsProlog | 2 |
Answer Set Semantics | 2 |
Architectures | 1 |
Artificial Intelligence | 1 |
Average tardiness scheduling problem | 1 |
Belief Change | 2 |
Belief Revision | 1 |
Capturing Reputation Features | 1 |
Ciencias Informáticas | 44 |
Communicating Distributed Agents | 1 |
Constrained optimization | 1 |
Controllers Design | 1 |
Defeasible Argumentation | 3 |
Defeasible argumentation | 2 |
Distributed Systems | 2 |
Dynamic Systems | 1 |
Emerging Patterns | 1 |
Environments | 1 |
Evolutionary Fuzzy Recurrent | 1 |
Evolutionary scheduling | 1 |
Finite Presheaf | 1 |
Frameworks | 4 |
General Approach | 1 |
Heuristic methods | 1 |
Implementation | 1 |
Information Retrieval | 1 |
Informática | 1 |
Inserting problem-specific knowledge | 1 |
Intelligent Advisor Systems | 1 |
Intelligent Tutoring Systems | 1 |
Intelligent agents | 16 |
Interfaces | 1 |
Knowledge Mining | 1 |
Knowledge Representation | 3 |
Knowledge Representation Formalisms and Methods | 1 |
Knowledge acquisition | 2 |
Labelled Deduction | 1 |
Logic Modules | 1 |
Logic Programming | 4 |
Logic Programs | 1 |
Logical Framework | 1 |
Matrix Connection Method | 1 |
Modeling Argumentation | 1 |
Multiagent systems | 3 |
Multiple Preference Criteria | 1 |
Neural Networks | 1 |
Neural nets | 1 |
Noise Treatment | 1 |
Observation-based Defeasible Logic Programming | 1 |
Ontology | 1 |
Ontology algebra | 1 |
Optimization | 1 |
Optimization of tardiness | 1 |
Paraconsistent Logics | 1 |
Parallel | 1 |
Parallel machine scheduling | 1 |
Perceptron | 1 |
Planning | 2 |
Prior Knowledge | 1 |
Prioritized Reasoning | 1 |
Program understanding | 1 |
Query Expansion | 1 |
Relevance | 1 |
Revisions of Orders | 1 |
SMA | 1 |
Scheduling | 2 |
Semantic Document Retrieval | 1 |
Semantic Representation of Legal Documents | 1 |
Semantic web | 1 |
Semantics | 4 |
Thcorem Proving | 1 |
Theory Change | 1 |
Theory of Computation | 2 |
Webexpert | 1 |
abstract frameworks | 1 |
abstract machines | 1 |
argumentation | 2 |
argumentative systems | 2 |
artificial immune system | 1 |
characterizing defeat | 1 |
considerations | 1 |
constrained optimization problem | 1 |
constraint satisfaction problems | 1 |
conventional heuristics | 1 |
defeasible argumentation | 3 |
defeasible reasoning | 3 |
dialogues between agents | 1 |
domain model | 1 |
evolutionary algorithms | 1 |
generic programming | 1 |
informática | 2 |
knowledge representation | 6 |
multirecombined evolutionary algorithms | 2 |