Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract).

Agata Ciabattoni, Dmitry Rozplokhas

Browse the full IJCAI paper archive.