News88: Unterschied zwischen den Versionen
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Neuigkeit | {{Neuigkeit | ||
|Titel DE=ICCL feiert großen Erfolg mit zehn angenommenen Beiträgen bei Top-Konferenzen in 2023 | |Titel DE=ICCL feiert großen Erfolg mit zehn angenommenen Beiträgen bei Top-Konferenzen in 2023 | ||
|Titel EN= | |Titel EN=Outstanding Success for ICCL: Ten Accepted Papers at Major Conferences | ||
|Beschreibung DE=<p>Jedes Jahr konkurrieren Tausende Forscher:innen weltweit um die Möglichkeit, ihre neusten Arbeiten auf einer renommierten Konferenz vorstellen zu dürfen. Bei hoch angesehenen Konferenzen ist der Auswahlprozess dabei in der Regel besonders streng. Damit die eigene Arbeit akzeptiert wird, müssen Forschungsbeiträge nicht nur innovativ sein und eine hohe Qualität aufweisen, sondern auch in den jeweiligen Communities Anklang finden und einen bedeutenden Beitrag leisten.</p> | |Beschreibung DE=<p>Jedes Jahr konkurrieren Tausende Forscher:innen weltweit um die Möglichkeit, ihre neusten Arbeiten auf einer renommierten Konferenz vorstellen zu dürfen. Bei hoch angesehenen Konferenzen ist der Auswahlprozess dabei in der Regel besonders streng. Damit die eigene Arbeit akzeptiert wird, müssen Forschungsbeiträge nicht nur innovativ sein und eine hohe Qualität aufweisen, sondern auch in den jeweiligen Communities Anklang finden und einen bedeutenden Beitrag leisten.</p> | ||
Version vom 21. Juli 2023, 15:32 Uhr
Neuigkeit vom 21. Juli 2023
ICCL feiert großen Erfolg mit zehn angenommenen Beiträgen bei Top-Konferenzen in 2023
Jedes Jahr konkurrieren Tausende Forscher:innen weltweit um die Möglichkeit, ihre neusten Arbeiten auf einer renommierten Konferenz vorstellen zu dürfen. Bei hoch angesehenen Konferenzen ist der Auswahlprozess dabei in der Regel besonders streng. Damit die eigene Arbeit akzeptiert wird, müssen Forschungsbeiträge nicht nur innovativ sein und eine hohe Qualität aufweisen, sondern auch in den jeweiligen Communities Anklang finden und einen bedeutenden Beitrag leisten.
Zu den führenden Konferenzen in den Bereichen Künstliche Intelligenz und Informatik im Allgemeinen zählen hierbei die International Joint Conference on Artificial Intelligence (IJCAI), die International Conference on Principles of Knowledge Representation and Reasoning (KR) sowie die European Conference on Logics in Artificial Intelligence (JELIA). Wissenschaftler:innen des International Center For Computational Logic (ICCL) ist es gelungen, gleich mehrere ihrer Beiträge in allen dieser Top-Konferenzen akzeptiert zu bekommen. Akzeptiert wurden drei Beiträge bei IJCAI 2023, vier bei JELIA 2023 sowie drei Einreichungen bei KR 2023. Darüber hinaus sind Forscher:innen des ICCL auch in zahlreichen anderen Konferenzen und Workshops vertreten.
Wir gratulieren unseren Kollegen zu diesem Erfolg und freuen uns darauf, auch in Zukunft weitere ihrer hervorragenden Arbeiten lesen zu können.
The IJCAI 2023 accepted papers are:
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Strass
A Unifying Formal Approach to Importance Values in Boolean Functions Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
More for Less: Safe Policy Improvement with Stronger Performance Guarantees Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
Die KR'23 hat folgende Beiträge des ICCL akzeptiert:
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination Lukas Gerlach and David Carral
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules Tim S. Lyon and Piotr Ostropolski-Nalewaja
Die für JELIA'23 angenommenen Arbeiten sind:
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features Bartosz Bednarczyk
Deciding Subsumption in Defeasible ELI⊥ with Typicality Models Igor de Camargo E Souza Câmara and Anni-Yasmin Turhan
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets Tim S. Lyon and Sebastian Rudolph
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis Sergei Obiedkov and Barış Sertkaya
Andere Beiträge:
Notation3 as an Existential Rule Language Dörthe Arndt and Stephan Mennicke
A Logical Analysis of Instrumentality Judgements: Means-End Relations in the Context of Experience and Expectations Kees van Berkel, Tim S. Lyon and Matteo Pascucci.
Nemo: First Glimpse of a New Rule Engine Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel and Markus Krötzsch
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem Jonas Karge
Abstract Domains for Database Manipulating Processes Tobias Schüler Stephan Mennicke and Malte Lochau
