Outstanding Success for ICCL: Eleven Accepted Papers at Major Conferences

From International Center for Computational Logic
News of July 21, 2023

Outstanding Success for ICCL: Eleven Accepted Papers at Major Conferences

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.

Among these leading gatherings in the realms of artificial intelligence and computer science are the International Joint Conference on Artificial Intelligence (IJCAI), the International Conference on Principles of Knowledge Representation and Reasoning (KR) and the Conference on Logics in Artificial Intelligence (JELIA). In a remarkable success, researchers from the International Center for Computational Logic (ICCL) have had three of their papers accepted at IJCAI 2023, four at KR 2023, and also four at JELIA 2023. Moreover, ICCL researchers have made valuable contributions to numerous other conferences and workshops.

We offer our congratulations to our colleagues for their significant achievement. We look forward to seeing more of their research contributions in the future.

The IJCAI 2023 accepted papers are:

   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

KR'23 accepted contributions are:

JELIA'23 accepted contributions are:

   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

Other contributions:

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