IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishConnections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) / L. Bozzato, C. Fiorentini (CEUR WORKSHOP PROCEEDINGS). - In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) / [a cura di] S. Borgwardt, T. Meyer. - [s.l] : CEUR Workshop Proceedings, 2020. - pp. 1-3 (( Intervento presentato al 33. convegno Description Logics 2020.
| Titolo: | Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract) | |
| Autori: | FIORENTINI, CAMILLO (Secondo) | |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica | |
| Data di pubblicazione: | 2020 | |
| URL: | http://ceur-ws.org/Vol-2663/abstract-7.pdf | |
| Tipologia: | Book Part (author) | |
| Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 2020_DL_ConstructiveELBot.pdf | Publisher's version/PDF | Open Access Visualizza/Apri |
Pubblicazioni consigliate
Copyright © 2022