Version vom 21. Juli 2023, 15:26 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.

Die KR'23 hat folgende Beiträge des ICCL akzeptiert:

       Lukas Gerlach and David Carral.
       Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination

       Nicola Gigante, Lucía Gómez Álvarez and Tim S. Lyon.
       Standpoint Linear Temporal Logic

       Tim S. Lyon and Piotr Ostropolski-Nalewaja.
       Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules

Die für JELIA'23 angenommenen Arbeiten sind:

       Bartosz Bednarczyk.
       Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features"

       Igor de Camargo E Souza Câmara and Anni-Yasmin Turhan.
       Deciding Subsumption in Defeasible ELI⊥ with Typicality Models

       Tim S. Lyon and Sebastian Rudolph.
       Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

       Sergei Obiedkov and Barış Sertkaya.
       Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis

Andere Beiträge:

       Kees van Berkel, Tim S. Lyon and Matteo Pascucci.
       A Logical Analysis of Instrumentality Judgements: Means-End Relations in the Context of Experience and Expectations

       Alex Ivliev,  Stefan Ellmauthaler,  Lukas Gerlach,  Maximilian Marx,  Matthias Meißner,  Simon Meusel and Markus Krötzsch.
       Nemo: First Glimpse of a New Rule Engine

       Jonas Karge.
       Second-order Confidence in Supervaluationism

       Jonas Karge.
       Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem

       Tim S. Lyon.
       Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics

