News88: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Bartosz Bednarczyk (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 sieben angenommenen Beiträgen bei KR und JELIA 2023 | |Titel DE=ICCL feiert großen Erfolg mit sieben angenommenen Beiträgen bei KR und JELIA 2023 | ||
|Titel EN=ICCL Researchers Achieve Outstanding Success with | |Titel EN=ICCL Researchers Achieve Outstanding Success with Eight Accepted Papers at Renowned IJCAI, KR and JELIA Conferences in 2023 | ||
|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> | ||
| Zeile 69: | Zeile 69: | ||
|Beschreibung EN=<p>Each year, thousands of researchers worldwide submit their work to prominent conferences within their specific fields, competing for the recognition that comes from having their papers accepted. Highly esteemed conferences generally maintain a low acceptance rate, reflecting a stringent selection process. To secure a place, research papers must not only be innovative and of superior quality, but they also need to resonate with and contribute significantly to their respective communities.</p> | |Beschreibung EN=<p>Each year, thousands of researchers worldwide submit their work to prominent conferences within their specific fields, competing for the recognition that comes from having their papers accepted. Highly esteemed conferences generally maintain a low acceptance rate, reflecting a stringent selection process. To secure a place, research papers must not only be innovative and of superior quality, but they also need to resonate with and contribute significantly to their respective communities.</p> | ||
<p>Among these leading gatherings in the realms of artificial intelligence and computer science are 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 International Center for Computational Logic (ICCL) have had | <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> | |||
<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> | <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> | ||
The [https://ijcai-23.org/ IJCAI 2023] accepted paper is: | |||
<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] | |||
</div> | |||
Version vom 21. Juli 2023, 14:54 Uhr
Neuigkeit vom 21. Juli 2023
ICCL feiert großen Erfolg mit sieben angenommenen Beiträgen bei KR und JELIA 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 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 drei ihrer Beiträge bei der KR 2023 und vier bei der JELIA 2023 akzeptiert zu bekommen. Darüber hinaus sind Forscher:innen des ICCL auch in zahlreichen anderen Konferenzen und Workshops vertreten.
Wir gratulieren unseren Kollegen zu ihrer bedeutenden Leistung und freuen uns darauf, auch in Zukunft noch weitere ihrerer 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
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. Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
