Colección: TEMAS
Temas | Cantidad |
---|---|
AIslanguages | 1 |
ARTIFICIAL INTELLIGENCE | 5 |
Ciencias Informáticas | 11 |
Informática | 2 |
Intelligent agents | 2 |
Knowledge Representation Formalisms and Methods | 1 |
Labeled deduction | 1 |
Logic Programming | 2 |
Programmer's Apprentice | 1 |
RLL | 1 |
Specifying and Verifying and Reasoning about Programs | 1 |
Temporal logic | 1 |
VLSI design for testability | 1 |
abstraction | 1 |
argumentation | 3 |
argumentative systems | 1 |
artificial intelligence | 2 |
automated control | 1 |
automated control synthesis | 1 |
automated reasoning | 1 |
automatic programming | 1 |
autonomousssystems | 1 |
belief dynamics | 1 |
belief revision | 1 |
causal reasoning | 1 |
clich'es | 1 |
commodities | 1 |
commonsense reasoning | 1 |
defeasible argumentation | 2 |
defeasible reasoning | 3 |
discovery | 1 |
dynamical systems | 1 |
explanation | 1 |
explanations | 1 |
informática | 2 |
intelligent assistant | 1 |
intelligent control | 1 |
knowledge representation | 20 |
knowledge-based systems | 3 |
labeled deduction | 1 |
logic programming | 1 |
logic programming applications | 1 |
modal logic | 1 |
natural language | 1 |
negation as failure | 1 |
non-linearsdynamical systems | 1 |
non-monotonic inference | 1 |
nonlinearscontrol | 1 |
numeric/symbolicsprocessing. | 1 |
object-oriented modeling | 1 |
ontology debugging | 1 |
planning and simulation | 1 |
rational agents | 2 |
reasoning about change notion and actions | 1 |
reflection | 1 |
representation languages | 1 |
sanalogy | 1 |
semantic web | 1 |
smeta-representation | 1 |
splans | 1 |
squalitative reasoning | 1 |
ssubsumption | 1 |
temporal reasoning | 1 |
testsgeneration | 1 |
theory of conditionals | 1 |
type inference | 1 |