English (en-US)reasoning
-
OSIM: CoSKOSAM User Guide for final usersOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning534 Accessi Voto
-
Collaborativo e assistito COSAS Generazione e gestioneMente aperta spazio innovativo, la conoscenza mineraria, la conoscenza indicizzazione, la conoscenza ragionamento, elaborazione del linguaggio naturale, dal linguaggio naturale a ontologia, il ...725 Accessi Voto
-
OSIM flyer ITAOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning491 Accessi Voto
-
Le tecnologie del web semantico a servizio della imprese per la gestione della conoscenzaOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning691 Accessi Voto
-
OSIM volantino ENGMente aperta spazio innovativo, la conoscenza mineraria, la conoscenza indicizzazione, la conoscenza ragionamento, elaborazione del linguaggio naturale, dal linguaggio naturale a ontologia, il ...1031 Accessi Voto
-
OSIM, white paper ITAMente aperta spazio innovativo, la conoscenza mineraria, la conoscenza indicizzazione, la conoscenza ragionamento, elaborazione del linguaggio naturale, dal linguaggio naturale a ontologia, il ...724 Accessi Voto
-
Da Open Data a Ontologia, l'esempio del SII -MobilityDa Open Data a Ontologia, l'esempio del SII -Mobility930 Accessi Voto
-
Comments on Comments on An Interval Logic for Real-Time System SpecificatioTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Abstract—The paper on Comments on “An Interval ...512 Accessi Voto
-
Expressing and Organizing Specification Patterns with TILCO-XTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines372 Accessi Voto
-
Expressing and Organizing Real Time Specification Patterns via Temporal LogicsTemporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines Formal specification models provide support for ...541 Accessi Voto