Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation + (Giuseppina-monterosso.jpeg)
- Peter Grigoriev + (Grigoriev.jpg)
- 11. EMCL Workshop + (Gruppenfoto-11-EMCL-Workshop.jpg)
- Algebraische und logische Grundlagen der Informatik + (Gruppenfoto.jpeg)
- Pascal Hitzler + (Hitzler.jpg)
- Dieter Hutter + (Hutter.jpg)
- Jonas Karge + (ICCL profile JK 0410.jpg)
- Gruppe Wissensbasierte Systeme erhält Best Paper Award der International Semantic Web Conference + (ISWC2018-InUse-Award-cropped.jpg)
- ICCL mit gleich sieben Papieren bei IJCAI vertreten + (Ijcai2015-logo.png)
- ICCL-Forscher erhalten Auszeichnung auf weltgrößter Konferenz für Künstliche Intelligenz + (Ijcai2015-logo.png)
- Irina Dragoste + (Irina-Dragoste-2019-10-21.jpg)
- İsmail İlkan Ceylan + (Ismail-.jpg)
- ICCL veranstaltet JELIA 2023 + (Jelia-500-250.jpg)
- Julius Gonsior + (Julius Gonsior.jpg)
- Achim Jung + (Jung.jpg)
- ICCL-Forscher erhalten Best Paper Award auf internationaler Top-Konferenz für symbolische KI + (KR-2021-best-paper-smaller.jpg)
- Antonis Kakas + (Kakas.jpg)
- Kati Domann + (Kati-Domann-2019-10-21.jpg)
- Petros Kefalas + (Kefalas.jpg)
- Kerstin Achtruth + (Kerstin Achtruth.jpg)
- Pascal Kettmann + (Kettmann.jpg)
- Wissensverarbeitung + (Kiwv-group-picture.jpg)
- Michael Kohlhase + (Kohlhase.jpg)
- Franz J. Kurfess + (Kurfess.jpeg)
- Sergei Kuznetsov + (Kusnetzov.jpg)
- Automatentheorie + (LAT group photo 2025.jpg)
- ICCL mit gleich vier Papieren bei LICS 2021 vertreten + (LICS2021.png)
- Sebastian Rudolph erhält ERC Consolidator Grant + (LOGO-ERC-small.jpg)
- Logische Programmierung und Argumentation + (LPArg-Group-Photo.png)
- Larry González + (Larry-Gonzalez-2019-10-21.jpg)
- Giorgio Levi + (Levi.jpg)
- Jim Lipton + (Lipton.jpg)
- Lukas Gerlach mit Lohrmann Medaille ausgezeichnet + (Lohrmann-Medal.jpg)
- Alessio Lomuscio + (Lomuscio.jpg)
- Long Cheng + (Long Cheng.jpg)
- Lukas Schweizer + (Lschweizer.jpg)
- Lucía Gómez Álvarez + (Lucia400x600.jpg)
- Manuel Bodirsky + (Manuel-400x600.jpg)
- Markus Krötzsch gab einen Kurs bei der EDBT Summer School + (Markus-Kroetzsch-2014-2-3.jpg)
- Markus Krötzsch + (Markus-Kroetzsch-2024-10-27.jpg)
- Martin Diller + (Martin-diller-2019.jpg)
- Martin Diller + (Martin-diller-2019.jpg)
- Maximilian Marx + (Maximilian-Marx-2019-10-21.jpg)
- Meghna Bhadra + (Mbhadra.jpg)
- Claudia Carapelle + (Me pic.png)
- Lukas Gerlach + (Me.jpg)
- Medaillen an internationalem Wettbewerb für SAT Solver der Gruppe Wissensverarbeitung + (Medals riss 2016.jpg)
- Michael Günther + (Michael Guenther.jpg)
- Faron Moller + (Moller.jpg)
- Barbara Morawska + (Morawska.jpg)
- Norbert Fuchs + (N.Fuchs.jpg)
