Complexity of Branching Temporal Description Logics.
V. Gutiérrez-Basulto, J. Jung, und C. Lutz. ECAI, Volume 242 von Frontiers in Artificial Intelligence and Applications, Seite 390-395. IOS Press, (2012)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/ecai/Gutierrez-BasultoJL12
%A Gutiérrez-Basulto, Víctor
%A Jung, Jean Christoph
%A Lutz, Carsten
%B ECAI
%D 2012
%E Raedt, Luc De
%E Bessiere, Christian
%E Dubois, Didier
%E Doherty, Patrick
%E Frasconi, Paolo
%E Heintz, Fredrik
%E Lucas, Peter J. F.
%I IOS Press
%K dblp
%P 390-395
%T Complexity of Branching Temporal Description Logics.
%U http://dblp.uni-trier.de/db/conf/ecai/ecai2012.html#Gutierrez-BasultoJL12
%V 242
%@ 978-1-61499-097-0
@inproceedings{conf/ecai/Gutierrez-BasultoJL12,
added-at = {2020-03-27T00:00:00.000+0100},
author = {Gutiérrez-Basulto, Víctor and Jung, Jean Christoph and Lutz, Carsten},
biburl = {https://www.bibsonomy.org/bibtex/22291572c740b9f6f9e203f2a60091c0b/dblp},
booktitle = {ECAI},
crossref = {conf/ecai/2012},
editor = {Raedt, Luc De and Bessiere, Christian and Dubois, Didier and Doherty, Patrick and Frasconi, Paolo and Heintz, Fredrik and Lucas, Peter J. F.},
ee = {https://doi.org/10.3233/978-1-61499-098-7-390},
interhash = {d0fe9086733f3011b7a3d4e65d363761},
intrahash = {2291572c740b9f6f9e203f2a60091c0b},
isbn = {978-1-61499-097-0},
keywords = {dblp},
pages = {390-395},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
timestamp = {2024-04-09T18:46:36.000+0200},
title = {Complexity of Branching Temporal Description Logics.},
url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2012.html#Gutierrez-BasultoJL12},
volume = 242,
year = 2012
}
