Italiano (it)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, reasoning469 Hits Rating
-
Collaborative and Assisted SKOS Generation and ManagementOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning647 Hits Rating
-
OSIM flyer ITAOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning450 Hits Rating
-
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, reasoning613 Hits Rating
-
OSIM flyer ENGOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning932 Hits Rating
-
OSIM, white paper ITAOpen mind innovative space, knowledge mining, knowledge indexing, knowledge reasoning, natural language processing, from natural language to ontology, reasoning658 Hits Rating
-
From Open Data to Ontology, the example of Sii-MobilityFrom Open Data to Ontology, the example of Sii-Mobility822 Hits Rating
-
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 ...469 Hits Rating
-
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 machines339 Hits Rating
-
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 ...484 Hits Rating