Suchergebnisse

…years. It is mostly used for internal purposes. Please see the [[HAEC B08/en|HAEC B08]] for more information on this project. publications (including edited proceedings, technical reports, misc.)</li>

|Beschreibung DE=Proceedings & Publicity Chair des 31. ACM SIGMOD-SIGACT-SIGART Symposium on Principles |Beschreibung EN=Proceedings & Publicity Chair of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Princip

…years. It is mostly used for internal purposes. Please see the [[HAEC B02/en|HAEC B02]] for more information on this project. publications (including edited proceedings, technical reports, misc.)</li>

|Booktitle=Proceedings of the 28th International Workshop on Description Logics |Series=CEUR Workshop Proceedings

|Booktitle=Proceedings of the 35th International Workshop on Description Logics (DL 2022) |Series=CEUR Workshop Proceedings

|Titel EN=SAT 2013 Best Paper Award …page], the [http://link.springer.com/book/10.1007/978-3-642-39071-5/page/1 proceedings web page] or the [http://link.springer.com/chapter/10.1007/978-3-642-39071-

|Booktitle=Proceedings of the 30th International Workshop on Description Logics (DL 2017) |Series=CEUR Workshop Proceedings

|Booktitle=Proceedings of the 15th International Semantic Web Conf. (ISWC'16), Posters and Demos |Series=CEUR Workshop Proceedings

|Titel EN=Reasoning Web Summer School 2019 successfully held in Bolzano Die Reasoning Web chairs [[Markus Krötzsch|Markus Krötzsch]] ([[KBS/en|Knowledge-Based Systems]]) und Daria Stepanova (Bosch) versammelten führen

{{Proceedings |Title=Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II

{{Proceedings |Title=Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I

|Titel EN=11th European Conference on Logics in Artificial Intelligence (JELIA-2008) |Beschreibung EN=Logics have, for many years, laid claim to providing a formal basis for the

|FurtherAuthors=Carsten Lutz; Eldar Karabaev; Manfred Theißen |Booktitle=Proceedings of the 2005 International Workshop on Description Logics (DL2005)

|Booktitle=Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08) |Note=Please refer to the more comprehensive journal paper [[Article4008/en|Type-elimination-based Reasoning for the Description Logic SHIQbs using Dec

|Booktitle=Proceedings of the 16th International Conference on Automated Reasoning with Analytic… address = {Aix-en-Provence, France},

|FurtherAuthors=Carsten Lutz; Eldar Karabaev; Manfred Theißen |Booktitle=Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005

|FurtherAuthors=Jens Claßen |Booktitle=Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning…

|Titel EN=Faceted Answer-Set Navigation |Beschreibung EN=Abstract: Even for small logic programs, the number of resulting answer-set

|Titel EN=Projection in a Description Logic of Context with Actions …rrieß. '''Projection in a Description Logic of Context with Actions'''. In Proceedings of the 32nd International Workshop on Description Logics (DL'19), Oslo, Nor

|Booktitle=Proceedings of the 5th International Semantic Web Conference (ISWC06) …ain publication on Semantic MediaWiki is the journal article [[Article1551/en|Semantic Wikipedia]].