Automated reasoning in temporal DL- Lite (extended abstract)

Conference proceeding

Open access

Peer reviewed

Sabiha Tahrat, German Braun, Alessandro Artale, A Gario and A Ozaki

Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Vol.2663

CEUR Workshop Proceedings, 2663

33rd International Workshop on Description Logic (Rhodes, 12/09/2020 - 14/09/2020)

2020

Handle:

https://hdl.handle.net/10863/19561

Abstract

Research Centre for Knowledge and Data (KRDB)

pdf

dl20-cr295.82 kBDownload View

Open Access

url

http://ceur-ws.org/Vol-2663/View

Title: Automated reasoning in temporal DL- Lite (extended abstract)
Creators: Sabiha Tahrat
German Braun
Alessandro Artale
A Gario
A Ozaki
Publication Details: Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Vol.2663
Editor(s): Borgwardt S, Meyer T
ISSN: 1613-0073
Conference: 33rd International Workshop on Description Logic (Rhodes, 12/09/2020 - 14/09/2020)
Series / Volume: CEUR Workshop Proceedings
2663
Publisher: CEUR-WS
Format: Online
Number of pages: 5
Identifiers: (UNIBZ)43061038
991006186495901241
Scopus ID: 2-s2.0-85091412942
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Tahrat S, Braun GA, Artale A, Gario A, Ozaki A
Additional Description: Editors/Supervisors: Borgwardt S, Meyer T
unibz-area: Research Centre for Knowledge and Data (KRDB)
ERC: Artificial intelligence, intelligent systems, multi agent systems
ERCCODE: PE6_7
MIURSSD: Informatica
MIURSSDCODE: INF/01

1 File views/ downloads

9 Record Views