Andreas Herzig

Cited by

	All	Since 2019
Citations	6630	1798
h-index	47	23
i10-index	151	60

400

200

100

300

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 32 23 42 40 58 71 105 61 108 72 88 100 69 129 165 240 223 265 309 311 226 297 332 370 300 325 356 310 299 382 286 304 211

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
Dominique LonginCNRS, IRIT (CNRS, INPT, UT3, UT1, UT2J), TMBI (Univ. Toulouse)Verified email at irit.fr
Philippe BalbianiInstitut de recherche en informatique de ToulouseVerified email at irit.fr
Olivier GasquetProfesseur d'informatique, Université Paul SabatierVerified email at irit.fr
Nicolas TroquardGran Sasso Science Institute - GSSIVerified email at gssi.it
Hans van DitmarschCNRSVerified email at irit.fr
Jerome Langsenior researcher at CNRSVerified email at lamsade.dauphine.fr
François SchwarzentruberÉcole Normale Supérieure de LyonVerified email at ens-lyon.fr
Laurent PerrusselIRIT, Université Toulouse CapitoleVerified email at irit.fr
Benoit GaudouProfessor, IRIT, Université Toulouse CapitoleVerified email at ut-capitole.fr
Jan BroersenUtrecht UniversityVerified email at uu.nl
Ivan VarzinczakProfessor, Limics, Université Sorbonne Paris NordVerified email at sorbonne-paris-nord.fr
Marcos CastilhoDInf/UFPRVerified email at ufpr.br
Carole AdamUniversity Grenoble-Alps, LIGVerified email at imag.fr
Henri PradeCNRS, France and University of New South WalesVerified email at TheMagicLab.org
Didier Duboischercheur au CNRSVerified email at irit.fr
Jomi Fred HübnerAssociate Professor of Federal University of Santa CatarinaVerified email at ufsc.br
Laurent VercouterLITIS/ INSA de RouenVerified email at insa-rouen.fr
Bilal SaidResearcher & Project Manager at Softeam DocaposteVerified email at ul.edu.lb
Cristiano CastelfranchiInstitute of Cognitive Sciences and Technologies - CNRVerified email at istc.cnr.it

Andreas Herzig

CNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)

Verified email at irit.fr - Homepage

modal logic knowledge representation artificial intelligence multiagent systems automated reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Propositional belief base update and minimal change A Herzig, O Rifi Artificial Intelligence 115 (1), 107-138, 1999	192	1999
A logical formalization of the OCC theory of emotions C Adam, A Herzig, D Longin Synthese 168, 201-248, 2009	181	2009
Knowable’as ‘known after an announcement P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima The Review of Symbolic Logic 1 (3), 305-334, 2008	181	2008
A logic of trust and reputation A Herzig, E Lorini, JF Hübner, L Vercouter Logic Journal of the IGPL 18 (1), 214-244, 2010	162	2010
A modal analysis of possibility theory L Fariñas del Cerro, A Herzig International Workshop on Fundamentals of Artificial Intelligence Research …, 1991	119*	1991
Formalizing action and change in modal logic I: the frame problem MA Castilho, O Gasquet, A Herzig Journal of logic and computation 9 (5), 701-735, 1999	116	1999
Knowing how to play: uniform choices in logics of agency A Herzig, N Troquard Proceedings of the fifth international joint conference on Autonomous agents …, 2006	109	2006
Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37, 387-406, 2008	105	2008
A logic of intention and attempt E Lorini, A Herzig Synthese 163 (1), 45-77, 2008	99	2008
Combining Classical and Intuitionistic Logic: Or: Intuitionistic Implication as a Conditional LF Del Cerro, A Herzig Frontiers of combining systems: First international workshop, Munich, March …, 1996	97	1996
Dynamic logic of propositional assignments: a well-behaved variant of PDL P Balbiani, A Herzig, N Troquard 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 143-152, 2013	94	2013
Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008	87	2008
What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007	82	2007
Modal tableaux with propagation rules and structural rules MA Castilho, LF del Cerro, O Gasquet, A Herzig Fundamenta Informaticae 32 (3-4), 281-297, 1997	79	1997
A dynamic logic framework for abstract argumentation S Doutre, A Herzig, L Perrussel Fourteenth international conference on the principles of knowledge …, 2014	78	2014
Action representation and partially observable planning using epistemic logic A Herzig, J Lang, P Marquis 18th International Joint Conference on Artificial Intelligence (IJCAI 2003 …, 2003	78	2003
A dynamic logic of normative systems A Herzig, E Lorini, F Moisan, N Troquard Twenty-Second International Joint Conference on Artificial Intelligence, 2011	76	2011
Embedding alternating-time temporal logic in strategic logic of agency J Broersen, A Herzig, N Troquard Journal of logic and computation 16 (5), 559-578, 2006	76	2006
C&L Intention Revisited. A Herzig, D Longin KR 4, 527-535, 2004	74	2004
Lotrec: the generic tableau prover for modal and description logics LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	73	2001

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