1
0
0
(1 - 23 from 29
)
Twelfth Workshop - Hybrid Reasoning for Intelligent Systems
www.hybrid-reasoning.org
12 Nov — 15:30-17:30, Invited talk by Alessandro Artale, University of Bolzano. Tutorial: Ontology-Mediated Query Answering over Temporal Ontologies. › events
Alessandro Artale (Contributor of Handbook of Temporal Reasoning in...
www.goodreads.com
Alessandro Artale is the author of Handbook of Temporal Reasoning in Artificial Intelligence (0.0 avg rating, 0 ratings, 0 reviews, published 2005) Alessandro Artale is the author of Handbook of Temporal Reasoning in Artificial Intelligence (0.0 avg rating, 0 ratings, 0 reviews, published 2005)
Handbook of Temporal Reasoning in Artificial Intelligence, Volume
www.elsevier.com
Purchase Handbook of Temporal Reasoning in Artificial Intelligence, Volume st Edition. Print Book & E-Book. ISBN ,
Conceptual Modeling ER'99: 18th International Conference on...
books.google.ca
References |Artale and Franconi, Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. Journal of ...
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, ...
[ ] First-order Temporal Logic on Finite Traces - arXiv
arxiv.org
by A Artale · — Authors:Alessandro Artale, Andrea Mazzullo, Ana Ozaki · Download PDF. Abstract: Formalisms based on temporal logics interpreted over finite ... › cs
Tailoring Temporal Description Logics for Reasoning over Temporal Con…
www.slideshare.net
Tutorial by NET 2 Partner - MERAKA
[ ] Temporal Description Logic for Ontology-Based Data Access...
arxiv.org
DBLP - CS Bibliography. listing | bibtex · Alessandro Artale · Roman Kontchakov · Frank Wolter · Michael Zakharyaschev ...
CiteSeerX — Temporal Description Logics
citeseerx.ist.psu.edu
BibTeX. @MISC{Artale00temporaldescription, author = {Alessandro Artale and Enrico Franconi}, title = {Temporal Description Logics}, year = {2000} } ...
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 ...
Oalib search
www.oalib.com
Alessandro Artale,Roman Kontchakov,Frank Wolter,Michael Zakharyaschev Computer Science , 2013, Abstract: Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology ...
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,
Do You Need Infinite Time? - IJCAI
www.ijcai.org
Alessandro Artale, Andrea Mazzullo, Ana Ozaki ... Linear temporal logic over finite traces is used as a formalism for temporal specification in automated planning ... › proceedings
Ontology-Mediated Query Answering over Temporal Data
drops.dagstuhl.de
by A Artale · · Cited by 47 — @InProceedings{artale_et_al:LIPIcs:2017:7933, author = {Alessandro Artale and Roman Kontchakov and Alisa Kovtunova and Vladislav Ryzhikov and Frank Wolter ... › opus › volltexte
[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.
2005 Digital Symposium Collection
sigmod.org
Alessandro Artale Papers on DiSC'04 Reasoning on Temporal Conceptual Schemas with Dynamic Constraints Reasoning on Temporal Conceptual Schemas with Dynamic Constraints Publications Note: Links lead to the DBLP on the Web. Alessandro Artale
(PDF) A Temporal Description Logic for Reasoning about Actions and...
www.academia.edu
Journal of Arti cial Intelligence Research 9 (1998) Submitted 4/98; published A Temporal Description Logic for Reasoning about Actions and Plans Alessandro Artale .it ITC-IRST, Cognitive and Communication Technologies Division I Povo TN, Italy Enrico Franconi .ac.uk Department of Computer Science, University of Manchester Manchester M13 …
List of accepted papers/ posters at the Description Logic Workshop...
dl.kr.org
Accepted papers and posters at the Description Logic Workshop Accepted papers Alessandro Artale Reasoning on Temporal Conceptual Schemas with Dynamic …
Daily program | IJCAI 2013
ijcai13.org
Temporal Description Logic for Ontology-Based Data Access, Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev.
TIME 2012: 19th International Symposium on Temporal Representation...
www.tech.dmu.ac.uk
Alessandro Artale, Free University of Bozen-Bolzano, Italy; Alexander Artikis, National Centre for Scientific Research "Demokritos", Greece; Philippe Balbiani, ...
All web results to the name "Alessandro Artale"
sorted by relevance / date