Colección: TEMAS
Temas | Cantidad |
---|---|
AIslanguages | 1 |
DAML OIL | 1 |
Description Logic | 2 |
Electronic contracts | 1 |
OWL | 1 |
Programmer's Apprentice | 1 |
RDF | 2 |
RLL | 1 |
RuleML | 1 |
Semantic Web | 2 |
Semantic Web Services | 1 |
VLSI design for testability | 1 |
Web Services | 1 |
XML | 2 |
abstraction | 1 |
artificial intelligence | 2 |
automated control | 1 |
automated control synthesis | 1 |
automated reasoning | 1 |
automatic programming | 1 |
autonomousssystems | 1 |
business process automation | 2 |
business rules | 1 |
causal reasoning | 1 |
clich'es | 1 |
commodities | 1 |
declarative | 1 |
discovery | 1 |
dynamical systems | 1 |
e-business | 1 |
e-commerce | 1 |
e-contracts | 1 |
electronic business | 1 |
electronic commerce | 1 |
explanation | 1 |
inferencing | 1 |
information integration | 1 |
information technologies | 2 |
intelligent agents | 2 |
intelligent assistant | 1 |
intelligent control | 1 |
interoperability | 1 |
knowledge representation | 11 |
knowledge-based | 1 |
knowledge-based systems | 3 |
logic programs | 2 |
model-theoretic semantics | 1 |
natural language | 1 |
non-linearsdynamical systems | 1 |
nonlinearscontrol | 1 |
numeric/symbolicsprocessing. | 1 |
ontologies | 2 |
planning and simulation | 1 |
process descriptions | 1 |
process knowledge | 1 |
reflection | 1 |
representation languages | 1 |
rules | 2 |
sanalogy | 1 |
smeta-representation | 1 |
software agents | 1 |
splans | 1 |
squalitative reasoning | 1 |
ssubsumption | 1 |
testsgeneration | 1 |
translation | 1 |
type inference | 1 |