@@ Zeile 1: / Zeile 1: @@
 {{Neuigkeit
 |Titel DE=ICCL feiert großen Erfolg mit zehn angenommenen Beiträgen bei Top-Konferenzen in 2023
-|Titel EN=ICCL Researchers Achieve Outstanding Success with Eight Accepted Papers at Renowned IJCAI, KR and JELIA Conferences in 2023
+|Titel EN=ICCL Researchers Achieve Outstanding Success with Ten Accepted Papers at Renowned 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>
@@ Zeile 71: / Zeile 71: @@
 <p>Among these leading gatherings in the realms of artificial intelligence and computer science are the [https://ijcai-23.org/ International Joint Conference on Artificial Intelligence (IJCAI)], the
 [https://kr.org/KR2023/ International Conference on Principles of Knowledge Representation and Reasoning (KR)] and the [https://jelia2023.inf.tu-dresden.de/European Conference on Logics in Artificial Intelligence (JELIA)]. In a remarkable success, researchers from the [https://iccl.inf.tu-dresden.de/ International Center for Computational Logic (ICCL)] have had
-one of their papers accepted at [https://ijcai-23.org/ IJCAI 2023], three at [https://kr.org/KR2023/ KR 2023], and four at [https://jelia2023.inf.tu-dresden.de/ JELIA 2023]. Moreover, ICCL researchers have made valuable contributions to numerous other conferences and workshops.</p>
+three of their papers accepted at [https://ijcai-23.org/ IJCAI 2023], three at [https://kr.org/KR2023/ KR 2023], and four at [https://jelia2023.inf.tu-dresden.de/ JELIA 2023]. Moreover, ICCL researchers have made valuable contributions to numerous other conferences and workshops.</p>
 <p>We offer our congratulations to our colleagues for their significant achievement. We look forward to seeing more of their research contributions in the future.</p>
@@ Zeile 77: / Zeile 77: @@
-The [https://ijcai-23.org/ IJCAI 2023] accepted paper is:
+The [https://ijcai-23.org/ IJCAI 2023] accepted papers are:
 <div>
-        [[Lucía Gómez Álvarez]], [[Sebastian Rudolph]] and [[Hannes Strass]].
+    [https://iccl.inf.tu-dresden.de/web/Inproceedings3349 Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL]
-        [https://iccl.inf.tu-dresden.de/web/Inproceedings3349 Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL]
+    [[Lucía Gómez Álvarez]], [[Sebastian Rudolph]] and [[Hannes Strass]]
+</div>
+<div>
+    A Unifying Formal Approach to Importance Values in Boolean Functions
+    Hans Harder, Simon Jantsch, [[Christel Baier]], Clemens Dubslaff
+</div>
+<div>
+    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
 </div>
@@ Zeile 87: / Zeile 95: @@
 [https://kr.org/KR2023/ KR'23] accepted contributions are:
 <div>
-        [[Lukas Gerlach]] and [https://www-sop.inria.fr/members/David.Carral/ David Carral].
+    [https://iccl.inf.tu-dresden.de/web/Inproceedings3353 Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination]
-        [https://iccl.inf.tu-dresden.de/web/Inproceedings3353 Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination]
+    [[Lukas Gerlach]] and [https://www-sop.inria.fr/members/David.Carral/ David Carral]
 </div>
 <div>
-        [https://www.inf.unibz.it/~gigante/ Nicola Gigante], [[Lucía Gómez Álvarez]] and [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon].
+    [https://arxiv.org/abs/2304.14243 Standpoint Linear Temporal Logic]
-        [https://arxiv.org/abs/2304.14243 Standpoint Linear Temporal Logic]
+    [https://www.inf.unibz.it/~gigante/ Nicola Gigante], [[Lucía Gómez Álvarez]] and [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon]
 </div>
 <div>
-        [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon] and [[Piotr Ostropolski-Nalewaja]].
+    [https://arxiv.org/abs/2306.02521 Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules]
-        [https://arxiv.org/abs/2306.02521 Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules]
+    [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon] and [[Piotr Ostropolski-Nalewaja]]
 </div>
@@ Zeile 103: / Zeile 111: @@
 [https://jelia2023.inf.tu-dresden.de/ JELIA'23] accepted contributions are:
 <div>
-        [[Bartosz Bednarczyk]].
+    [https://iccl.inf.tu-dresden.de/web/Inproceedings3359 Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features]
-        Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features"
+    [[Bartosz Bednarczyk]]
 </div>
 <div>
-        [https://igorcsc.github.io/ Igor de Camargo E Souza Câmara] and [[Anni-Yasmin Turhan]].
+    Deciding Subsumption in Defeasible ELI⊥ with Typicality Models
-        Deciding Subsumption in Defeasible ELI⊥ with Typicality Models
+    [https://igorcsc.github.io/ Igor de Camargo E Souza Câmara] and [[Anni-Yasmin Turhan]]
 </div>
 <div>
-        [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon] and [[Sebastian Rudolph]].
+    Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
-        Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
+    [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon] and [[Sebastian Rudolph]]
 </div>
 <div>
-        [[Sergei Obiedkov]] and [https://www.informatik.fb2.frankfurt-university.de/~sertkaya/ Barış Sertkaya].
+    Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
-        Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
+    [[Sergei Obiedkov]] and [https://www.informatik.fb2.frankfurt-university.de/~sertkaya/ Barış Sertkaya]
 </div>
@@ Zeile 123: / Zeile 131: @@
 Other contributions:
 <div>
-        Kees van Berkel, [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon] and [https://philosophy.ceu.edu/people/matteo-pascucci-0 Matteo Pascucci].
+    Notation3 as an Existential Rule Language
-        [https://arxiv.org/abs/2209.02287 A Logical Analysis of Instrumentality Judgements: Means-End Relations in the Context of Experience and Expectations]
+    [[Doerthe Arndt]] and [[Stephan Mennicke]]
+</div>
+<div>
+    [https://arxiv.org/abs/2209.02287 A Logical Analysis of Instrumentality Judgements: Means-End Relations in the Context of Experience and Expectations]
+    Kees van Berkel, [https://iccl.inf.tu-dresden.de/web/Tim_Lyon/ Tim S. Lyon] and [https://philosophy.ceu.edu/people/matteo-pascucci-0 Matteo Pascucci].
+</div>
+<div>
+    [https://iccl.inf.tu-dresden.de/web/Inproceedings3354 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]]
 </div>
 <div>
-        [[Alex Ivliev]],  [[Stefan Ellmauthaler]],  [[Lukas Gerlach]],  [[Maximilian Marx]],  [[Matthias Meißner]],  [[Simon Meusel]] and [[Markus Krötzsch]].
+    [https://iccl.inf.tu-dresden.de/web/Article3091 Second-order Confidence in Supervaluationism]
-        [https://iccl.inf.tu-dresden.de/web/Inproceedings3354 Nemo: First Glimpse of a New Rule Engine]
+    [[Jonas Karge]]
 </div>
 <div>
-        [[Jonas Karge]].
+    Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
-        [https://iccl.inf.tu-dresden.de/web/Article3091 Second-order Confidence in Supervaluationism]
+    [[Jonas Karge]]
 </div>
 <div>
-        [[Jonas Karge]].
+    [https://arxiv.org/abs/2306.07550 Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics]
-        Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
+    [https://iccl.inf.tu-dresden.de/web/Tim_Lyon Tim S. Lyon]
 </div>
 <div>
-        [https://iccl.inf.tu-dresden.de/web/Tim_Lyon Tim S. Lyon].
+    Abstract Domains for Database Manipulating Processes
-        [https://arxiv.org/abs/2306.07550 Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics]
+    Tobias Schüler [[Stephan Mennicke]] and Malte Lochau
 </div>
 |Datum=2023/07/21
 }}

News88: Unterschied zwischen den Versionen

Version vom 21. Juli 2023, 15:26 Uhr

Neuigkeit vom 21. Juli 2023

ICCL feiert großen Erfolg mit zehn angenommenen Beiträgen bei Top-Konferenzen in 2023