Agostino Dovier

64 papers and 529 indexed citations i.

Agostino Dovier has authored 64 papers that have received a total of 529 indexed citations. This includes 45 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 17 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (37 papers), Logic, programming, and type systems (22 papers) and Distributed Constraint Optimization Problems and Algorithms (15 papers). Agostino Dovier is often cited by papers focused on Logic, Reasoning, and Knowledge (37 papers), Logic, programming, and type systems (22 papers) and Distributed Constraint Optimization Problems and Algorithms (15 papers) and collaborates with scholars based in Italy, United States and Czechia. Agostino Dovier's co-authors include Enrico Pontelli, Gianfranco Rossi, Alessandro Dal Palù, Andrea Formisano and Carla Piazza and has published in prestigious journals such as BMC Bioinformatics, IEEE Transactions on Knowledge and Data Engineering and Computer.