Enrico Franconi, Volha Kerhet & Nhung Ngo, Exact query reformulation...
philpapers.org
In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer (2012) ...
Conceptual Modeling ER'99: 18th International Conference on...
books.google.de
References [Artale and Franconi, 1998] Alessandro Artale and Enrico Franconi. A temporal description logic for reasoning about actions and plans. Journal of ...
The Description Logic Handbook: Theory, Implementation and...
books.google.de
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades....
Logics for Emerging Applications of Databases - Google Books
books.google.de
In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic...
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...
[ ] A Decidable Very Expressive Description Logic for...
arxiv.org
Authors:Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli. (Submitted on 25 Jul 2017). Abstract: We introduce , an extension of the n-ary ...
CiteSeerX — Enrico Franconi,
citeseerx.ist.psu.edu
CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): This paper views modal logics as languages that are especially tailored for describing ...
Enrico Franconi Free University of Bozen-Bolzano, Italy
campuscurico.utalca.cl
The Logic of the Semantic Web - Enrico Franconi. What this talk is about. RDF as a novel data model with meta-modelling capabilities with challenging ...
Wikipedia: Codd's theorem - Wikipedia
Jump up ^ Enrico Franconi and Sergio Tessaris, On the Logic of SQL Nulls, Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of ...
Wikipedia: Ontology language - Wikipedia
In computer science and artificial intelligence, ontology languages are formal languages used ... (2000); Introduction to Description Logics DL course by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy ...
Sun Nov :44: by Mark Kantrowitz
www.cs.cmu.edu
Contact: Enrico Franconi &> IRST, Istituto per la Ricerca Scientifica e Tecnologica I Povo TN, ITALY. Phone: +39 (461) Fax: ...
All web results to the name "Enrico Franconi"
Enrico Franconi | LinkedIn
www.linkedin.com
Enrico Franconi. My interests are in: * Description Logics, * Knowledge Representation, * Knowledge Representation and Databases: o Ontologies and Conceptual ...
Enrico Franconi: Publications
www.ida.liu.se
Enrico Franconi and Alessandra Giorgi and Fabio Pianesi (1994). A Mereological Characterization of Temporal and Aspectual Phenomena . In Carlos Martin-Vide, …
Re: intersectionOf and subClassOf from Enrico Franconi on
lists.w3.org
Mar 30, · From: Enrico Franconi &.it - Date: Sun, 30 Mar :40:52 +0200 To: Geoff Chappell &>, &>
Logic course - exercises
www.meteck.org
Logic Course (70014) - Exercises This page contains contact information, exercises for the Logic course taught by Prof. Enrico Franconi, and optional ...
Enrico Franconi
easychair.org
vsl 2014: vienna summer of logic vsl program indexes. vsl | floc | cav | csf | csl-lics | iclp | ijcar | itp | rta-tlca | sat | lc | latd | kr | dl | nmr | 2fc ...
A survey of temporal extensions of description logics - Semantic...
www.semanticscholar.org
This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches...
The DIG Description Logic Interface - Citation formats | Research ...
www.research.manchester.ac.uk
Diego Calvanese; Giuseppe De Giacomo; Enrico Franconi. Vol. 81 CEUR-WS.org, (CEUR Workshop Proceedings). Research output: Chapter in ...
PODS Tutorials – SIGMOD Website
sigmod.org
Enrico Franconi, Sergio Tessaris: The logic of RDF and SPARQL; 2005: Johannes Gehrke: Models and Methods for Privacy-preserving Data Publishing and ...
Representing a robotic domain using temporal description logics |...
www.cambridge.org
Representing a robotic domain using temporal description logics - Volume 13 Issue 2 - ALESSANDRO ARTALE, ENRICO FRANCONI
The Description Logics Logo
dl.kr.org
The Description Logic logo was originally designed by Enrico Franconi. On this page, we provide several versions of it for download that have been generated ...
DESCRIPTION LOGICS course
www.inf.unibz.it
Diplom, Formale Methoden, Informatik, Künstliche Intelligenz, Logik, Europäischer Master, Fachlaureat, Internationaler Master, Master, master, Spezialisierung,...
Related search requests for Enrico Franconi
Sergio Tessaris Alessandro Artale Diego Calvanese | Paolo Guagliardo Sonja Zeltner-Müller |
People Forename "Enrico" (8068) Name "Franconi" (43) |
sorted by relevance / date