Giovanna D’Agostino

27 papers and 149 indexed citations i.

Giovanna D’Agostino has authored 27 papers that have received a total of 149 indexed citations. This includes 23 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 2 papers in Geometry and Topology. The topics of these papers are Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (17 papers) and Formal Methods in Verification (11 papers). Giovanna D’Agostino is often cited by papers focused on Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (17 papers) and Formal Methods in Verification (11 papers) and collaborates with scholars based in Italy, The Netherlands and Australia. Giovanna D’Agostino's co-authors include Giacomo Lenzi, Alberto Policriti, Angelo Montanari, Johan van Benthem and Tim French and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and Synthese