https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Marcel+Lippmann 2026-04-19T02:12:09Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Marcel_Lippmann&diff=22140 2016-11-30T10:24:15Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Marcel<br /> |Nachname=Lippmann<br /> |Akademischer Titel=Dr. rer. nat.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Marcel_Lippmann&diff=22139 2016-11-30T10:23:53Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Marcel<br /> |Nachname=Lippmann<br /> |Akademischer Titel=Dr. rer. nat.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/l/Lippmann:Marcel<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Marcel_Lippmann&diff=22138 2016-11-30T10:23:26Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Marcel<br /> |Nachname=Lippmann<br /> |Akademischer Titel=Dr. rer. nat.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Telefon=+49 (0) 351 463-43500<br /> |Fax=+49 (0) 351 463-37959<br /> |Email=marcel.lippmann@tu-dresden.de<br /> |Raum=APB 3024<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/l/Lippmann:Marcel<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:FS2016-uebung-04.pdf&diff=21602 2016-11-04T08:50:39Z

<p>Marcel Lippmann: Marcel Lippmann lud eine neue Version von „Datei:FS2016-uebung-04.pdf“ hoch</p> <hr /> <div></div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Marcel_Lippmann&diff=21428 2016-10-13T11:06:11Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Marcel<br /> |Nachname=Lippmann<br /> |Akademischer Titel=Dr. rer. nat.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Telefon=+49 (0) 351 463-43500<br /> |Fax=+49 (0) 351 463-37959<br /> |Email=marcel.lippmann@tu-dresden.de<br /> |Raum=APB 3024<br /> |Info=Ich bin promovierter wissenschaftlicher Mitabeiter am [http://wwwtcs.inf.tu-dresden.de Institut für Theoretische Informatik] der [http://www.inf.tu-dresden.de Fakultät Informatik] der [http://tu-dresden.de Technischen Universität Dresden]. Ich arbeite an der [http://lat.inf.tu-dresden.de Professur für Automatentheorie], die von [[Franz Baader|Prof. Dr.-Ing. Franz Baader]] geleitet wird.<br /> <br /> Meine wissenschaftlichen Interessen sind:<br /> * Logikbasierte Wissensrepräsentation<br /> * Beschreibungslogik, Temporale Logiken und ihre Kombinationen (temporalisierte Beschreibungslogiken)<br /> * Automatentheorie<br /> * Komplexitätstheorie<br /> * Verifikationstechniken<br /> * Situation/Context awareness<br /> * Aktionsformalismen, die auf Beschreibungslogiken basieren<br /> |Info EN=I am a postdoctoral research and teaching assistant at the [http://wwwtcs.inf.tu-dresden.de Institute of Theoretical Computer Science] of the [http://www.inf.tu-dresden.de Faculty of Computer Science] of [http://tu-dresden.de Technische Universität Dresden]. I work at the [http://lat.inf.tu-dresden.de Chair of Automata Theory] headed by [[Franz Baader/en|Prof. Dr.-Ing. Franz Baader]].<br /> <br /> My scientific interests are:<br /> * Logic-based knowledge representation<br /> * Description logics, temporal logics, and their combination (temporalised description logics)<br /> * Automata theory<br /> * Complexity theory<br /> * Verification techniques<br /> * Situation/Context awareness<br /> * Action formalisms based on description logics<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/l/Lippmann:Marcel<br /> |Alternative URI=http://wwwtcs.inf.tu-dresden.de/~lippmann/<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Formale_Systeme_(WS2016)&diff=21332 2016-10-07T11:54:57Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Vorlesung<br /> |Title=Formale Systeme<br /> |Research group=Wissensbasierte Systeme<br /> |Lecturers=Markus Krötzsch;<br /> |Tutors=Monika Sturm; Daniel Borchmann; <br /> |Term=WS<br /> |Year=2016<br /> |Module=INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS<br /> |SWSLecture=4<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Klausur<br /> |Description=Die Vorlesung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie Methoden zur praktischen Lösung von &quot;schweren&quot; (NP-vollständigen) Problemen. Damit bildet die Vorlesung die Grundlage für die Vorlesung ''Theoretische Informatik und Logik'' und für viele vertiefende Vorlesungen.<br /> <br /> == Termine ==<br /> <br /> Die erste Vorlesung ist am Montag, 10.10.2016. Weitere Termine sind jeweils:<br /> <br /> * montags 3.DS (11:10&amp;ndash;12:40) HSZ/0002<br /> * donnerstags 4.DS (13:00&amp;ndash;14:30) HSZ/0003<br /> <br /> <br /> mit Ausnahme von Mo, 31.10., (Reformationstag) und der vorlesungsfreien Zeit zum Jahreswechsel (keine Vorlesungen vom 22.12.2016 bis zum 3.1.2017).<br /> <br /> == Übungen ==<br /> <br /> Die Einschreibungen in die Übungsgruppen erfolgt über [https://jexam.inf.tu-dresden.de JExam].<br /> <br /> '''Bitte beachten Sie''': Für die Teilnahme an einer Übungsgruppe ist die Einschreibung in dieser Gruppe '''verpflichtend'''. Studierenden ohne Einschreibung kann die Teilnahme an einer selbstgewählten Übung nicht garantiert werden. Übungsleiter sind berechtigt, nicht eingeschriebene Studierende bei Überfüllung aus der Übung zu verweisen.<br /> <br /> == Unterlagen ==<br /> <br /> Die vollständigen Foliensätze zur Vorlesung erscheinen jeweils kurz nach der Vorlesung online (siehe ''Termine und Unterlagen''). Weiterführende Literatur ist unter ''Literatur'' angegeben.<br /> <br /> == Kontakt ==<br /> <br /> Für Fragen rund um den Stoff und Vorlesungsbetrieb ist eine Mailingliste eingerichtet worden, auf der sich Teilnehmer_innen der Vorlesung einschreiben können. Dazu muss nur das [https://mailman.zih.tu-dresden.de/groups/listinfo/inf-thi-fs2016 Anmeldeformular] ausgefüllt werden. '''Fast alle Fragen sollten auf diesem Weg gestellt werden.''' Auch Hinweise zu Tippfehlern in den Vorlesungsfolien sollten am besten direkt an die Liste geschickt werden.<br /> <br /> Persönliche Fragen können auch direkt an das Organisationsteam (siehe Links oben) gestellt werden, falls sie aus einem zwingenden Grund nicht an die Mailingliste gerichtet werden können. Allgemein Fragen sollten Sie aber immer an die Liste richten, damit auch Ihre Kommilitonen davon profitieren (oder vielleicht sogar direkt helfen können).<br /> <br /> |Literature=Allgemein sind die Vorlesungsfolien und Übungsunterlagen ausreichend detailliert für das Studium. Weitere Lehrmaterialien können dennoch hilfreich sein, um Details nachzuschlagen oder sich weiter im Thema zu vertiefen.<br /> <br /> == Teil 1: Formale Sprachen ==<br /> <br /> === Lehrbücher ===<br /> <br /> * Uwe Schöning: '''Theoretische Informatik -- kurz gefasst.''' Spektrum Akademischer Verlag.<br /> : ''(deutschsprachiger Standardtext; in der Tat ziemlich kurz gefasst)''<br /> * John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: '''Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit.''' Pearson Studium.<br /> : ''(aus dem Englischen übertragenes Standardwerk; Original ev. besser)''<br /> * Michael Sipser: '''Introduction to the Theory of Computation.''' Cengage Learning.<br /> : ''(Standardtext zu Sprachen und Berechnungskomplexität; leider nur auf Englisch)''<br /> <br /> === Online verfügbare Skripte ===<br /> <br /> * [[Franz Baader]]: '''[https://lat.inf.tu-dresden.de/teaching/ws2013-2014/FS/script_2016-02.pdf Skript Formale Systeme, Teil 1 &amp;ndash; Automaten und formale Sprachen].''' TU Dresden.<br /> * [[Christel Baier]], [[Manuela Berg]], [[Walter Nauber]]: '''[http://www.inf.tu-dresden.de/content/institutes/thi/algi/lehre/WS1415/FS/lecture_notes/Skript_FS_C_Baier_WS1112.pdf Formale Systeme WS 2011/2012: Skript zur Vorlesung].''' TU Dresden.<br /> <br /> <br /> Die Vorlesungen haben kleine Abweichungen von diesen Skripten, stimmen aber in vielen wichtigen Punkten überein.<br /> <br /> == Teil 2: Aussagenlogik ==<br /> <br /> ''Literaturempfehlungen werden später an dieser Stelle bekannt gegeben.''<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Willkommen/Einleitung formale Sprachen<br /> |Room=HSZ/0002<br /> |Date=2016/10/10<br /> |DS=DS3<br /> }}<br /> {{Vorlesung Zeiten<br /> |Lehrveranstaltungstype=Vorlesung<br /> |Title=Grammatiken und die Chomsky-Hierarchie<br /> |Room=HSZ/0003<br /> |Date=2016/10/13<br /> |DS=DS4<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=ArticleJCSS16/en&diff=18828 2016-03-29T14:01:23Z

<p>Marcel Lippmann: Page created automatically by parser function on page ArticleJCSS16</p> <hr /> <div>#REDIRECT [[ArticleJCSS16]]</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=ArticleJCSS16&diff=18827 2016-03-29T14:01:22Z

<p>Marcel Lippmann: Marcel Lippmann verschob die Seite En nach ArticleJCSS16</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Claudia<br /> |ErsterAutorNachname=Carapelle<br /> |FurtherAuthors=Alexander Kartzow; Markus Lohrey;<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Satisfiability of ECTL* with Constraints<br /> |To appear=1<br /> |Year=2016<br /> |Journal=Journal of Computer and System Sciences<br /> }}<br /> {{Publikation Details<br /> |Abstract=We show that satisfiability and finite satisfiability for ECTL* with equality-, order-, and modulo-constraints over the integers are decidable. Since ECTL* is a proper extension of CTL* this greatly improves the previously known decidability results for certain fragments of CTL*, e.g., the existential and positive fragments and EF. We also show that our choice of local constraints is necessary for the result in the sense that, if we add the possibility to state non-local constraints over the integers, the resulting logic becomes undecidable.<br /> |Link=http://authors.elsevier.com/sd/article/S002200001600012X<br /> |DOI Name=10.1016/j.jcss.2016.02.002<br /> |Projekt=QuantLA<br /> |Forschungsgruppe=Automatentheorie<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3071/en&diff=18826 2016-03-29T13:56:21Z

<p>Marcel Lippmann: Page created automatically by parser function on page Inproceedings3071</p> <hr /> <div>#REDIRECT [[Inproceedings3071]]</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3071&diff=18825 2016-03-29T13:56:20Z

<p>Marcel Lippmann: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Claudia |ErsterAutorNachname=Carapelle |FurtherAuthors=Alexander Kartzow; Markus Lohrey }} {{Inproceedings |Refe…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Claudia<br /> |ErsterAutorNachname=Carapelle<br /> |FurtherAuthors=Alexander Kartzow; Markus Lohrey<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Satisfiability of CTL* with Constraints<br /> |To appear=0<br /> |Year=2013<br /> |Booktitle=Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013)<br /> }}<br /> {{Publikation Details<br /> |Projekt=QuantLA<br /> |Forschungsgruppe=Automatentheorie<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=ArticleJCSS16&diff=18823 2016-03-29T13:48:01Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Claudia<br /> |ErsterAutorNachname=Carapelle<br /> |FurtherAuthors=Alexander Kartzow; Markus Lohrey;<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Satisfiability of ECTL* with Constraints<br /> |To appear=1<br /> |Year=2016<br /> |Journal=Journal of Computer and System Sciences<br /> }}<br /> {{Publikation Details<br /> |Abstract=We show that satisfiability and finite satisfiability for ECTL* with equality-, order-, and modulo-constraints over the integers are decidable. Since ECTL* is a proper extension of CTL* this greatly improves the previously known decidability results for certain fragments of CTL*, e.g., the existential and positive fragments and EF. We also show that our choice of local constraints is necessary for the result in the sense that, if we add the possibility to state non-local constraints over the integers, the resulting logic becomes undecidable.<br /> |Link=http://authors.elsevier.com/sd/article/S002200001600012X<br /> |DOI Name=10.1016/j.jcss.2016.02.002<br /> |Projekt=QuantLA<br /> |Forschungsgruppe=Automatentheorie<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Claudia_Carapelle/Abschlussarbeiten/en&diff=18615 2016-03-23T08:27:09Z

<p>Marcel Lippmann: Page created automatically by parser function on page Claudia Carapelle</p> <hr /> <div>{{Vorlage:Abschlussarbeiten nach Betreuer|{{#rel2abs:../..}}|langsuffix=/en}}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Claudia_Carapelle/Abschlussarbeiten&diff=18614 2016-03-23T08:27:08Z

<p>Marcel Lippmann: Page created automatically by parser function on page Claudia Carapelle</p> <hr /> <div>{{Vorlage:Abschlussarbeiten nach Betreuer|{{#rel2abs:..}}}}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Claudia_Carapelle/Publikationen/en&diff=18613 2016-03-23T08:27:07Z

<p>Marcel Lippmann: Page created automatically by parser function on page Claudia Carapelle</p> <hr /> <div>{{Vorlage:Wiki Seite Veröffentlichungen nach Author|{{#rel2abs:../..}}|langsuffix=/en}}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Claudia_Carapelle/Publikationen&diff=18612 2016-03-23T08:27:07Z

<p>Marcel Lippmann: Page created automatically by parser function on page Claudia Carapelle</p> <hr /> <div>{{Vorlage:Wiki Seite Veröffentlichungen nach Author|{{#rel2abs:..}}}}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Claudia_Carapelle/en&diff=18611 2016-03-23T08:27:06Z

<p>Marcel Lippmann: Page created automatically by parser function on page Claudia Carapelle</p> <hr /> <div>{{Mitarbeiter/en}}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Claudia_Carapelle&diff=18610 2016-03-23T08:27:05Z

<p>Marcel Lippmann: Die Seite wurde neu angelegt: „{{Mitarbeiter |Ehemaliger=0 |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 }}“</p> <hr /> <div>{{Mitarbeiter<br /> |Ehemaliger=0<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Marcel_Lippmann&diff=18545 2016-03-22T08:47:19Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Marcel<br /> |Nachname=Lippmann<br /> |Akademischer Titel=Dr. rer. nat.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Telefon=+49 (0) 351 463-43500<br /> |Fax=+49 (0) 351 463-37959<br /> |Email=marcel.lippmann@tu-dresden.de<br /> |Raum=APB 3024<br /> |Info=Ich bin promovierter wissenschaftlicher Mitabeiter am [http://wwwtcs.inf.tu-dresden.de Institut für Theoretische Informatik] der [http://www.inf.tu-dresden.de Fakultät Informatik] der [http://tu-dresden.de Technischen Universität Dresden]. Ich arbeite an der [http://lat.inf.tu-dresden.de Professur für Automatentheorie], die von [[Franz Baader|Prof. Dr.-Ing. Franz Baader]] geleitet wird.<br /> <br /> Meine wissenschaftlichen Interessen sind:<br /> * Logikbasierte Wissensrepräsentation<br /> * Beschreibungslogik, Temporale Logiken und ihre Kombinationen (temporalisierte Beschreibungslogiken)<br /> * Automatentheorie<br /> * Komplexitätstheorie<br /> * Verifikationstechniken<br /> * Situation/Context awareness<br /> * Aktionsformalismen, die auf Beschreibungslogiken basieren<br /> |Info EN=I am a postdoctoral research and teaching assistant at the [http://wwwtcs.inf.tu-dresden.de Institute of Theoretical Computer Science] of the [http://www.inf.tu-dresden.de Faculty of Computer Science] of [http://tu-dresden.de Technische Universität Dresden]. I work at the [http://lat.inf.tu-dresden.de Chair of Automata Theory] headed by [[Franz Baader/en|Prof. Dr.-Ing. Franz Baader]].<br /> <br /> My scientific interests are:<br /> * Logic-based knowledge representation<br /> * Description logics, temporal logics, and their combination (temporalised description logics)<br /> * Automata theory<br /> * Complexity theory<br /> * Verification techniques<br /> * Situation/Context awareness<br /> * Action formalisms based on description logics<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/l/Lippmann:Marcel<br /> |Alternative URI=http://wwwtcs.inf.tu-dresden.de/~lippmann/<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=LATPub728&diff=18124 2016-02-15T07:49:14Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Franz<br /> |ErsterAutorNachname=Baader<br /> |FurtherAuthors=Benjamin Zarrieß<br /> }}<br /> {{Techreport<br /> |Title=Verification of Golog Programs over Description Logic Actions<br /> |Year=2013<br /> |Month=<br /> |Institution=Chair of Automata Theory, TU Dresden<br /> |Note=See http://lat.inf.tu-dresden.de/research/reports.html.<br /> |Type=LTCS-Report<br /> |Reviewed=0<br /> |Archivierungsnummer=13-08<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=BaZa-LTCS-13-08.pdf<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@techreport{ BaZa-LTCS-13-08,<br /> address = {Dresden, Germany},<br /> author = {Franz Baader and Benjamin Zarrie{\ss} },<br /> institution = {Chair of Automata Theory, TU Dresden},<br /> note = {See http://lat.inf.tu-dresden.de/research/reports.html.},<br /> number = {13-08},<br /> title = {Verification of Golog Programs over Description Logic Actions},<br /> type = {LTCS-Report},<br /> year = {2013},<br /> }<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3025&diff=17714 2015-12-07T08:03:49Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Franz<br /> |ErsterAutorNachname=Baader<br /> |FurtherAuthors=Stefan Borgwardt; Marcel Lippmann;<br /> }}<br /> {{Techreport<br /> |Title=Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles<br /> |Year=2015<br /> |Institution=Chair for Automata Theory, Technische Universität Dresden<br /> |Type=LTCS-Report<br /> |Archivierungsnummer=15-17<br /> }}<br /> {{Publikation Details<br /> |Abstract=In Ontology-Based Data Access (OBDA), user queries are evaluated over a set of facts under the open world assumption, while taking into account background knowledge given in the form of a Description Logic (DL) ontology. In order to deal with dynamically changing data sources, temporal conjunctive queries (TCQs) have recently been proposed as a useful extension of OBDA to support the processing of temporal information. We extend the existing complexity analysis of TCQ entailment to very expressive DLs underlying the OWL 2 standard, and in contrast to previous work also allow for queries containing transitive roles.<br /> |Download=BaBL-LTCS-15-17.pdf<br /> |Projekt=HAEC<br /> |Forschungsgruppe=Automatentheorie<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3053&diff=17713 2015-12-07T08:03:10Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Franz<br /> |ErsterAutorNachname=Baader<br /> |FurtherAuthors=Stefan Borgwardt; Marcel Lippmann<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles<br /> |To appear=0<br /> |Year=2015<br /> |Booktitle=Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15)<br /> |Pages=21-33<br /> |Publisher=Springer<br /> |Editor=Bernhard Pfahringer, Jochen Renz<br /> |Series=Lecture Notes in Artificial Intelligence<br /> |Volume=9457<br /> }}<br /> {{Publikation Details<br /> |Abstract=In Ontology-Based Data Access (OBDA), user queries are evaluated over a set of facts under the open world assumption, while taking into account background knowledge given in the form of a Description Logic (DL) ontology. In order to deal with dynamically changing data sources, temporal conjunctive queries (TCQs) have recently been proposed as a useful extension of OBDA to support the processing of temporal information. We extend the existing complexity analysis of TCQ entailment to very expressive DLs underlying the OWL 2 standard, and in contrast to previous work also allow for queries containing transitive roles.<br /> |Download=BaBL-AI15.pdf<br /> |Projekt=HAEC<br /> |Forschungsgruppe=Automatentheorie<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Proceedings3003&diff=16861 2015-08-20T08:04:49Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Decidable Description Logics of Context with Rigid Roles<br /> |To appear=1<br /> |Year=2015<br /> |Month=September<br /> |Booktitle=Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)<br /> |Pages=17-32<br /> |Publisher=Springer<br /> |Editor=Carsten Lutz, Silvio Ranise<br /> |Series=Lecture Notes in Artificial Intelligence<br /> |Volume=9322<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs including ALC, SHOQ, and EL.<br /> |Download=BoLi-FroCoS15.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@inproceedings{ BoLi-FroCoS15,<br /> address = {Wroclaw, Poland},<br /> author = {Stephan B{\&quot;o}hme and Marcel Lippmann},<br /> booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)},<br /> publisher = {Springer-Verlag},<br /> series = {Lecture Notes in Artificial Intelligence},<br /> volume = {9322},<br /> editor = {Carsten {Lutz} and Silvio {Ranise} },<br /> pages = {17-32},<br /> title = {Decidable Description Logics of Context with Rigid Roles},<br /> year = {2015},<br /> }<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Proceedings3003&diff=16860 2015-08-20T08:02:45Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Inproceedings<br /> |Title=Decidable Description Logics of Context with Rigid Roles<br /> |To appear=1<br /> |Year=2015<br /> |Month=September<br /> |Publisher=Springer<br /> |Series=Lecture Notes in Artificial Intelligence<br /> |Volume=9322<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs including ALC, SHOQ, and EL.<br /> |Download=BoLi-FroCoS15.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@inproceedings{ BoLi-FroCoS15,<br /> address = {Wroclaw, Poland},<br /> author = {Stephan B{\&quot;o}hme and Marcel Lippmann},<br /> booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)},<br /> publisher = {Springer-Verlag},<br /> series = {Lecture Notes in Artificial Intelligence},<br /> volume = {9322},<br /> editor = {Carsten {Lutz} and Silvio {Ranise} },<br /> pages = {17-32},<br /> title = {Decidable Description Logics of Context with Rigid Roles},<br /> year = {2015},<br /> }<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Proceedings3003&diff=16832 2015-08-19T11:55:28Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Proceedings<br /> |Title=Decidable Description Logics of Context with Rigid Roles<br /> |To appear=1<br /> |Year=2015<br /> |Month=September<br /> |Publisher=Springer<br /> |Series=Lecture Notes in Artificial Intelligence<br /> |Volume=9322<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs including ALC, SHOQ, and EL.<br /> |Download=BoLi-FroCoS15.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@inproceedings{ BoLi-FroCoS15,<br /> address = {Wroclaw, Poland},<br /> author = {Stephan B{\&quot;o}hme and Marcel Lippmann},<br /> booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)},<br /> publisher = {Springer-Verlag},<br /> series = {Lecture Notes in Artificial Intelligence},<br /> volume = {9322},<br /> editor = {Carsten {Lutz} and Silvio {Ranise} },<br /> pages = {17-32},<br /> title = {Decidable Description Logics of Context with Rigid Roles},<br /> year = {2015},<br /> }<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Proceedings3003&diff=16831 2015-08-19T11:53:33Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Proceedings<br /> |Title=Decidable Description Logics of Context with Rigid Roles<br /> |To appear=1<br /> |Year=2015<br /> |Month=September<br /> |Publisher=Springer<br /> |Series=Lecture Notes in Artificial Intelligence<br /> |Volume=9322<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs including ALC, SHOQ, and EL.<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@inproceedings{ BoLi-FroCoS15,<br /> address = {Wroclaw, Poland},<br /> author = {Stephan B{\&quot;o}hme and Marcel Lippmann},<br /> booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)},<br /> publisher = {Springer-Verlag},<br /> series = {Lecture Notes in Artificial Intelligence},<br /> volume = {9322},<br /> editor = {Carsten {Lutz} and Silvio {Ranise} },<br /> pages = {17-32},<br /> title = {Decidable Description Logics of Context with Rigid Roles},<br /> year = {2015},<br /> }<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Proceedings3003&diff=16830 2015-08-19T11:50:33Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Proceedings<br /> |Title=Decidable Description Logics of Context with Rigid Roles<br /> |To appear=1<br /> |Year=2015<br /> |Month=September<br /> |Publisher=Springer-Verlag<br /> |Series=Lecture Notes in Artificial Intelligence<br /> |Volume=9322<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs including ALC, SHOQ, and EL.<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@inproceedings{ BoLi-FroCoS15,<br /> address = {Wroclaw, Poland},<br /> author = {Stephan B{\&quot;o}hme and Marcel Lippmann},<br /> booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)},<br /> publisher = {Springer-Verlag},<br /> series = {Lecture Notes in Artificial Intelligence},<br /> volume = {9322},<br /> editor = {Carsten {Lutz} and Silvio {Ranise} },<br /> pages = {17-32},<br /> title = {Decidable Description Logics of Context with Rigid Roles},<br /> year = {2015},<br /> }<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:BoLi-LTCS-15-04.pdf&diff=16083 2015-05-11T08:47:10Z

<p>Marcel Lippmann: Marcel Lippmann lud eine neue Version von „Datei:BoLi-LTCS-15-04.pdf“ hoch</p> <hr /> <div></div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3021&diff=16060 2015-05-07T14:49:55Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Techreport<br /> |Title=Description Logics of Context with Rigid Roles Revisited<br /> |Year=2015<br /> |Month=Mai<br /> |Institution=Chair of Automata Theory, TU Dresden<br /> |Type=LTCS-Report<br /> |Archivierungsnummer=15-04<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs involving ALC, SHOQ, and EL.<br /> |Download=BoLi-LTCS-15-04.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@techreport{ BoLi-LTCS-15-04,<br /> author = {Stephan {B{\&quot;o}hme} and Marcel {Lippmann} },<br /> institution = {Chair of Automata Theory, TU Dresden},<br /> note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},<br /> number = {15-04},<br /> title = {Description Logics of Context with Rigid Roles Revisited},<br /> type = {LTCS-Report},<br /> year = {2015},<br /> }<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3020&diff=16059 2015-05-07T14:48:57Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Decidable Contextualized DLs with Rigid Roles<br /> |To appear=1<br /> |Year=2015<br /> |Booktitle=Proceedings of the 28th International Workshop on Description Logics (DL-2015)<br /> |Publisher=CEUR-WS.org<br /> |Series=CEUR Workshop Proceedings<br /> }}<br /> {{Publikation Details<br /> |Download=BoLi-DL15.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@inproceedings{ BoLi-DL15,<br /> address = {Athens, Greece},<br /> author = {Stephan {B{\&quot;o}hme} and Marcel {Lippmann} },<br /> booktitle = {Proceedings of the 28th International Workshop on Description Logics ({DL-2015})},<br /> note = {To appear.},<br /> publisher = {CEUR-WS.org},<br /> series = {CEUR Workshop Proceedings},<br /> title = {Decidable Contextualized DLs with Rigid Roles},<br /> year = {2015},<br /> }<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3020/en&diff=16058 2015-05-07T14:48:19Z

<p>Marcel Lippmann: Page created automatically by parser function on page Inproceedings3020</p> <hr /> <div>#REDIRECT [[Inproceedings3020]]</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Inproceedings3020&diff=16057 2015-05-07T14:48:18Z

<p>Marcel Lippmann: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stephan |ErsterAutorNachname=Böhme |FurtherAuthors=Marcel Lippmann; }} {{Inproceedings |Referiert=1 |Title=Dec…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann; <br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Decidable Contextualized DLs with Rigid Roles<br /> |To appear=1<br /> |Year=2015<br /> |Booktitle=Proceedings of the 28th International Workshop on Description Logics (DL-2015)<br /> |Publisher=CEUR-WS.org<br /> |Series=CEUR Workshop Proceedings<br /> }}<br /> {{Publikation Details<br /> |Download=BoLi-DL15.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:BoLi-DL15.pdf&diff=16056 2015-05-07T14:47:53Z

<p>Marcel Lippmann: </p> <hr /> <div></div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3021&diff=16055 2015-05-07T14:45:04Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Techreport<br /> |Title=Description Logics of Context with Rigid Roles Revisited<br /> |Year=2015<br /> |Month=Mai<br /> |Institution=Chair of Automata Theory, TU Dresden<br /> |Type=LTCS-Report<br /> |Archivierungsnummer=15-04<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs involving ALC, SHOQ, and EL.<br /> |Download=BoLi-LTCS-15-04.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=@techreport{ BoLi-LTCS-15-04,<br /> author = {Stephan {B{\&quot;o}hme} and Marcel {Lippmann} },<br /> institution = {Chair of Automata Theory, TU Dresden},<br /> note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},<br /> number = {15-04},<br /> title = {Description Logics of Context with Rigid Roles Revisited},<br /> type = {LTCS-Report},<br /> year = {2015},<br /> }<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3021&diff=16054 2015-05-07T14:44:37Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann;<br /> }}<br /> {{Techreport<br /> |Title=Description Logics of Context with Rigid Roles Revisited<br /> |Year=2015<br /> |Month=Mai<br /> |Institution=Chair of Automata Theory, TU Dresden<br /> |Type=LTCS-Report<br /> |Archivierungsnummer=15-04<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs involving ALC, SHOQ, and EL.<br /> |Download=BoLi-LTCS-15-04.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> |BibTex=<br /> <br /> @techreport{ BoLi-LTCS-15-04,<br /> author = {Stephan {B{\&quot;o}hme} and Marcel {Lippmann}},<br /> institution = {Chair of Automata Theory, TU Dresden},<br /> note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},<br /> number = {15-04},<br /> title = {Description Logics of Context with Rigid Roles Revisited},<br /> type = {LTCS-Report},<br /> year = {2015},<br /> }<br /> <br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3021/en&diff=16053 2015-05-07T14:44:05Z

<p>Marcel Lippmann: Page created automatically by parser function on page Techreport3021</p> <hr /> <div>#REDIRECT [[Techreport3021]]</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Techreport3021&diff=16052 2015-05-07T14:44:05Z

<p>Marcel Lippmann: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stephan |ErsterAutorNachname=Böhme |FurtherAuthors=Marcel Lippmann; }} {{Techreport |Title=Description Logics…“</p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Stephan<br /> |ErsterAutorNachname=Böhme<br /> |FurtherAuthors=Marcel Lippmann; <br /> }}<br /> {{Techreport<br /> |Title=Description Logics of Context with Rigid Roles Revisited<br /> |Year=2015<br /> |Month=Mai<br /> |Institution=Chair of Automata Theory, TU Dresden<br /> |Type=LTCS-Report<br /> |Archivierungsnummer=15-04<br /> }}<br /> {{Publikation Details<br /> |Abstract=To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs involving ALC, SHOQ, and EL. <br /> |Download=BoLi-LTCS-15-04.pdf<br /> |Forschungsgruppe=Automatentheorie<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:BoLi-LTCS-15-04.pdf&diff=16051 2015-05-07T14:43:46Z

<p>Marcel Lippmann: </p> <hr /> <div></div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub360&diff=15875 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Norbert<br /> |ErsterAutorNachname=Manthey<br /> |FurtherAuthors=<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=MinitSAT<br /> |Year=2014<br /> |Month=<br /> |Booktitle=Proceedings of SAT Competition 2014<br /> |Editor=Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo<br /> |Note=<br /> |Organization=<br /> |Pages=48<br /> |Publisher=University of Helsinki, Helsinki, Finland<br /> |Series=Department of Computer Science Series of Publications B<br /> |Volume=B-2014-2<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub359&diff=15873 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Pascal<br /> |ErsterAutorNachname=Hitzler<br /> |FurtherAuthors=Anthony K. Seda<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks<br /> |Year=2003<br /> |Month=<br /> |Booktitle=KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003<br /> |Editor=Rudolf Kruse Andreas Günter and Bernd Neumann<br /> |Note=<br /> |Organization=<br /> |Pages=105-119<br /> |Publisher=Springer<br /> |Series=Lecture Notes in Artificial Intelligence<br /> |Volume=2821<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub358&diff=15871 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Emmanuelle-Anna<br /> |ErsterAutorNachname=Dietz<br /> |FurtherAuthors=Steffen Hölldobler; Marco Ragni<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=A Computational Logic Approach to the Suppression Task<br /> |Year=2012<br /> |Month=<br /> |Booktitle=Proceedings of the 34th Annual Conference of the Cognitive Science Society<br /> |Editor=N. Miyake D. Peebles and R. P. Cooper<br /> |Note=<br /> |Organization=<br /> |Pages=1500-1505<br /> |Publisher=Cognitive Science Society<br /> |Series=<br /> |Volume=<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub357&diff=15869 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Wolfgang<br /> |ErsterAutorNachname=Oertel<br /> |FurtherAuthors=<br /> }}<br /> {{Misc<br /> |Title=FAENSY: Fabel Development System<br /> |Year=1994<br /> |Month=<br /> |Howpublished=FABEL Report Nr. 27, GMD, Sankt Augustin<br /> |Note=<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub356&diff=15867 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Tobias<br /> |ErsterAutorNachname=Pietzsch<br /> |FurtherAuthors=<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Planar Features for Visual SLAM<br /> |Year=2008<br /> |Month=September<br /> |Booktitle=Proc. German Conference on Artificial Intelligence (KI 2008)<br /> |Editor=<br /> |Note=© Springer<br /> |Organization=<br /> |Pages=<br /> |Publisher=Springer<br /> |Series=<br /> |Volume=<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=Pietzsch:08:KI.pdf<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub355&diff=15865 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Sven-Erik<br /> |ErsterAutorNachname=Bornscheuer<br /> |FurtherAuthors=Michael Thielscher<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Explicit and Implicit Indeterminism<br /> |Year=1996<br /> |Month=<br /> |Journal=Journal of Logic Programming, Special Issue `Action and Change'<br /> |Note=<br /> |Number=<br /> |Pages=<br /> |Publisher=<br /> |Volume=<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub354&diff=15863 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=S.<br /> |ErsterAutorNachname=Hölldobler<br /> |FurtherAuthors=Y. Liang<br /> }}<br /> {{Proceedings<br /> |Title=Proceedings of the First International Workshop on Semantic Technologies<br /> |Year=2015<br /> |Month=<br /> |Editor=S. Hölldobler and Y. Liang<br /> |Note=http://ceur-ws.org/Vol-1339/<br /> |Organization=<br /> |Publisher=CEUR-WS.org<br /> |Series=CEUR Workshop Proceedings<br /> |Volume=1339<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub353&diff=15861 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Axel<br /> |ErsterAutorNachname=Großmann<br /> |FurtherAuthors=Riccardo Poli<br /> }}<br /> {{Article<br /> |Referiert=1<br /> |Title=Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids<br /> |Year=2001<br /> |Month=<br /> |Journal=Robotics and Autonomous Systems<br /> |Note=<br /> |Number=<br /> |Pages=1-18<br /> |Publisher=<br /> |Volume=37<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub352&diff=15859 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Alessio<br /> |ErsterAutorNachname=Guglielmi<br /> |FurtherAuthors=<br /> }}<br /> {{Techreport<br /> |Title=A Calculus of Order and Interaction<br /> |Year=1999<br /> |Month=<br /> |Institution=Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology<br /> |Note=<br /> |Type=<br /> |Reviewed=0<br /> |Archivierungsnummer=WV-1999-04<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub351&diff=15857 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Manfred<br /> |ErsterAutorNachname=Schramm<br /> |FurtherAuthors=Bertram Fronhöfer<br /> }}<br /> {{Inproceedings<br /> |Referiert=1<br /> |Title=Completing Incomplete Bayesian Networks<br /> |Year=2002<br /> |Month=Mai<br /> |Booktitle=Conditionals, Information, and Inference<br /> |Editor=Gabriele Kern-Isberner and Wilhelm Roedder<br /> |Note=<br /> |Organization=Fernuniversität, Gesamthochschule in Hagen<br /> |Pages=231-243<br /> |Publisher=<br /> |Series=<br /> |Volume=<br /> |To appear=0<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann https://iccl.inf.tu-dresden.de/w/index.php?title=WVPub350&diff=15855 2015-04-13T13:07:38Z

<p>Marcel Lippmann: </p> <hr /> <div>{{Publikation Erster Autor<br /> |ErsterAutorVorname=Steffen<br /> |ErsterAutorNachname=Hölldobler<br /> |FurtherAuthors=Michael Thielscher<br /> }}<br /> {{Techreport<br /> |Title=Properties vs. Resources: Solving Simple Frame Problems<br /> |Year=1996<br /> |Month=<br /> |Institution=Intellektik, Informatik, TH Darmstadt<br /> |Note=<br /> |Type=Technischer Report<br /> |Reviewed=0<br /> |Archivierungsnummer=AIDA-96-03<br /> }}<br /> {{Publikation Details<br /> |Abstract=<br /> |ISBN=<br /> |ISSN=<br /> |Link=<br /> |Download=<br /> |Slides=<br /> |DOI Name=<br /> |Projekt=<br /> |Forschungsgruppe=Wissensverarbeitung<br /> |BibTex=<br /> }}</div>

Marcel Lippmann