Connections 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.
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract)
C. FiorentiniSecondo
2020
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2020_DL_ConstructiveELBot.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
308.41 kB
Formato
Adobe PDF
|
308.41 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
