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 |
||
| (23 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Neuigkeit | {{Neuigkeit | ||
|Titel DE=ICCL feiert großen Erfolg mit | |Titel DE=ICCL feiert großen Erfolg mit elf angenommenen Beiträgen bei Top-Konferenzen | ||
|Titel EN= | |Titel EN=Outstanding Success for ICCL: Eleven Accepted Papers at Major Conferences | ||
|Beschreibung DE=<p>Jedes Jahr konkurrieren | |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> | ||
<p>Zu den führenden Konferenzen in den Bereichen Künstliche Intelligenz und Informatik im Allgemeinen zählen hierbei die [https://kr.org/KR2023/ International Conference on Principles of Knowledge Representation and Reasoning (KR)] sowie die [https://jelia2023.inf.tu-dresden.de/ | <p>Zu den führenden Konferenzen in den Bereichen Künstliche Intelligenz und Informatik im Allgemeinen zählen hierbei die [https://ijcai-23.org/ International Joint Conference on Artificial Intelligence (IJCAI)], die [https://kr.org/KR2023/ International Conference on Principles of Knowledge Representation and Reasoning (KR)] sowie die [https://jelia2023.inf.tu-dresden.de/ Conference on Logics in Artificial Intelligence (JELIA)]. Wissenschaftler:innen des [https://iccl.inf.tu-dresden.de/ International Center For Computational Logic (ICCL)] ist es gelungen, gleich mehrere ihrer Beiträge bei allen diesen Top-Konferenzen akzeptiert zu bekommen. Akzeptiert wurden drei Beiträge bei [https://ijcai-23.org/ IJCAI 2023], vier bei [https://jelia2023.inf.tu-dresden.de/ JELIA 2023] und ebenfalls vier Einreichungen bei [https://kr.org/KR2023/ KR 2023]. Darüber hinaus sind Forscher:innen des ICCL auch in zahlreichen anderen Konferenzen und Workshops vertreten.</p> | ||
<p>Wir gratulieren unseren Kollegen zu | <p>Wir gratulieren unseren Kollegen zu diesem Erfolg und freuen uns darauf, auch in Zukunft weitere ihrer hervorragenden Arbeiten lesen zu können.</p> | ||
Bei [https://ijcai-23.org/ IJCAI 2023] wurden folgende Beiträge akzeptiert: | |||
<div> | |||
[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 Straß]] | |||
</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 12: | Zeile 28: | ||
Die [https://kr.org/KR2023/ KR'23] hat folgende Beiträge des ICCL akzeptiert: | Die [https://kr.org/KR2023/ KR'23] hat folgende Beiträge des ICCL akzeptiert: | ||
<div> | <div> | ||
[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> | ||
<div> | <div> | ||
[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> | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3352 Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+] | |||
[[Lucía Gómez Álvarez]], [[Sebastian Rudolph]] and [[Hannes Straß]] | |||
</div> | |||
<div> | |||
[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> | </div> | ||
| Zeile 28: | Zeile 48: | ||
Die für [https://jelia2023.inf.tu-dresden.de/ JELIA'23] angenommenen Arbeiten sind: | Die für [https://jelia2023.inf.tu-dresden.de/ JELIA'23] angenommenen Arbeiten sind: | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3359 Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features] | |||
[[Bartosz Bednarczyk]] | |||
</div> | </div> | ||
<div> | <div> | ||
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> | ||
<div> | <div> | ||
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> | ||
<div> | <div> | ||
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis | |||
[[Sergei Obiedkov]] and [https://www.informatik.fb2.frankfurt-university.de/~sertkaya/ Barış Sertkaya] | |||
</div> | </div> | ||
Weitere Beiträge: | |||
<div> | |||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3363 Notation3 as an Existential Rule Language] | |||
[[Dörthe 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> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Article3091 Second-order Confidence in Supervaluationism] | |||
[[Jonas Karge]] | |||
</div> | </div> | ||
<div> | <div> | ||
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem | |||
[[Jonas Karge]] | |||
</div> | </div> | ||
<div> | <div> | ||
[https://arxiv.org/abs/2306.07550 Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics] | |||
[https://iccl.inf.tu-dresden.de/web/Tim_Lyon Tim S. Lyon] | |||
</div> | </div> | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3364 Abstract Domains for Database Manipulating Processes] | |||
Tobias Schüler, [[Stephan Mennicke]] und Malte Lochau | |||
</div> | </div> | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3367 ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams] | |||
[[Stefan Ellmauthaler]] and [[Lukas Gerlach]] | |||
</div> | </div> | ||
|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/ | <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/ 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 | |||
three of their papers accepted at [https://ijcai-23.org/ IJCAI 2023], four at [https://kr.org/KR2023/ KR 2023], and also 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 papers are: | |||
<div> | |||
[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 Straß]] | |||
</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 77: | Zeile 127: | ||
[https://kr.org/KR2023/ KR'23] accepted contributions are: | [https://kr.org/KR2023/ KR'23] accepted contributions are: | ||
<div> | <div> | ||
[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> | ||
<div> | <div> | ||
[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> | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3352 Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+] | |||
[[Lucía Gómez Álvarez]], [[Sebastian Rudolph]] and [[Hannes Straß]] | |||
</div> | |||
<div> | |||
[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> | </div> | ||
| Zeile 93: | Zeile 147: | ||
[https://jelia2023.inf.tu-dresden.de/ JELIA'23] accepted contributions are: | [https://jelia2023.inf.tu-dresden.de/ JELIA'23] accepted contributions are: | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3359 Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features] | |||
[[Bartosz Bednarczyk]] | |||
</div> | </div> | ||
<div> | <div> | ||
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> | ||
<div> | <div> | ||
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> | ||
<div> | <div> | ||
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis | |||
[[Sergei Obiedkov]] and [https://www.informatik.fb2.frankfurt-university.de/~sertkaya/ Barış Sertkaya] | |||
</div> | </div> | ||
| Zeile 113: | Zeile 167: | ||
Other contributions: | Other contributions: | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3363 Notation3 as an Existential Rule Language] | |||
[[Dörthe 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> | |||
[https://iccl.inf.tu-dresden.de/web/Article3091 Second-order Confidence in Supervaluationism] | |||
[[Jonas Karge]] | |||
</div> | </div> | ||
<div> | <div> | ||
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem | |||
[[Jonas Karge]] | |||
</div> | </div> | ||
<div> | <div> | ||
[https://arxiv.org/abs/2306.07550 Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics] | |||
[https://iccl.inf.tu-dresden.de/web/Tim_Lyon Tim S. Lyon] | |||
</div> | </div> | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3364 Abstract Domains for Database Manipulating Processes] | |||
Tobias Schüler, [[Stephan Mennicke]], and Malte Lochau | |||
</div> | </div> | ||
<div> | <div> | ||
[https://iccl.inf.tu-dresden.de/web/Inproceedings3367 ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams] | |||
[[Stefan Ellmauthaler]] and [[Lukas Gerlach]] | |||
</div> | </div> | ||
|Datum=2023/07/21 | |Datum=2023/07/21 | ||
}} | }} | ||
Aktuelle Version vom 4. September 2023, 11:53 Uhr
Neuigkeit vom 21. Juli 2023
ICCL feiert großen Erfolg mit elf angenommenen Beiträgen bei Top-Konferenzen
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 Conference on Logics in Artificial Intelligence (JELIA). Wissenschaftler:innen des International Center For Computational Logic (ICCL) ist es gelungen, gleich mehrere ihrer Beiträge bei allen diesen Top-Konferenzen akzeptiert zu bekommen. Akzeptiert wurden drei Beiträge bei IJCAI 2023, vier bei JELIA 2023 und ebenfalls vier 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.
Bei IJCAI 2023 wurden folgende Beiträge akzeptiert:
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Straß
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
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Straß
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
Weitere Beiträge:
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 und Malte Lochau
