ECAI 2012: 20th European Conference on Artificial Intelligence - C....
books.google.de
REFERENCES [1] Alessandro Artale and Enrico Franconi, 'Temporal description logics', in Handbook of Time and Temporal Reasoning in Artificial Intelligence, ...
Principles of Knowledge Representation and Reasoning: Proceedings of...
books.google.com.ua
The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic...
Tailoring Temporal Description Logics for Reasoning over Temporal Con…
www.slideshare.net
Tutorial by NET 2 Partner - MERAKA
CiteSeerX — Temporal Description Logics
citeseerx.ist.psu.edu
BibTeX. @MISC{Artale00temporaldescription, author = {Alessandro Artale and Enrico Franconi}, title = {Temporal Description Logics}, year = {2000} } ...
Live Ontologies - Reasoning Support for the Development of ...
gepris.dfg.de
In Alessandro Artale, Birte Glimm, and Roman Kontchakov, editors, Proc. 30th Int. Workshop on Description Logics (DL'17), volume of CEUR Workshop ... › gepris › projekt
Program - KR 2021
kr2021.kbsg.rwth-aachen.de
6 Nov — ... long Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank WolterOn Free Description Logics with Definite Descriptions details ... › static › program
Ontologies for Knowledge Graphs?
iccl.inf.tu-dresden.de
20 Jul — In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds.,Proceedings of the 30th International Workshop on Description Logics (DL 2017), ... › web › DL2017-keynote
Reasoning with Attributed Description Logics - International Center...
iccl.inf.tu-dresden.de
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost Reasoning with Attributed Description Logics In Alessandro Artale, Birte Glimm, ...
Tailoring Temporal Description Logics for Reasoning over ...
link.springer.com
by A Artale · · Cited by 17 — Alessandro Artale & Vladislav Ryzhikov. Dept. of Comp. Science and Inf. Sys., Birkbeck College, London, UK. Roman Kontchakov & Michael Zakharyaschev. › chapter
A survey of temporal extensions of description logics | SpringerLink
link.springer.com
This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches appe
Temporal ER Modeling with Description Logics | SpringerLink
link.springer.com
Alessandro Artale and Enrico Franconi. Temporal description logics. In L. Vila, P. van Beek, M. Boddy, M. Fisher, D. Gabbay, A. Galton, and R. Morris, editors ...
Wikipedia: Description logic - Wikipedia
Alessandro Artale and Enrico Franconi: Temporal Description Logics. In Handbook of Temporal Reasoning in Artificial Intelligence, Web Ontology (WebONT) Working Group Charter. W3C, 2003; World Wide Web Consortium Issues RDF and OWL Recommendations. Press Release. W3C, OWL Working Group Charter. W3C,
All web results to the name "Alessandro Artale"
Frank Wolter
www.csc.liv.ac.uk
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter: On Free Description Logics with Definite Descriptions, KR (full version). › ~frank › publ › publ
[PDF] Tailoring Temporal Description Logics for Reasoning ...
www.semanticscholar.org
by A Artale · Cited by 17 — The paper approaches the representation method of Alessandro Artale and proposes mapping multi-valued attributes in the temporal ER model to DL, ... › paper › Tailoring-Tem...
Alessandro Artale: Selected Publications
www.inf.unibz.it
Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter and Michael Zakharyaschev. Temporalising Tractable Description Logics. Proc. of the 14th International Symposium on Temporal Representation and Reasoning (TIME-07), Alicante, June Alessandro Artale and David Toman. Decidable Reasoning over Timestamped Conceptual Models.
David Toman's Papers
cs.uwaterloo.ca
David Toman's papers available in PDF Decidable Reasoning over Timestamped Conceptual Models (with Alessandro Artale). Proc. Description Logics, CEUR-WS …
27th International Workshop on Description Logics
www.dbai.tuwien.ac.at
DL 2014, 27th International Workshop on Description Logics
Bruno Crispo
disi.unitn.it
Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo, "Using Description Logics in Relation Based Access Control". In the proceedings of the 22nd ...
GOASQ
goasq.lri.fr
In Alessandro Artale, Birte Glimm, and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics (DL'17),
sorted by relevance / date