Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Sequent Calculi for Choice Logics

Autor: Bernreiter, M., Lolic, A., Maly, J., Woltran, S., Blanchette, J., Kovács, L., Pattinson, D.

Publikováno v: Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings, 331-349
STARTPAGE=331;ENDPAGE=349;TITLE=Automated Reasoning
Automated Reasoning ISBN: 9783031107689

Choice logics constitute a family of propositional logics and are used for the representation of preferences, with especially qualitative choice logic (QCL) being an established formalism with numerous applications in artificial intelligence. While c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d8deca5ffe3aae0d7be7b3787070683
https://dare.uva.nl/personal/pure/en/publications/sequent-calculi-forchoice-logics(61c73de0-3378-4a41-aadf-e0defa12b127).html

Ranking-based semantics from the perspective of claims

Autor: Bistarelli, S., Dvorak, W., Taticchi, C., Woltran, S.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3982::adab60916e04cf9bd3b30ff1b21783db
http://hdl.handle.net/11391/1482134

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.