Matti J„ärvisalo

67 papers and 596 indexed citations i.

Matti J„ärvisalo has authored 67 papers that have received a total of 596 indexed citations. This includes 52 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 18 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (28 papers), Formal Methods in Verification (25 papers) and Multi-Agent Systems and Negotiation (19 papers). Matti J„ärvisalo is often cited by papers focused on Logic, Reasoning, and Knowledge (28 papers), Formal Methods in Verification (25 papers) and Multi-Agent Systems and Negotiation (19 papers) and collaborates with scholars based in Finland, Austria and United States. Matti J„ärvisalo's co-authors include Antti Hyttinen, Johannes Wallner, Marijn J. H. Heule, Frederick Eberhardt and Petri Myllymäki and has published in prestigious journals such as Artificial Intelligence, Machine Learning and Journal of Computer and System Sciences