Logical methods for Deontic Explanations

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
LoDEx
 
Project Title (de) Projekttitel (de)
Logical methods for Deontic Explanations
 
Project Title (en) Projekttitel (en)
Logical methods for Deontic Explanations
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
I 6372
 

Publications

Results 1-20 of 25 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dik, Josephine Femke ; Pichler, Dominik Navigating Permission and Exceptions: A First-Order PerspectiveInproceedings Konferenzbeitrag Jun-2025
2Ciabattoni, Agata ; Istenic Urh, Blaz ; Parent, Xavier Deontic Explanations in Åqvist's SystemsInproceedings Konferenzbeitrag 2025
3van Berkel, Kees Deontic Explanations Through Dialogue and 5 Key ChallengesPresentation Vortrag16-Oct-2024
4Parent, Xavier Defeasible conditional ought in 2-DPresentation Vortrag16-Oct-2024
5Istenic Urh, Blaz What is there to explain? Some initial remarks on deontic explanationsPresentation Vortrag16-Oct-2024
6Dik, Josephine Femke Exploring Nuanced Permissions within AI and Judicial Decision-makingPresentation Vortrag15-Oct-2024
7Cignarale, Giorgio ; Kuznets, Roman A priori Belief Updates as a Method for Agent Self-recoveryArticle Artikel9-Oct-2024
8Dik, Josephine Femke Mīmāṁsā on 'Better-Not' PermissionsPresentation Vortrag12-Sep-2024
9Ciabattoni, Agata Proof surgeries in non-classical logicsPresentation VortragSep-2024
10Rozplokhas, Dmitry LEGO-like Small Model Constructions for Åqvist's LogicsInproceedings Konferenzbeitrag Aug-2024
11Ciabattoni, Agata Normative Reasoning: from Sanskrit philosophy to AIPresentation Vortrag24-Jun-2024
12Tesi, Matteo Ways to infinity in structural proof theoryPresentation VortragJun-2024
13Parent, Xavier ; Benzmüller, Christoph Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)Preprint Preprint26-May-2024
14Piazza-2024-Journal of Logic and Computation-vor.pdf.jpgPiazza, Mario ; Tesi, Matteo Analyticity with extra-logical informationArticle Artikel 4-Apr-2024
15Tesi, Matteo Sequents vs. Hypersequents for deontic logicsPresentation VortragMar-2024
16Tesi, Matteo Constructive theories through a modal lensPresentation Vortrag15-Feb-2024
17Tesi, Matteo Subintuitionistic logics and their modal companions: a nested approachPresentation Vortrag18-Jan-2024
18Fermüller, Christian Games in LogicPresentation Vortrag15-Jan-2024
19Dik, Josephine Femke Permission in Deontic Logic: from Sanskrit Philosophy to AIPresentation Vortrag15-Jan-2024
20Parent, Xavier ; Benzmüller, Christoph Conditional normative reasoning as a fragment of HOLArticle Artikel 2024