Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 29 |
Agent | 1 |
Agent's Epistemic State | 1 |
Algorithms | 2 |
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 |
Ciencias Informáticas | 29 |
Communicating Distributed Agents | 1 |
Constrained optimization | 1 |
Defeasible Argumentation | 2 |
Defeasible argumentation | 1 |
Evolutionary scheduling | 1 |
Frameworks | 2 |
Heuristic methods | 1 |
Information Retrieval | 1 |
Informática | 1 |
Inserting problem-specific knowledge | 1 |
Intelligent agents | 14 |
Knowledge Mining | 1 |
Knowledge Representation | 3 |
Knowledge Representation Formalisms and Methods | 1 |
Knowledge acquisition | 2 |
Labelled Deduction | 1 |
Logic Modules | 1 |
Logic Programming | 3 |
Logic Programs | 1 |
Logical Framework | 1 |
Matrix Connection Method | 1 |
Modeling Argumentation | 1 |
Multiagent systems | 1 |
Neural Networks | 1 |
Neural nets | 1 |
Noise Treatment | 1 |
Observation-based Defeasible Logic Programming | 1 |
Ontology | 1 |
Paraconsistent Logics | 1 |
Parallel | 1 |
Parallel machine scheduling | 1 |
Perceptron | 1 |
Planning | 2 |
Program understanding | 1 |
Query Expansion | 1 |
Relevance | 1 |
SMA | 1 |
Scheduling | 2 |
Semantic Document Retrieval | 1 |
Semantic Representation of Legal Documents | 1 |
Semantics | 3 |
Thcorem Proving | 1 |
Theory Change | 1 |
Webexpert | 1 |
abstract machines | 1 |
argumentation | 2 |
argumentative systems | 2 |
artificial immune system | 1 |
constrained optimization problem | 1 |
constraint satisfaction problems | 1 |
conventional heuristics | 1 |
defeasible argumentation | 2 |
defeasible reasoning | 3 |
domain model | 1 |
evolutionary algorithms | 1 |
informática | 2 |
knowledge acquisition | 1 |
knowledge management | 1 |
knowledge representation | 5 |
knowledge representation and reasoning | 1 |
labeled deduction | 1 |
logic programming applications | 1 |
maximum tardiness | 1 |
mobile agent | 1 |
modal logic | 1 |
multirecombination | 1 |
multirecombined evolutionary algorithms | 1 |
non-monotonic inference | 1 |
number of tardy jobs | 1 |
object-oriented modeling | 1 |
partial constraint satisfaction problems | 1 |
problem-specific knowledge | 1 |
problemas de optimización restringidos | 1 |
program slicing | 1 |
programming plans | 1 |
rational agents | 1 |
sistema inmune artificial | 1 |
theory of conditionals | 1 |