Sequent Calculi for Choice Logics
Authors: Michael Bernreiter, Anela Lolic, Jan Maly and Stefan Woltran
Paper Information
| Title: | Sequent Calculi for Choice Logics |
| Authors: | Michael Bernreiter, Anela Lolic, Jan Maly and Stefan Woltran |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Choice logics, Sequent calculus, Preferences, Refutation calculus, Non-monotonic reasoning |
| Pages: | 18 |
| Talk: | Aug 09 09:00 (Session 100D: Choices, Substitutions and Formalizations) |
| Paper: |  |