Prefix title Titel (vorangestellt)
Full name Familienname, Vorname
Ciabattoni, Agata

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

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

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