Ciabattoni, Agata

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Prof.in Dr.in
 
Full name Familienname, Vorname
Ciabattoni, Agata
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George ; Baader, Franz ; Voronkov, Andrei Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005
2Ciabattoni, Agata ; Spendier, Lara Tools for the Investigation of Substructural and Paraconsistent LogicsKonferenzbeitrag Inproceedings 2014
3Ciabattoni, Agata ; van Berkel, Kees ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya The Gentle Murder Paradox in Sanskrit PhilosophyKonferenzbeitrag Inproceedings 2021
4Ciabattoni, Agata ; Ramanayake, Revantha Structural extensions of display calculi: A general recipeKonferenzbeitrag Inproceedings 2013
5Baldi, Paolo ; Ciabattoni, Agata Standard Completeness for Uninorm-Based LogicsKonferenzbeitrag Inproceedings 2015
6Baldi, Paolo ; Ciabattoni, Agata ; Spendier, Lara Standard Completeness for Extensions of MTL: An Automated ApproachKonferenzbeitrag Inproceedings 2012
7Baldi, Paolo ; Ciabattoni, Agata ; Acampora, Giovanni Standard Completeness for extensions of IMTLKonferenzbeitrag Inproceedings 2017
8Aiello, Marco ; Rosenberg, Florian ; Platzer, Christian ; Ciabattoni, Agata ; Dustdar, Schahram Service QoS composition at the level of part namesKonferenzbeitrag Inproceedings2006
9Lellmann, Björn ; Ciabattoni, Agata Sequent Rules for Reasoning and Conflict Resolution in Conditional NormsKonferenzbeitrag Inproceedings 2020
10Ciabattoni, Agata ; Lellmann, Björn Sequent Rules for Reasoning and Conflict Resolution in Conditional NormsKonferenzbeitrag Inproceedings 2021
11Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityKonferenzbeitrag Inproceedings2009
12Ciabattoni, Agata ; Gulisano, Francesca ; Lellmann, Björn ; Broersen, Jan ; Condoravdi, Cleo ; Nair, Shyam ; Pigozzi, Gabriella Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based ApproachKonferenzbeitrag Inproceedings 2018
13Ciabattoni, Agata ; Rusnok, Pavel ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert SystemsKonferenzbeitrag Inproceedings2010
14Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian ; Dershowitz, Nachum ; Voronkov, Andrei Monadic Fragments of Gödel Logics: Decidability and Undecidability ResultsKonferenzbeitrag Inproceedings 2007
15Ciabattoni, Agata ; Terui, Kazushige ; Hermann, Miki ; Voronkov, Andrei Modular cut-elimination: finding proofs or counterexamplesKonferenzbeitrag Inproceedings2006
16Lellmann, Björn ; Ciabattoni, Agata ; Freschi, Elisa ; Genco, Francesco ; De Nivelle, Hans Mīmāṃsā Deontic Logic: Proof Theory and ApplicationsKonferenzbeitrag Inproceedings2015
17Ciabattoni, Agata ; Maffezioli, Paolo ; Spendier, Lara ; Galmiche, D. ; Larchey-Wendling, D. Hypersequent and Labelled Calculi for Intermediate LogicsKonferenzbeitrag Inproceedings2013
18Ciabattoni, Agata ; Genco, Francesco Gödel Logic: From Natural Deduction to Parallel ComputationKonferenzbeitrag Inproceedings2017
19Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige From Axioms to Analytic Rules in Nonclassical LogicsKonferenzbeitrag Inproceedings 2008
20Ciabattoni, Agata ; Straßburger, Lutz ; Terui, Kazushige Expanding the realm of systematic proof theoryKonferenzbeitrag Inproceedings 2009

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.017 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Spendier Lara Katharina - 2011 - Systematic proof theory for non-classical...pdf.jpgSpendier, Lara KatharinaSystematic proof theory for non-classical logics : advances and implementationThesis Hochschulschrift 2011
2Lyon Timothy Stephen - 2021 - Refining Labelled Systems for Modal and...pdf.jpgLyon, Timothy Stephen Refining Labelled Systems for Modal and Constructive Logics with ApplicationsThesis Hochschulschrift 2021
3Borg Annemarie - 2015 - Realizing negative introspection into justification...pdf.jpgBorg, Annemarie Realizing negative introspection into justification logic : proof-theoretic approachThesis Hochschulschrift 2015
4Pavlovi 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
5Kucera, Antonin ; Potapov, Igor ; Ciabattoni, Agata ; Szeider, Stefan ; Freivalds, Rusins MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123Konferenzband Proceedings 2013
6Genco Francesco Antonio - 2019 - Intermediate logics and concurrent -calculi a...pdf.jpgGenco, Francesco Antonio Intermediate logics and concurrent λ-calculi: a proof-theoretical approachThesis Hochschulschrift 2019
7Kueffner Konstantin Raphael - 2021 - A comprehensive Survey of the Actual...pdf.jpgKueffner, Konstantin Raphael A comprehensive Survey of the actual causality literatureThesis Hochschulschrift 2021
8Ymeri Ardit - 2019 - Automated generation of analytic calculi for involutive...pdf.jpgYmeri, Ardit Automated generation of analytic calculi for involutive logicsThesis Hochschulschrift 2019
9Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado Algebraic and Proof-theoretic Aspects of Non-classical LogicsBuch Book2007

Projects Projekte


Results 1-8 of 8 (Search time: 0.0 seconds).

TitleP-Investigator
Fuzzy Logic: from Mathematics to medical ApplicationsCiabattoni, Agata
Nonclassical Proofs: Theory, Applications and ToolsCiabattoni, Agata
Norm-based reasoning: from legal and moral traditions to AI systemsCiabattoni, Agata
Proof-theoretic Analysis of Modal LogicsCiabattoni, Agata
Reasoning Tools for Deontic Logic and Applications to Indian Sacred TextsCiabattoni, Agata
semantic characterization of cut-eliminationCiabattoni, Agata
Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logicsCiabattoni, Agata
TICAMORE: Translating and discovering calculi for modal and related logicsCiabattoni, Agata