Ciabattoni and Rozplokhas. "Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Ciabattoni and Rozplokhas. "Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/ciabattoni2024ijcai-streamlining/)
BibTeX
@inproceedings{ciabattoni2024ijcai-streamlining,
title = {{Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)}},
author = {Ciabattoni, Agata and Rozplokhas, Dmitry},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {8389-8393},
url = {https://mlanthology.org/ijcai/2024/ciabattoni2024ijcai-streamlining/}
}