Agata Ciabattoni

1.2k total citations
47 papers, 399 citations indexed

About

Agata Ciabattoni is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology. According to data from OpenAlex, Agata Ciabattoni has authored 47 papers receiving a total of 399 indexed citations (citations by other indexed papers that have themselves been cited), including 45 papers in Artificial Intelligence, 39 papers in Computational Theory and Mathematics and 1 paper in Molecular Biology. Recurrent topics in Agata Ciabattoni's work include Logic, Reasoning, and Knowledge (40 papers), Advanced Algebra and Logic (35 papers) and Logic, programming, and type systems (33 papers). Agata Ciabattoni is often cited by papers focused on Logic, Reasoning, and Knowledge (40 papers), Advanced Algebra and Logic (35 papers) and Logic, programming, and type systems (33 papers). Agata Ciabattoni collaborates with scholars based in Austria, Italy and United States. Agata Ciabattoni's co-authors include Kazushige Terui, Nikolaos Galatos, Franco Montagna, George Metcalfe, Thomas Vetterlein, Stefano Aguzzoli, Matthias Baaz, Christian G. Fermüller, Paolo Baldi and Heinrich Wansing and has published in prestigious journals such as SHILAP Revista de lepidopterología, Fuzzy Sets and Systems and Theoretical Computer Science.

In The Last Decade

Agata Ciabattoni

41 papers receiving 359 citations

Peers

Agata Ciabattoni

CTM

MSOR

HIM

Brunella Gerla Italy

Stefano Aguzzoli Italy

Rob Nederpelt Netherlands

Hans P. van Ditmarsch New Zealand

Sergei P. Odintsov Russia

Thomas Studer Switzerland

Grigori Mint︠s︡ United States

Alessandra Palmigiano Netherlands

Fabio Mogavero Italy

Nick Bezhanishvili Netherlands

Brunella Gerla Italy

Agata Ciabattoni

153 ×0.4

196 ×0.6

CTM

38 ×1.4

MSOR

0 ×0.0

HIM

8 ×1.3

Citations per year, relative to Agata Ciabattoni Agata Ciabattoni (= 1×) peers Brunella Gerla

Countries citing papers authored by Agata Ciabattoni

Since Specialization

Citations

This map shows the geographic impact of Agata Ciabattoni's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Agata Ciabattoni with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Agata Ciabattoni more than expected).

Fields of papers citing papers by Agata Ciabattoni

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Agata Ciabattoni. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Agata Ciabattoni. The network helps show where Agata Ciabattoni may publish in the future.

Co-authorship network of co-authors of Agata Ciabattoni

This figure shows the co-authorship network connecting the top 25 collaborators of Agata Ciabattoni. A scholar is included among the top collaborators of Agata Ciabattoni based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Agata Ciabattoni. Agata Ciabattoni is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Ciabattoni, Agata, et al.. (2023). Deontic Paradoxes in ASP with Weak Constraints. Electronic Proceedings in Theoretical Computer Science. 385. 367–380. 1 indexed citations

Ciabattoni, Agata, et al.. (2023). Streamlining Input/Output Logics with Sequent Calculi. 146–155.

Berkel, Kees van, et al.. (2022). Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. Journal of Logic Language and Information. 32(1). 19–62.

Ciabattoni, Agata, et al.. (2021). BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS. Journal of Symbolic Logic. 86(2). 635–668. 1 indexed citations

Ciabattoni, Agata, et al.. (2017). Gödel logic: from natural deduction to parallel computation. 1–12. 2 indexed citations

Ciabattoni, Agata, et al.. (2016). Embedding formalisms: hypersequents and two-level systems of rule.. 197–216. 1 indexed citations

Ciabattoni, Agata, Nikolaos Galatos, & Kazushige Terui. (2016). Algebraic proof theory: Hypersequents and hypercompletions. Annals of Pure and Applied Logic. 168(3). 693–737. 10 indexed citations

Ciabattoni, Agata, et al.. (2016). Power and Limits of Structural Display Rules. ACM Transactions on Computational Logic. 17(3). 1–39. 8 indexed citations

Baldi, Paolo & Agata Ciabattoni. (2015). Uniform proofs of standard completeness for extensions of first-order MTL. Theoretical Computer Science. 603. 43–57. 4 indexed citations

10.

Ciabattoni, Agata, et al.. (2014). Hypersequent and Display Calculi – a Unified Perspective. Studia Logica. 102(6). 1245–1294. 15 indexed citations

11.

Ciabattoni, Agata, et al.. (2013). Hypersequent and labelled calculi for intermediate logics. Lecture notes in computer science. 8123. 1 indexed citations

12.

Ciabattoni, Agata & Franco Montagna. (2013). Proof theory for locally finite many-valued logics: Semi-projective logics. Theoretical Computer Science. 480(100). 26–42. 3 indexed citations

13.

Baaz, Matthias, Agata Ciabattoni, & Christian G. Fermüller. (2012). Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability. Logical Methods in Computer Science. Volume 8, Issue 1. 2 indexed citations

14.

Ciabattoni, Agata, et al.. (2012). Formal approaches to rule-based systems in medicine: The case of CADIAG-2. International Journal of Approximate Reasoning. 54(1). 132–148. 7 indexed citations

15.

Ciabattoni, Agata, Nikolaos Galatos, & Kazushige Terui. (2011). Algebraic proof theory for substructural logics: Cut-elimination and completions. Annals of Pure and Applied Logic. 163(3). 266–290. 35 indexed citations

16.

Baaz, Matthias, et al.. (2011). First-order satisfiability in Gödel logics: An NP-complete fragment. Theoretical Computer Science. 412(47). 6612–6623. 3 indexed citations

17.

Ciabattoni, Agata, et al.. (2010). On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. Principles of Knowledge Representation and Reasoning. 4 indexed citations

18.

Ciabattoni, Agata, Thomas Vetterlein, & Klaus-Peter Adlassnig. (2009). A Formal Logical Framework for Cadiag-2. Studies in health technology and informatics. 150. 648–52. 6 indexed citations

19.

Ciabattoni, Agata & George Metcalfe. (2008). Density elimination. Theoretical Computer Science. 403(2-3). 328–346. 15 indexed citations

20.

Baaz, Matthias, Agata Ciabattoni, & Franco Montagna. (2004). Analytic Calculi for Monoidal T-norm Based Logic. Fundamenta Informaticae. 59(4). 315–332. 21 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact