167 Infos zu Leif Sabellek

2 Aktuelle Nachrichten

Leif Sabellek, University of Bremen; Uli Sattler, The University of Manchester; Stefan Schlobach, Vrije Universiteit Amsterdam; Renate Schmidt, The University ...

... have been successful again in the best paper award competition of an international conference: Their paper Anneke Haga, Carsten Lutz, Leif Sabellek and…

6 Profile in Sozialen Netzwerken

Sehen Sie sich das Profil von Leif Sabellek auf LinkedIn an. Als weltweit größtes Business-Netzwerk hilft LinkedIn Menschen wie Leif Sabellek dabei, ...

Search code, repositories, users, issues, pull requests... · Provide feedback · Saved searches · Leif Sabellek NLogSpace · Block or report NLogSpace.

Leif Sabellek, Lukas Schulze. We study the evaluation of ontology-mediated queries (OMQs) on databases of bounded cliquewidth from the viewpoint of ...

Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter. Figure 1 for How to Approximate Ontology-Mediated Queries. We introduce and study several notions of ...

1 Hobbys & Interessen

von D Calvanese · · Zitiert von: 549 — Carsten Lutz & Leif Sabellek Artificial Intelligence 308 (C): Tractable approximate deduction for OWL.Jeff Z. Pan, Yuan Ren & Yuting Zhao ...

1 Business-Profile

Mathematik/Informatik / Bremen / Komplexitätstheorie, Theoretische Informatik, Forschung, Mathematik, Lehre, Logik / , Universität Bremen

3 Persönliche Webseiten

In her free time, she likes to do yoga, Pilates and Zumba or enjoys trips to the mountains and lakes with her family. ×. Dr. Leif Sabellek. Analyst. Leif ...

Dr. Leif Sabellek. Analyst. Leif Sabellek studierte Mathematik und promovierte in theoretischer Informatik an der Universität Bremen. › contact-research

4 Infos zur Ausbildung

Kurs: Automatentheorie und ihre Anwendungen (Wintersemester ). Vortragender: Dr. Leif Sabellek K4, Master-Ergänzung, „Spezielle Themen der ...

von S Kikot · · Zitiert von: 3 — [31] Carsten Lutz and Leif Sabellek Ontology-Mediated Querying with the. Description Logic EL: Trichotomy and Linear Datalog Rewritability. › files › PODS_21_f

–14, MZH 5210, Leif Sabellek. Do. 10–12, MZH 1100, Dr. Jean Christoph ...

Homepage der Vorlesung Theoretische Informatik 2, SoSe 2016

10 Bücher zum Namen

Leif Sabellek is an academic researcher from University of Bremen. The author has contributed to research in topics: Ontology (information science) ...

Leif Sabellek. Universität Bremen, Bibliographic information. Title, Ontology-mediated Querying with Horn Description Logics. Author, Leif Sabellek.

hmtl icon · Carsten Lutz, Leif Sabellek (modified: 09 Nov 2022); IJCAI 2017; Readers: Everyone. From Conjunctive Queries to Instance Queries in Ontology ...

Bewertung 3,8 (34) Leif Sabellek rated it liked it. Oct 01, · Caramel rated it really liked it. May 01, · S Ebert-Forbes rated it it was amazing Bewertung 3,8 (34) Leif Sabellek rated it liked it. Oct 01, · Caramel rated it really liked it. May 01, · S Ebert-Forbes rated it it was amazing

14 Dokumente

von C Lutz · · Zitiert von: 6 — Authors:Carsten Lutz, Leif Sabellek. Download a PDF of the paper titled ... Leif Sabellek · a export BibTeX citation Loading... BibTeX formatted ...

Leif Sabellek · Leif Sabellek · Export Citations · Save this search · Author Profile Pages · Bibliometrics · ACM Author-Izer Service · Footer ...

von M Grobler · · Zitiert von: 3 — Remarks on Parikh-recognizable omega-languages. Authors:Mario Grobler, Leif Sabellek, Sebastian Siebertz.

von C Lutz — Carsten Lutz and Leif Sabellek. Department of Computer Science, University of Bremen, Germany. Substantial research efforts have been invested into ...

24 Wissenschaftliche Publikationen

— Ray Reiter Best Paper Runner-up: How to Approximate Ontology-Mediated Queries Anneke Haga, Carsten Lutz , Leif Sabellek, Frank Wolter. Marco ...

von C Lutz · · Zitiert von: 6 — Author links open overlay panel. Carsten Lutz a , Leif Sabellek b. Show more. Add to Mendeley. Share. Cite. https://doi.org j.artint Get ...

