Wojciech Jamroga

Cited by

	All	Since 2020
Citations	3418	1203
h-index	31	20
i10-index	75	43

340

170

255

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202547 47 69 134 104 94 205 124 94 115 191 197 164 202 157 229 190 178 219 331 253 27

Public access

View all

36 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Damian KurpiewskiInstytut Podstaw Informatyki, Polska Akademia NaukVerified email at ipipan.waw.pl
Nils BullingTU ClausthalVerified email at in.tu-clausthal.de
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Michał KnapikInstitute of Computer Science of the Polish Academy of SciencesVerified email at ipipan.waw.pl
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Jürgen DixProfessor (emeritus), Chair for Artificial Intelligence, TU ClausthalVerified email at tu-clausthal.de
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Peter RyanProfessor of applied security, university of luxembourgVerified email at uni.lu
Vadim MalvoneTélécom ParisVerified email at telecom-paris.fr
Teofil SidorukAssistant, Institute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Masoud TabatabaeiUniversity of LuxembourgVerified email at uni.lu
Francesco BelardinelliImperial College LondonVerified email at imperial.ac.uk
Łukasz MikulskiNicolaus Copernicus UniversityVerified email at mat.umk.pl
Mehdi DastaniProfessor, Chair for Intelligent Systems, Utrecht UniversityVerified email at uu.nl
Catalin DimaProfessor of Computer Science, Université Paris-Est Créteil, FranceVerified email at u-pec.fr
Matthijs MelissenPhD student, University of LuxembourgVerified email at matthijsmelissen.nl
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenVerified email at infomedia.uib.no

Wojciech Jamroga

Polish Academy of Sciences

Verified email at ipipan.waw.pl - Homepage

artificial intelligence multi-agent systems game theory verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Agents that know how to play W Jamroga, W van der Hoek Fundamenta Informaticae 63 (2-3), 185-220, 2004	347	2004
A logic for strategic reasoning W Van Der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005	172	2005
Constructive knowledge: what agents can achieve under imperfect information W Jamroga, T Ågotnes Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007	170	2007
Constructive knowledge: what agents can achieve under imperfect information W Jamroga, T Ågotnes Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007	170	2007
Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Synthese 139, 241-280, 2004	152	2004
Alternating-time temporal logics with irrevocable strategies T Ågotnes, V Goranko, W Jamroga Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007	145	2007
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games N Bulling, W Jamroga Autonomous agents and multi-agent systems 28, 474-518, 2014	102	2014
Some remarks on alternating temporal epistemic logic W Jamroga Proceedings of formal approaches to multi-agent systems (FAMAS 2003), 133-140, 2003	101	2003
Towards a theory of intention revision W van Der Hoek, W Jamroga, M Wooldridge Synthese 155, 265-290, 2007	94	2007
Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-Agent Systems, 125-159, 2010	85	2010
Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015	83	2015
Model checking abilities under incomplete information is indeed∆ P 2-complete W Jamroga, J Dix EUMAS 6, 14-15, 2006	64	2006
Strategic games and truly playable effectivity functions V Goranko, W Jamroga, P Turrini Autonomous Agents and Multi-Agent Systems 26, 288-314, 2013	62	2013
Strategic responsibility under imperfect information V Yazdanpanah, M Dastani, N Alechina, B Logan, W Jamroga 18th International Conference on Autonomous Agents and Multiagent Systems …, 2019	52	2019
Towards partial order reductions for strategic ability W Jamroga, W Penczek, T Sidoruk, P Dembiński, A Mazurkiewicz Journal of Artificial Intelligence Research 68, 817-850, 2020	51	2020
On module checking and strategies W Jamroga, A Murano Proceedings of the 2014 international conference on Autonomous agents and …, 2014	50	2014
Alternating epistemic mu-calculus N Bulling, W Jamroga IJCAI 11, 109-114, 2011	47	2011
Do agents make model checking explode (computationally)? W Jamroga, J Dix Multi-Agent Systems and Applications IV: 4th International Central and …, 2005	46	2005
Module checking of strategic ability. W Jamroga, A Murano AAMAS 15, 227-235, 2015	45	2015
Model checking abilities under incomplete information is indeed delta2-complete W Jamroga Deutsche Nationalbibliothek, 2006	43	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors