First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

Publikation: Vorabdruck/Dokumentation/Bericht › Anleitungen/Technische Dokumentationen

Beitragende

Details

OriginalspracheEnglisch
Herausgeber (Verlag)arXiv
Seitenumfang35
Bandabs/2004.07221
PublikationsstatusVeröffentlicht - 2020
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Externe IDs

ORCID /0000-0001-9936-0943/work/142658816

Schlagworte