1
0
0
(1 - 17 von 23
)
Diego Calvanese - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Diego Calvanese. MathSciNet. Ph.D. Università di Roma La Sapienza Italy. Dissertation: Unrestricted and Finite Model Reasoning in Class-Based ...
Synthesis of underspecified composite e-services based on automated reasoning. Ediz. italiana e inglese
von Diego Calvanese, Giuseppe De Giacomo Daniela Berardi, Aracne, 2004, Taschenbuch
Oxford Book Shop
bookmanager.com
Web Reasoning and Rule Systems: Second International Conference, RR 2008, Karlsruhe, Germany, October November 1, Proceedings | Paperback
bokus.com: Diego Calvanese - Böcker | Bokus bokhandel
Köp böcker av Diego Calvanese: Rules and Reasoning; Digital Libraries on the Move; Reasoning Web: Logical Foundation of Knowledge Graph ... m.fl.
Web Reasoning and Rule Systems: Fourth International Conference, RR...
books.google.de
... Pascal Hitzler Thomas Lukasiewicz Wright State University, USA Oxford University, UK Local Arrangements Diego Calvanese Mariano Rodr ́ıguez-Muro Free ...
[ ] Semantic DMN: Formalizing and Reasoning About Decisions...
arxiv.org
From: Diego Calvanese [view email] [v1] Tue, 31 Jul :27:08 UTC (149 KB) [v2] Wed, 1 Aug :39:08 UTC (145 KB) [v3] Fri, 14 Sep ...
[ ] Reasoning about Explanations for Negative Query Answers...
arxiv.org
Reasoning about Explanations for Negative Query Answers in DL-Lite. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni.
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
New challenges for automated reasoning on conceptual schemas Diego Calvanese and Sven Hartmann and Ernest Teniente: Classification. Software …
Diego Calvanese - Google Scholar Citationsscholar.google.com/citations?user=We0kRfEAAAAJ&hl=en
scholar.google.com
A Poggi, D Lembo, D Calvanese, G De Giacomo, M Lenzerini, R Rosati. Journal on data semantics X, Reasoning on UML class ...
DiSC - Diego Calvanese
www09.sigmod.org
22 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite ...Missing: Regiospectra Verlag" 22 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite ... Missing: Regiospectra Verlag"
Diego Calvanese - Free University of Bozen-Bolzano - VideoLectures.NET
videolectures.net
tutorial flag Reasoning for Ontology Engineering and Usage as author at 7th International Semantic Web Conference (ISWC), Karlsruhe 2008, together with: Ralf ...
DROPS - Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar...
drops.dagstuhl.de
BibTeX - Entry @Article{calvanese_et_al:DR:2013:4180, author = {Diego Calvanese and Sven Hartmann and Ernest Teniente}, title = {{Automated Reasoning on Conceptual ...
Foundations of Description Logics - Semantic Web Technologies
www.semantic-web-book.org
Foundations of Description Logics . Lecture at the Reasoning Web Summer School, ... Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, ...
Institute AIFB - Tuvshintur Tserendorj/Publikationen/en
www.aifb.kit.edu
inproceedings Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler Approximate OWL-Reasoning with Screech In Diego Calvanese and Georg Lausen ...
Institut AIFB - Inproceedings1828
www.aifb.kit.edu
Published: Oktober Herausgeber: Diego Calvanese and Georg Lausen Buchtitel: Proceedings of the 2nd International Conference on Web Reasoning and Rule …
Alle Infos zum Namen "Diego Calvanese"
Verwandte Suchanfragen zu Diego Calvanese
Franz Baader Georg Lausen Domenico Lembo | Sebastian Rudolph Thomas Eiter Pascal Hitzler | Sven Hartmann Enrico Franconi Anni-Yasmin Turhan |
Personen Vorname "Diego" (5183) Name "Calvanese" (9) |
sortiert nach Relevanz / Datum