A. Ciabattoni

发表

M. Baaz, A. Ciabattoni, R. Zach, 2000, math/0006122.
Agata Ciabattoni, George Metcalfe, A. Ciabattoni, 2008, Theor. Comput. Sci..
Christian G. Fermüller, Agata Ciabattoni, George Metcalfe, 2005, LPAR.
A. Ciabattoni, A. Asperti, 2011 .
A. Ciabattoni, E. Bartocci, R. Grosu, 2016 .
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni, 2001 .
A. Ciabattoni, G. Metcalfe, F. Montagna, 2022 .
Kazushige Terui, Agata Ciabattoni, Nikolaos Galatos, 2011 .
Francesco A. Genco, A. Ciabattoni, Björn Lellmann, 2015, TABLEAUX.
M. Baaz, A. Ciabattoni, H. Veith, 2001 .
Francesco A. Genco, A. Ciabattoni, Federico Aschieri, 2020 .
A. Ciabattoni, E. Bartocci, Guido Governatori, 2022, Ethics and Information Technology.
A. Ciabattoni, N. Olivetti, X. Parent, 2022, PRIMA.
A. Ciabattoni, E. Freschi, Maya Olszewski, 2022, Journal of Logic, Language and Information.
Kees van Berkel, A. Ciabattoni, Maya Olszewski, 2022 .
M. Baaz, A. Ciabattoni, R. Zach, 2000, math/0006122.
Brunella Gerla, Stefano Aguzzoli, Vincenzo Marra, 2007, Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Heinrich Wansing, Revantha Ramanayake, Agata Ciabattoni, 2014, Studia Logica.
A. Ciabattoni, H. Wansing, Revantha Ramanayake, 2014, Studia Logica.
Paolo Maffezioli, Agata Ciabattoni, Lara Spendier, 2013, TABLEAUX.
Franco Montagna, Agata Ciabattoni, A. Ciabattoni, 2013, Theor. Comput. Sci..
Paolo Baldi, Agata Ciabattoni, Lara Spendier, 2012, WoLLIC.
Franco Montagna, Agata Ciabattoni, George Metcalfe, 2010, Fuzzy Sets Syst..
Kazushige Terui, Lutz Straßburger, Agata Ciabattoni, 2009, CSL.
Kazushige Terui, Agata Ciabattoni, Nikolaos Galatos, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Agata Ciabattoni, A. Ciabattoni, 2005, Arch. Math. Log..
Franco Montagna, Matthias Baaz, Agata Ciabattoni, 2003, Fundam. Informaticae.
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni, 2003, J. Log. Comput..
Agata Ciabattoni, George Metcalfe, A. Ciabattoni, 2003, TABLEAUX.
Mauro Ferrari, Agata Ciabattoni, A. Ciabattoni, 2000, TABLEAUX.
Dov M. Gabbay, Nicola Olivetti, Agata Ciabattoni, 1999, Soft Comput..
Kazushige Terui, Agata Ciabattoni, A. Ciabattoni, 2006, Stud Logica.
Agata Ciabattoni, Thomas Vetterlein, David Picado Muiño, 2013 .
David Picado-Muiño, Agata Ciabattoni, Thomas Vetterlein, 2013, Int. J. Approx. Reason..
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco, 2016, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A. Ciabattoni, K. Adlassnig, P. Baldi, 2021 .
Björn Lellmann, Agata Ciabattoni, Francesca Gulisano, 2020, Artificial Intelligence and Law.
Marco Aiello, Schahram Dustdar, Florian Rosenberg, 2006, WS-FM.
Tim S. Lyon, A. Ciabattoni, A. Tiu, 2019, ACM Trans. Comput. Log..
Revantha Ramanayake, Agata Ciabattoni, Tim Lyon, 2018, LFCS.
Revantha Ramanayake, Agata Ciabattoni, A. Ciabattoni, 2013, WoLLIC.
Christian G. Fermüller, Gernot Salzer, Rosa M. Rodríguez, 2019, ArXiv.
Matthias Baaz, Richard Zach, Agata Ciabattoni, 2000, LPAR.
Guido Governatori, Ezio Bartocci, Agata Ciabattoni, 2021, CADE.
Matthias Baaz, Agata Ciabattoni, M. Baaz, 2016, J. Log. Comput..
Agata Ciabattoni, Lara Spendier, A. Ciabattoni, 2014, JELIA.
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni, 2008, LPAR.
Agata Ciabattoni, A. Ciabattoni, 2001, J. Log. Comput..
Kazushige Terui, Agata Ciabattoni, Nikolaos Galatos, 2012, Ann. Pure Appl. Log..
Franco Montagna, Agata Ciabattoni, Mattia Bongini, 2016, Fuzzy Sets Syst..
Andrea Asperti, Agata Ciabattoni, A. Ciabattoni, 1995, Category Theory and Computer Science.
A. Ciabattoni, Thomas Eiter, Christian Hatschka, 2023, ICLP.
A. Ciabattoni, Dmitry Rozplokhas, 2023, KR.
Xavier Parent, Giovanni Sartor, Agata Ciabattoni, 2021, JURIX.
A. Ciabattoni, E. Freschi, Josephine Dik, 2023, DEON.
A. Ciabattoni, N. Olivetti, X. Parent, 2023, DEON.
Kees van Berkel, A. Ciabattoni, E. Freschi, 2021, DEON.
Anna Zamansky, Arnon Avron, Agata Ciabattoni, 2009, CSR.
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni, 2012, Log. Methods Comput. Sci..
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni, 2007, LPAR.
Christian G. Fermüller, Agata Ciabattoni, A. Ciabattoni, 2003, 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings..
Matthias Baaz, Agata Ciabattoni, M. Baaz, 2002, TABLEAUX.
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni, 2001, LPAR.
Christian G. Fermüller, Agata Ciabattoni, A. Ciabattoni, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
M. Baaz, A. Ciabattoni, H. Veith, 1999, FSTTCS.
Helmut Veith, Matthias Baaz, Agata Ciabattoni, 1998, MFCS.
Agata Ciabattoni, Duccio Luchi, A. Ciabattoni, 1997, Kurt Gödel Colloquium.
A. Ciabattoni, Revantha Ramanayake, Timo Lang, 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco, 2018, GandALF.
Agata Ciabattoni, A. Ciabattoni, 1999, TABLEAUX.
Revantha Ramanayake, Agata Ciabattoni, A. Ciabattoni, 2017, LPAR.
Revantha Ramanayake, Agata Ciabattoni, A. Ciabattoni, 2016, ACM Trans. Comput. Log..
Ori Lahav, Anna Zamansky, Agata Ciabattoni, 2011, TABLEAUX.
Paolo Baldi, Agata Ciabattoni, A. Ciabattoni, 2015, Theor. Comput. Sci..
A. Ciabattoni, E. Bartocci, Guido Governatori, 2022, Ethics and Information Technology.
A. Ciabattoni, E. Bartocci, Emery A. Neufeld, 2022, PRIMA.