Theory and Logic

We congratulate Agata Ciabattoni and Dmitry Rozplokhas for the Ray Reiter Best Paper Award at the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023.

You can read the full paper here: Streamlining Input/Output Logics with Sequent Calculi by Agata Ciabattoni and Dmitry Rozplokhas