Sfoglia per Titolo
Knowledge Level Engineering of BDI Agents
2006-01-01 Morandini, Mirko
Knowledge Level Software Engineering
2002-01-01 Giunchiglia, Fausto; Perini, Anna; Sannicolò, Fabrizio
A Knowledge Management Architecture for Digital Cultural Heritage
2017-01-01 Dragoni, Mauro; Tonelli, Sara; Moretti, Giovanni
Knowledge Management from a Social Perspective: The Contribution of Practice-Based Studies
2018-01-01 Gherardi, Silvia; Miele, Francesco
Knowledge Nodes: the Building Block of a Distributed Approach to KM
2002-01-01 Bonifacio, Matteo Salvatore; Bouquet, Paolo; Cuel, Roberta
Knowledge Portability with Semantic Expansion of Ontology Labels
2015-01-01 Arcan, Mihael; Turchi, Marco; Buitelaar, Paul
Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation
2014-01-01 Bozzato, Loris; Serafini, Luciano
Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation
2014-01-01 Bozzato, Loris; Serafini, Luciano
Knowledge representation of cardiac electrophysiological phenomena in a real-time measurement environment
1988-01-01 Wolfgang, Irler; Renzo, Antolini; Kirchner, Michele; Ravelli, Flavia
A Knowledge-Based Approach for Aspect-Based Opinion Mining
2016-01-01 Federici and, Marco; Dragoni, Mauro
Knowledge-Based Recommendations for Climbers
2021-01-01 Ivanova, Iustina; Andric, Marina; Ricci, Francesco
A Knowledge-Poor Approach to BioCreative V DNER and CID Tasks
2015-01-01 Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto
A knowledge-poor approach to chemical-disease relation extraction
2016-01-01 Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto
The KnowledgeStore: a Storage Framework for Interlinking Unstructured and Structured Knowledge
2015-01-01 Corcoglioniti, Francesco; Rospocher, Marco; Cattoni, Roldano; Magnini, Bernardo; Serafini, Luciano
Konsens
1998-01-01 Böhler, D.; Raehme, Boris
Konsens
2011-01-01 Raehme, Boris
KRAKEN: A Secure, Trusted, Regulatory-Compliant, and Privacy-Preserving Data Sharing Platform
2022-01-01 Gabrielli, Silvia; Krenn, Stephan; Pellegrino, Donato; Pérez Baún, Juan Carlos; Pérez Berganza, Pilar; Ramacher, Sebastian; Vandevelde, Wim
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco
Kratos2: an SMT-Based Model Checker for Imperative Programs
2023-01-01 Griggio, Alberto; Jonas, Martin
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Knowledge Level Engineering of BDI Agents | 1-gen-2006 | Morandini, Mirko | |
| Knowledge Level Software Engineering | 1-gen-2002 | Giunchiglia, Fausto; Perini, Anna; Sannicolò, Fabrizio | |
| A Knowledge Management Architecture for Digital Cultural Heritage | 1-gen-2017 | Dragoni, Mauro; Tonelli, Sara; Moretti, Giovanni | |
| Knowledge Management from a Social Perspective: The Contribution of Practice-Based Studies | 1-gen-2018 | Gherardi, Silvia; Miele, Francesco | |
| Knowledge Nodes: the Building Block of a Distributed Approach to KM | 1-gen-2002 | Bonifacio, Matteo Salvatore; Bouquet, Paolo; Cuel, Roberta | |
| Knowledge Portability with Semantic Expansion of Ontology Labels | 1-gen-2015 | Arcan, Mihael; Turchi, Marco; Buitelaar, Paul | |
| Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation | 1-gen-2014 | Bozzato, Loris; Serafini, Luciano | |
| Knowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation | 1-gen-2014 | Bozzato, Loris; Serafini, Luciano | |
| Knowledge representation of cardiac electrophysiological phenomena in a real-time measurement environment | 1-gen-1988 | Wolfgang, Irler; Renzo, Antolini; Kirchner, Michele; Ravelli, Flavia | |
| A Knowledge-Based Approach for Aspect-Based Opinion Mining | 1-gen-2016 | Federici and, Marco; Dragoni, Mauro | |
| Knowledge-Based Recommendations for Climbers | 1-gen-2021 | Ivanova, Iustina; Andric, Marina; Ricci, Francesco | |
| A Knowledge-Poor Approach to BioCreative V DNER and CID Tasks | 1-gen-2015 | Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto | |
| A knowledge-poor approach to chemical-disease relation extraction | 1-gen-2016 | Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto | |
| The KnowledgeStore: a Storage Framework for Interlinking Unstructured and Structured Knowledge | 1-gen-2015 | Corcoglioniti, Francesco; Rospocher, Marco; Cattoni, Roldano; Magnini, Bernardo; Serafini, Luciano | |
| Konsens | 1-gen-1998 | Böhler, D.; Raehme, Boris | |
| Konsens | 1-gen-2011 | Raehme, Boris | |
| KRAKEN: A Secure, Trusted, Regulatory-Compliant, and Privacy-Preserving Data Sharing Platform | 1-gen-2022 | Gabrielli, Silvia; Krenn, Stephan; Pellegrino, Donato; Pérez Baún, Juan Carlos; Pérez Berganza, Pilar; Ramacher, Sebastian; Vandevelde, Wim | |
| KRATOS | 1-gen-2010 | Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei | |
| Kratos - A Software Model Checker for SystemC | 1-gen-2011 | Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco | |
| Kratos2: an SMT-Based Model Checker for Imperative Programs | 1-gen-2023 | Griggio, Alberto; Jonas, Martin |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile