Colección: TEMAS
Temas | Cantidad |
---|---|
ARTIFICIAL INTELLIGENCE | 29 |
Abstract argumentation | 1 |
Action Theories | 1 |
Agent's Epistemic State | 1 |
Algorithms | 3 |
AnsProlog | 1 |
Answer Set Semantics | 1 |
Artificial Intelligence | 1 |
Belief Change | 1 |
Belief Revision | 1 |
Capturing Reputation Features | 1 |
Ciencias Informáticas | 29 |
Communicating Distributed Agents | 1 |
Controllers Design | 1 |
Defeasible Argumentation | 2 |
Defeasible argumentation | 2 |
Distributed Systems | 2 |
Dynamic Systems | 1 |
Emerging Patterns | 1 |
Environments | 1 |
Evolutionary Fuzzy Recurrent | 1 |
Frameworks | 3 |
General Approach | 1 |
Implementation | 1 |
Inserting problem-specific knowledge | 1 |
Intelligent Advisor Systems | 1 |
Intelligent Tutoring Systems | 1 |
Intelligent agents | 9 |
Interfaces | 1 |
Knowledge Representation | 2 |
Knowledge Representation Formalisms and Methods | 1 |
Knowledge acquisition | 2 |
Labelled Deduction | 1 |
Logic Modules | 1 |
Logic Programming | 2 |
Logic Programs | 1 |
Logical Framework | 1 |
Modeling Argumentation | 1 |
Multiagent systems | 2 |
Multiple Preference Criteria | 1 |
Neural Networks | 1 |
Neural nets | 1 |
Observation-based Defeasible Logic Programming | 1 |
Ontology algebra | 1 |
Optimization | 1 |
Optimization of tardiness | 1 |
Parallel | 1 |
Parallel machine scheduling | 1 |
Perceptron | 1 |
Planning | 1 |
Prior Knowledge | 1 |
Prioritized Reasoning | 1 |
Program understanding | 1 |
Relevance | 1 |
Revisions of Orders | 1 |
Scheduling | 1 |
Semantic web | 1 |
Semantics | 2 |
Theory Change | 1 |
Theory of Computation | 2 |
Webexpert | 1 |
abstract frameworks | 1 |
abstract machines | 1 |
argumentation | 2 |
characterizing defeat | 1 |
considerations | 1 |
constraint satisfaction problems | 1 |
defeasible argumentation | 3 |
defeasible reasoning | 1 |
dialogues between agents | 1 |
domain model | 1 |
evolutionary algorithms | 1 |
informática | 2 |
knowledge acquisition | 1 |
knowledge representation | 4 |
knowledge representation and reasoning | 1 |
labeled deduction | 1 |
labelled deduction | 1 |
logic programming | 1 |
maximum tardiness | 1 |
modelling argumentation lines | 1 |
multirecombination | 1 |
multirecombined evolutionary algorithms | 2 |
non-monotonic inference | 1 |
number of tardy jobs | 1 |
observation-based | 1 |
partial constraint satisfaction problems | 1 |
program slicing | 1 |
programming plans | 1 |
rational agents | 1 |
reasoning module interface | 1 |
single machine environments | 1 |