Name Card

Full name Familienname, Vorname
Ciabattoni, Agata
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 137 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Rozplokhas, Dmitrii Streamlining Input/Output Logics with Sequent CalculiInproceedings Konferenzbeitrag 12-Nov-2023
2Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii Analytic Proof Theory for Aqvist's System FInproceedings Konferenzbeitrag 28-Aug-2023
3Ciabattoni, Agata Normative reasoning: From Sanskrit philosophy to AIPresentation Vortrag16-May-2023
4van Berkel-2022-Journal of Logic, Language and Information-vor.pdf.jpgvan Berkel, Kees ; Ciabattoni, Agata ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya Deontic Paradoxes in Mīmāṃsā Logics: There and Back AgainArticle Artikel Jan-2023
5Cabalar, Pedro ; Ciabattoni, Agata ; van der Torre, Leendert Deontic Equilibrium Logic with eXplicit NegationInproceedings Konferenzbeitrag 2023
6Ciabattoni, Agata ; Lang, Timo Achim ; Ramanayake, Don Revantha Shiyan Cut-Restriction: From Cuts to Analytic CutsInproceedings Konferenzbeitrag 2023
7Ciabattoni, Agata ; Eiter, Thomas ; Hatschka, Christian Deontic Paradoxes in ASP with Weak ConstraintsInproceedings Konferenzbeitrag 2023
8Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022
9Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier Dyadic Obligations: Proofs and Countermodels via HypersequentsInproceedings Konferenzbeitrag 12-Nov-2022
10Ciabattoni, Agata ; Straßburger, Lutz ; Tesi, Matteo Taming Bounded Depth with Nested SequentsInproceedings Konferenzbeitrag2022
11Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata On Normative Reinforcement Learning via Safe Reinforcement LearningInproceedings Konferenzbeitrag 2022
12Neufeld-2022-Ethics and Information Technology-vor.pdf.jpgNeufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido Enforcing ethical goals over reinforcement-learning policiesArticle Artikel 2022
13Lellmann-2021-Artificial Intelligence and Law-vor.pdf.jpgLellmann, Björn ; Gulisano, Francesca ; Ciabattoni, Agata Mīmāṃsā deontic reasoning using specificity: a proof theoretic approachArtikel Article Sep-2021
14Ciabattoni, Agata ; Parent, Xavier A Kelsenian Deontic LogicKonferenzbeitrag Inproceedings 2021
15Neufeld, Emery ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido A Normative Supervisor for Reinforcement Learning AgentsKonferenzbeitrag Inproceedings2021
16CIABATTONI, AGATA ; LANG, TIMO ; RAMANAYAKE, REVANTHA Bounded-analytic sequent calculi and embeddings for hypersequent logics.Artikel Article 2021
17Ciabattoni, Agata ; Lellmann, Björn Sequent Rules for Reasoning and Conflict Resolution in Conditional NormsKonferenzbeitrag Inproceedings 2021
18Ciabattoni, Agata Normative reasoning in Mīmāṃsā: A deontic logic approachPräsentation Presentation2021
19Ciabattoni, Agata ; van Berkel, Kees ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya The Gentle Murder Paradox in Sanskrit PhilosophyKonferenzbeitrag Inproceedings 2021
20Ciabattoni, Agata ; Lyon, Tim ; Ramanayake, Revantha ; Tiu, Alwen Display to Labeled Proofs and Back Again for Tense LogicsArtikel Article 2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-17 of 17 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Mahler Stella - 2023 - Analytic Proof Theory for Deontic Mimamsa Logic.pdf.jpgMahler, Stella Analytic proof theory for deontic Mīmāṃsā logicThesis Hochschulschrift 2023
2Neufeld Emeric Alexander - 2023 - Norm Compliance for Reinforcement Learning...pdf.jpgNeufeld, Emeric Alexander Norm compliance for reinforcement learning agentsThesis Hochschulschrift 2023
3Van Berkel Cornelis Lambertus Johannes - 2023 - A Logical Analysis of Normative...pdf.jpgVan Berkel, Cornelis Lambertus Johannes A logical analysis of normative reasoning: Agency, action, and argumentationThesis Hochschulschrift 2023
4Schiehl Bernhard - 2023 - Normative Compliance in Lexicographic Multi-Objective...pdf.jpgSchiehl, Bernhard Normative Compliance in Lexicographic Multi-Objective Reinforcement Learning AgentsThesis Hochschulschrift 2023
5Ciabattoni, Agata ; Pimentel, Elaine ; de Queiroz, Ruy J.G.B. Logic, Language, Information, and ComputationBook Buch 2022
6Pichler Dominik - 2022 - Extensionality for obligations in AAqvists system F.pdf.jpgPichler, Dominik Extensionality for obligations in Åqvist’s system FThesis Hochschulschrift 2022
7Hatschka Christian - 2022 - Representing normative reasoning in answer set...pdf.jpgHatschka, Christian Representing normative reasoning in answer set programming using weak constraintsThesis Hochschulschrift 2022
8Kueffner Konstantin Raphael - 2021 - A comprehensive Survey of the actual...pdf.jpgKueffner, Konstantin Raphael A comprehensive Survey of the actual causality literatureThesis Hochschulschrift 2021
9Lyon Timothy - 2021 - Refining labelled systems for modal and constructive...pdf.jpgLyon, Timothy Refining labelled systems for modal and constructive logics with applicationsThesis Hochschulschrift 2021
10Genco Francesco Antonio - 2019 - Intermediate logics and concurrent -calculi a...pdf.jpgGenco, Francesco Antonio Intermediate logics and concurrent λ-calculi: a proof-theoretical approachThesis Hochschulschrift 2019
11Ymeri Ardit - 2019 - Automated generation of analytic calculi for involutive...pdf.jpgYmeri, Ardit Automated generation of analytic calculi for involutive logicsThesis Hochschulschrift 2019
12Pavlovi Sanja - 2018 - Proof theory for modal logics embedding between...pdf.jpgPavlovi, Sanja Proof theory for modal logics : embedding between hypersequent calculi and systems of rulesThesis Hochschulschrift 2018
13Borg Annemarie - 2015 - Realizing negative introspection into justification...pdf.jpgBorg, Annemarie Realizing negative introspection into justification logic : proof-theoretic approachThesis Hochschulschrift 2015
14Spendier Lara Katharina - 2015 - Tools for the investigation of sustructural...pdf.jpgSpendier, Lara Katharina Tools for the investigation of sustructural, intermediate and paraconsistent logicsThesis Hochschulschrift 2015
15Kucera, Antonin ; Potapov, Igor ; Ciabattoni, Agata ; Szeider, Stefan ; Freivalds, Rusins MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123Konferenzband Proceedings 2013
16Spendier Lara Katharina - 2011 - Systematic proof theory for non-classical...pdf.jpgSpendier, Lara KatharinaSystematic proof theory for non-classical logics : advances and implementationThesis Hochschulschrift 2011
17Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado Algebraic and Proof-theoretic Aspects of Non-classical LogicsBuch Book2007