Wojciech Jamroga

Cited by

	All	Since 2019
Citations	3297	1313
h-index	30	22
i10-index	74	44

340

170

255

20042005200620072008200920102011201220132014201520162017201820192020202120222023202446 47 69 134 104 94 205 124 93 115 191 197 164 202 157 229 190 177 219 332 161

Public access

View all

35 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
Michał KnapikInstitute of Computer Science of the Polish Academy of SciencesVerified email at ipipan.waw.pl
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified 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
Matthijs MelissenPhD student, University of LuxembourgVerified email at matthijsmelissen.nl
Catalin DimaProfessor of Computer Science, Université Paris-Est Créteil, FranceVerified email at u-pec.fr
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	343	2004
A logic for strategic reasoning W Van Der Hoek, W Jamroga, M Wooldridge Proceedings of the fourth international joint conference on Autonomous …, 2005	169	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	168	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	168	2007
Comparing semantics of logics for multi-agent systems V Goranko, W Jamroga Synthese 139, 241-280, 2004	146	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	142	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	100	2014
Some remarks on alternating temporal epistemic logic W Jamroga Proceedings of formal approaches to multi-agent systems (FAMAS 2003), 133-140, 2003	99	2003
Towards a theory of intention revision W van Der Hoek, W Jamroga, M Wooldridge Synthese 155, 265-290, 2007	93	2007
Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-Agent Systems, 125-159, 2010	84	2010
Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015	81	2015
Model checking abilities under incomplete information is indeed∆ P 2-complete W Jamroga, J Dix EUMAS 6, 14-15, 2006	63	2006
Strategic games and truly playable effectivity functions V Goranko, W Jamroga, P Turrini Autonomous Agents and Multi-Agent Systems 26, 288-314, 2013	60	2013
On module checking and strategies W Jamroga, A Murano Proceedings of the 2014 international conference on Autonomous agents and …, 2014	49	2014
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	47	2020
Alternating epistemic mu-calculus N Bulling, W Jamroga IJCAI 11, 109-114, 2011	47	2011
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	46	2019
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	43	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