Proceedings

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation

Ofer Arieli, Kees van Berkel, Christian Straßer

Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards