International Center for Computational Logic/en

There is still work to do on this page

Create our English start page here.

See also the list of all pages with todos. This note is only visible to logged in users.

Some test elements

Tag spere of research areas

• Abstrakte Argumentation
• Answer Set Programming
• Automatentheorie und formale Sprachen
• Beschreibungslogiken
• Beweistheorie
• Constraint Satisfaction Problems
• Datenbanktheorie
• Existenzielle Regeln
• Formale Begriffsanalyse
• Modal- und Temporallogiken
• Multiagentensysteme
• Nichtmonotones Schließen
• Regelbasiertes Schließen
• Semantische Technologien
• Verstehen natürlicher Sprache
• Wissensrepräsentation und logisches Schließen

Galleries

• Piotr Ostropolski-Nalewaja

• Sarah Alice Gaggl

• Lucía Gómez Álvarez

• Markus Krötzsch

• Pascal Hitzler

• Stefan Borgwardt

• Christian Lewe

• Matthias Meißner

• Andrea Kühn

• Kati Domann

• Michaël Thomazo

• Ana Ozaki

• Filippo De Bortoli

• Anni-Yasmin Turhan

• Peter Steinke

• Stefan Ellmauthaler

• Timm Spork

• Georg Wild

• Ali Elhalawati

• Sebastian Rudolph

• Dagmar Gromann

• Norbert Manthey

• Alexander Krause

• Martin Diller

• Tim Lyon

• Alex Ivliev

• Pascal Kettmann

• Max Korn

• Tomáš Masopust

• Larry González

• Aaron Stephan

• Jonas Karge

• Thomas Feller

• Daniel Borchmann

• İsmail İlkan Ceylan

• Dörthe Arndt

• Barbara Morawska

• Julius Gonsior

• Simon Razniewski

• Franz Baader

• Bartosz Bednarczyk

• Calvin Chau

• Sergei Obiedkov

• Satyadharma Tirtarasa

• Patrick Wienhöft

• Kerstin Achtruth

• Karina Adler

• Ramona Behling

• Lukas Gerlach

• Rajab Aghamov

... further results

• Constraint Satisfaction Problems

• Existenzielle Regeln

• Abstrakte Argumentation

• Wissensrepräsentation und logisches Schließen

• Beweistheorie

• Formale Begriffsanalyse

• Modal- und Temporallogiken

• Datenbanktheorie

• Multiagentensysteme

• Answer Set Programming

• Automatentheorie und formale Sprachen

• Semantische Technologien

• Beschreibungslogiken