Vorlage:DisplayMitarbeiter (example name)

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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)

PositionTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

text description

Newest Publications

View full publication list

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), to appear
Details Download
David Carral, Markus Krötzsch
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
In Christian Bessiere, eds., Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, 1777-1783, 2020. ijcai.org
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
Reasoner = Logical Calculus + Rule Engine
KI, 2020
Details
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)
Details
David Carral, Markus Krötzsch, Jacopo Urbani
Practical Uses of Existential Rules in Knowledge Representation
Tutorial at the 24th European Conference on Artificial Intelligence (ECAI 2020)
Details
Markus Krötzsch
Computing Cores for Existential Rules with the Standard Chase and ASP
In Diego Calvanese, Esra Erdem, Michael Thielscher, eds., Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 603-613, 2020. IJCAI
Details Download
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), August 2019. International Joint Conferences on Artificial Intelligence
Details Download
David Carral, Irina Dragoste, Larry González, Ceriel Jacobs, Markus Krötzsch, Jacopo Urbani
VLog: A Rule Engine for Knowledge Graphs
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon, eds., Proceedings of the 18th International Semantic Web Conference (ISWC'19) Part II, volume 11779 of LNCS, October 2019. Springer
Details Download
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download
Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details
View full publication list
Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Center for Perspicuous Computing

DIAMOND-Logo.png

DIAMOND
Data Integration and Access by Merging Ontologies and Databases

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki logo.png

Semantic MediaWiki
Popular open-source software for collaborative data management

VLog
A fast, highly scalable rule engine for existential rules and Datalog.

Wikidata-logo-en.svg

Wikidata
Wikipedia's free, collaborative knowledge base

Wikidata-sparql-logo-png.png

Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service