Vorlage:DisplayMitarbeiter (example name)
Template for displaying personal pages. It is used in Template:Mitarbeiter and Template:Mitarbeiter/en.
Usage:
{{DisplayMitarbeiter | L = "/en" (English) or empty (German) | Page = title of the main page where the person's data is stored | Akademischer Titel = title prefix | Name = full name | Ehemaliger = 0 (current employees) or 1 (former employees) | Forschungsgruppe = list of German research group names (semicolon separated) | Bild = Image | Stellung = Position | Raum = Room | Info = text description | Gebäude = Building code (usually APB) | Sprechstunde Tag = Week day of office hours as a German abbreviation, e.g., Do | Sprechstunde Beginn = office hour start, e.g., 11:00 | Sprechstunde Ende = office hour end, e.g., 12:00 | Telefon = phone number | Fax = fax number | Email = email | Alternative URI = homepage | Public Key = filename of public key | DBLP = URL of DBLP publication page | Google Scholar = URL of Google Scholar page | Publikationen anzeigen = 1 (show publications) or 0 (don't show any publications) | Abschlussarbeiten anzeigen = 1 (show supervisions) or 0 (don't show any supervisions) | Sekretariat Mail = mail address of secretary (leave empty to hide) | Matrix = matrix account (leave empty to hide) }}
- Example output
Dr. Vorlage:DisplayMitarbeiter (example name)
Position Computational Logic
- Public Key
- Secretary: secretary@example.org
- Chat (Matrix ): @matrix:example.org
- phone number
- fax number
- Room
- Thu, 11:00 am – 12:00 pm
text description
Newest Publications
Chase Termination Beyond Polynomial Time
Proceedings of the 43rd Symposium on Principles of Database Systems (PODS’24), to appear. ACM
Details Download
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Wikidata: The Making Of
In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo,Carlos Castillo, Geert-Jan Houben, eds., Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615--624, 2023. ACM
Details Download
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
In Guido Governatori, Anni-Yasmin Turhan, eds., Proceddings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 146--163, 2022. Springer
Details Download
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., Proc. 21st International Semantic Web Conference (ISWC 2022), volume 13489 of LNCS, 267-283, October 2022. Springer
Details Download
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download
Chasing Streams with Existential Rules
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details Download
- Area Editor der Zeitschrift Transactions on Graph Data and Knowledge (TGDK)
- Director of the School of Embedded Composite AI (SECAI)
- Member of the Program Committee Board of the International Joint Conference on Artificial Intelligence, IJCAI (2022-2024)
- Member of the Faculty Council Computer Science, TU Dresden (2022-2024)
- Coordinator Track "Logical Modeling" in the MSc program Computational Modeling and Simulation
- Study program coordinator Computational Logic
- President of the Open Semantic Data Association (OSDA)
- Member of Examination Board Bachelor Computer Science
Courses
- Theoretische Informatik und Logik (SS 2024)
- Complexity Theory (WS 2023)
- Formale Systeme (WS 2023)
- Knowledge Graphs (WS 2023)
- Database Theory (SS 2023)
show further courses
Student projects
Completed Theses
- Reliance-Based Optimization of Existential Rule Reasoning
- by Alex Ivliev (9 Dezember 2021)
- Supervisor: Markus Krötzsch
- Chase-Based Computation of Cores for Existential Rules
- by Lukas Gerlach (29 August 2021)
- Supervisor: Markus Krötzsch
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
- by Lukas Gerlach (31 März 2021)
- Supervisor: Markus Krötzsch, David Carral
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
- by Lukas Gerlach (30 September 2020)
- Supervisor: Markus Krötzsch, David Carral
- Software Implementation for Taxonomy Browsing and Ontology Evaluation for the case of Wikidata
- by Serghei Stratan (7 März 2016)
- Supervisor: Markus Krötzsch
- Visualization of spacio-temporal data from Wikidata
- by Georg Wild (4 September 2014)
- Supervisor: Markus Krötzsch
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Center for Perspicuous Computing
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
KIMEDS
AI Assisted Certification of Medical Software
Nemo
A fast, scalable, and reliable rule engine
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Popular open-source software for collaborative data management
Wikidata
Wikipedia's free, collaborative knowledge base
Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service