Armando Tacchella

46 papers and 481 indexed citations i.

About

Armando Tacchella has authored 46 papers that have received a total of 481 indexed citations. This includes 31 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 9 papers in Software. The topics of these papers are Formal Methods in Verification (25 papers), Logic, Reasoning, and Knowledge (10 papers) and AI-based Problem Solving and Planning (7 papers). Armando Tacchella is often cited by papers focused on Formal Methods in Verification (25 papers), Logic, Reasoning, and Knowledge (10 papers) and AI-based Problem Solving and Planning (7 papers) and collaborates with scholars based in Italy, Germany and United Kingdom. Armando Tacchella's co-authors include Enrico Giunchiglia, Luca Pulina, Massimo Narizzano, Fausto Giunchiglia and Lorenzo Natale and has published in prestigious journals such as Artificial Intelligence, Neurocomputing and IEEE Transactions on Neural Systems and Rehabilitation Engineering

In The Last Decade

Rankless by CCL
2025