The DLRUS Temporal Description Logic. Artale, A., Franconi, E., Mosurovic, M., Wolter, F., & Zakharyaschev, M. In Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, 2001.
Paper bibtex @inproceedings{DBLP:conf/dlog/ArtaleFMWZ01,
author = {Alessandro Artale and
Enrico Franconi and
Milenko Mosurovic and
Frank Wolter and
Michael Zakharyaschev},
title = {The {DLRUS} Temporal Description Logic},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
year = {2001},
crossref = {DBLP:conf/dlog/2001},
url = {http://ceur-ws.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps},
timestamp = {Mon, 30 May 2016 15:43:43 +0200},
biburl = {https://dblp.org/rec/bib/conf/dlog/ArtaleFMWZ01},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"WpJp9CRttte4L3R6A","bibbaseid":"artale-franconi-mosurovic-wolter-zakharyaschev-thedlrustemporaldescriptionlogic-2001","downloads":0,"creationDate":"2018-04-18T07:27:23.846Z","title":"The DLRUS Temporal Description Logic","author_short":["Artale, A.","Franconi, E.","Mosurovic, M.","Wolter, F.","Zakharyaschev, M."],"year":2001,"bibtype":"inproceedings","biburl":"http://dblp.org/pid/f/EnricoFranconi.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Artale"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Franconi"],"suffixes":[]},{"firstnames":["Milenko"],"propositions":[],"lastnames":["Mosurovic"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Wolter"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Zakharyaschev"],"suffixes":[]}],"title":"The DLRUS Temporal Description Logic","booktitle":"Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001","year":"2001","crossref":"DBLP:conf/dlog/2001","url":"http://ceur-ws.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps","timestamp":"Mon, 30 May 2016 15:43:43 +0200","biburl":"https://dblp.org/rec/bib/conf/dlog/ArtaleFMWZ01","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dlog/ArtaleFMWZ01,\n author = {Alessandro Artale and\n Enrico Franconi and\n Milenko Mosurovic and\n Frank Wolter and\n Michael Zakharyaschev},\n title = {The {DLRUS} Temporal Description Logic},\n booktitle = {Working Notes of the 2001 International Description Logics Workshop\n (DL-2001), Stanford, CA, USA, August 1-3, 2001},\n year = {2001},\n crossref = {DBLP:conf/dlog/2001},\n url = {http://ceur-ws.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps},\n timestamp = {Mon, 30 May 2016 15:43:43 +0200},\n biburl = {https://dblp.org/rec/bib/conf/dlog/ArtaleFMWZ01},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Artale, A.","Franconi, E.","Mosurovic, M.","Wolter, F.","Zakharyaschev, M."],"key":"DBLP:conf/dlog/ArtaleFMWZ01","id":"DBLP:conf/dlog/ArtaleFMWZ01","bibbaseid":"artale-franconi-mosurovic-wolter-zakharyaschev-thedlrustemporaldescriptionlogic-2001","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps"},"downloads":0},"search_terms":["dlrus","temporal","description","logic","artale","franconi","mosurovic","wolter","zakharyaschev"],"keywords":[],"authorIDs":[],"dataSources":["EP6fb9MDGtmLXKt7F"]}