Outstanding Success for ICCL: Eleven Accepted Papers at Major Conferences
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:
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
KR'23 accepted contributions are:
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
JELIA'23 accepted contributions are:
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
Other contributions:
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