Carsten Lutz and Leif Sabellek. Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability. In Proceedings of the ...

— Carsten Lutz, Leif Sabellek : A complete classification of the complexity and rewritability of ontology-mediated queries based on the ...

4 Allgemeine Veröffentlichungen

von R Reiter · Zitiert von: — Leif Sabellek. Disjunctive logic programs, answer sets, and the cut rule. Article Open access 04 March Éric Martin. References. Clark, K.L. [1978] ...

Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek

von M Lenzerini — Carsten Lutz, Johannes Marti, and Leif Sabellek. Query expressibility and verification in ontology-based data access. In Proc. of the 16th Int. Conf. on the ... › uploads ›

[doi] · Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog RewritabilityCarsten Lutz, Leif Sabellek [doi] · Logic on MARS: Ontologies for Generalised Property GraphsMaximilian Marx 0001, Markus Krötzsch, Veronika Thost [doi] ...

4 Meinungen & Artikel

On Sun, Mar 23, at 10:47 PM, Leif Sabellek wrote:.

Super interesting question of Leif Sabellek on a little number-theoretic game. Many open questions about it. https://t.co/zlRj0w76L3.

— Leif Sabellek. in. CONTACT Research · Think before you speak! — The inherent statelessness of Large Language Models. Advanced large ...

Leif Sabellek is currently offline Leif Sabellek · Friend Messages: 1. Registered: March Junior Member ...

93 Webfunde aus dem Netz

Leif Sabellek. University of Bremen. Bestätigte E-Mail-Adresse bei informatik.uni-bremen.de. Description LogicsQualitative ReasoningKnowledge ...

Leif Sabellek's user avatar. Leif Sabellek. Member for 7 years, 1 month. Last seen more than 5 years ago. Network profile · Profile Activity. Communities. View ...

Leif Sabellek's user avatar. Leif Sabellek. Member for 10 years, 3 months. Last seen this week. Network profile · Profile Activity. Communities. View all.

About Leif Sabellek on Medium. Mathematician & Computer Scientist, researching about Artificial Intelligence at CONTACT Software.

Read writing from Leif Sabellek on Medium. Mathematician & Computer Scientist, researching about Artificial Intelligence at CONTACT Software.

Leif Sabellek. We provide a fine-grained analysis of the data complexity and rewritability of ontology-mediated queries (OMQs) based on an EL ...

Authors:Lukas Schulze, Carsten Lutz and Leif Sabellek. Conference:KR Tags:bounded cliquewidth, description logic, ontology-mediated querying and ...

11:10-11:35 Anita Badyl and Paweł Parys on Extending the WMSO+U Logic With Quantification Over Tuples; 11:35-12:00 Mario Grobler, Leif Sabellek and Sebastian ...

Carsten Lutz, Leif Sabellek. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Main track. Pages https ...

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence.

Distinguished Student Paper (prize awarded to Leif Sabellek). Important Dates: Paper registration deadline: April 28, 2017; Paper submission deadline: May

This year's Distinguished Student Paper Award was given to Leif Sabellek for the paper “Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog ...

Beschreibung. Hallo, ich heiße Leif Sabellek und ich produziere Lernvideos über theoretische Informatik und Mathematik auf Youtube. Der Youtube-Kanal heißt ...

Leif Sabellek's user avatar. Leif Sabellek. Member for 10 years, 4 months. Last seen more than a month ago. Profiles. Meta user · Network profile · Profile ...

von L Sabellek · · Zitiert von: 4 — Epub Jun 21. Author. Leif Sabellek. Affiliation. 1 University of Bremen, Bremen, Germany. PMID: ; PMCID: PMC ; DOI: s

Leif Sabellek, Apr EXTENSIONS. Terms a(29) and beyond from Andrew Howroyd, Apr STATUS. approved. Lookup | Welcome | Wiki | Register | Music ...

Leif Sabellek. Computer Science. Description Logics We consider ontology-mediated queries (OMQs) based on an EL ontology and an atomic query (AQ) ...

March 22, Authors. Carsten Lutz. Johannes Marti. Leif Sabellek. Track: All Content. Downloads: Download PDF. Topics: KR. Primary Sidebar.

... Leif Sabellek, Frank Wolter, How To Approximate Ontology-Mediated Queries,; PODS Test of Time Award for PODS Ontology-based data access: A study ...

Leif Sabellek ; Region Germany ; WCA ID2019SABE01 ; GenderMale ; Competitions1 ; Completed Solves9 ...