Panagiotis Kouvaros

9 papers and 101 indexed citations i.

Panagiotis Kouvaros has authored 9 papers that have received a total of 101 indexed citations. This includes 8 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 2 papers in Software. The topics of these papers are Formal Methods in Verification (6 papers), Logic, Reasoning, and Knowledge (5 papers) and Multi-Agent Systems and Negotiation (3 papers). Panagiotis Kouvaros is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, Reasoning, and Knowledge (5 papers) and Multi-Agent Systems and Negotiation (3 papers) and collaborates with scholars based in United Kingdom. Panagiotis Kouvaros's co-authors include Alessio Lomuscio, Elena Botoeva, Jan Kronqvist and Ruth Misener and has published in prestigious journals such as Artificial Intelligence and Autonomous Agents and Multi-Agent Systems.