ΑΙhub.org
 

Congratulations to the authors of the #IJCAI2021 distinguished papers

by
03 September 2021



share this:
IJCAI image

The IJCAI distinguished paper awards recognise some of the best papers presented at the conference each year. This year, three articles received the accolade of distinguished paper, with a further article receiving an honourable mention.

Distinguished papers

Learning generalized unsolvability heuristics for classical planning
Simon Ståhlberg, Guillem Francès, Jendrik Seipp
Recent work in classical planning has introduced dedicated techniques for detecting unsolvable states, that is, states from which no goal state can be reached. The authors approach the problem from a generalized planning perspective and learn first order-like formulas that characterize unsolvability for entire planning domains.

Read the paper in full here.

On the relation between approximation fixpoint theory and justification theory
Simon Marynissen, Bart Bogaerts, Marc Denecker
Approximation Fixpoint Theory (AFT) and Justification Theory (JT) are two frameworks to unify logical formalisms. The authors provide a formal link between the two frameworks. They then exploit this correspondence to extend JT with a novel class of semantics.

Read the paper in full here.

Keep your distance: land division with separation
Edith Elkind, Erel Segal-Halevi, Warut Suksompong
This paper is part of an ongoing endeavour to bring the theory of fair division closer to practice by handling requirements from real-life applications. The authors focus on two requirements originating from the division of land estates, and explore the algorithmic and query complexity of finding fair partitions in this setting.

Read the paper in full here.

Honourable mention

Actively learning concepts and conjunctive queries under ELr-ontologies
Maurice Funk, Jean Christoph Jung, Carsten Lutz
The authors consider the problem of learning a concept or a query in the presence of an ontology formulated in the description logic ELr.

Read the paper in full here.


You can read all of our coverage of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21) here.



tags: ,


AIhub Editor is dedicated to free high-quality information about AI.
AIhub Editor is dedicated to free high-quality information about AI.




            AIhub is supported by:


Related posts :



The Berkeley Crossword Solver

We recently built the Berkeley Crossword Solver (BCS), the first computer program to beat every human competitor in the world’s top crossword tournament.
27 June 2022, by

Deep attentive variational inference

The expressivity of current deep probabilistic models can be improved by selectively prioritizing statistical dependencies between latent variables that are potentially distant from each other.
24 June 2022, by

AI regulations are a global necessity, panelists say

150 attendees come together to discuss intellectual property, disability rights, and global regulation benchmarks and more.
22 June 2022, by

AI and machine learning are improving weather forecasts, but they won’t replace human experts

Machine learning can help with some of the challenges faced by weather forecasters.
20 June 2022, by

Rethinking human-in-the-loop for artificial augmented intelligence

How do we build and evaluate an AI system for real-world applications?
17 June 2022, by

2022 AI Song Contest entries now live

Listen to, and vote on, the entries in this year's AI song contest.
16 June 2022, by





©2021 - Association for the Understanding of Artificial Intelligence


 












©2021 - ROBOTS Association