Andreas Herzig

Cited by

	All	Since 2015
Citations	5140	1834
h-index	40	23
i10-index	128	60

360

180

270

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202016 33 26 42 32 57 63 100 57 89 69 82 86 77 118 161 224 220 255 287 300 218 282 335 339 289 345 328 295 230

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
Hans van DitmarschCNRSVerified email at loria.fr
Nicolas TroquardKRDB, Free University of Bozen-BolzanoVerified email at unibz.it
Jerome Langsenior researcher at CNRSVerified email at lamsade.dauphine.fr
François SchwarzentruberENS RennesVerified email at ens-rennes.fr
Laurent PerrusselIRIT, Université de Toulouse CapitoleVerified email at irit.fr
Jan BroersenUtrecht UniversityVerified email at uu.nl
Benoit GaudouUniversité Toulouse 1 Capitole, UMR 5505 IRITVerified email at ut-capitole.fr
Ivan VarzinczakAssociate Professor, CRIL, Univ. Artois & CNRS. Computer Science Division, Stellenbosch UniversityVerified email at cril.fr
Marcos CastilhoDInf/UFPRVerified email at ufpr.br
Carole AdamUniversity Grenoble-Alps, LIGVerified email at imag.fr
Jomi Fred HübnerAssociate Professor of Federal University of Santa CatarinaVerified email at das.ufsc.br
Laurent VercouterLITIS/ INSA de RouenVerified email at insa-rouen.fr
Bilal SaidAssistant ProfessorVerified email at ul.edu.lb
Henri PradeCNRS, France and University of Technology SydneyVerified email at TheMagicLab.org
Didier Duboischercheur au CNRSVerified email at irit.fr
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	168	1999
A logical formalization of the OCC theory of emotions C Adam, A Herzig, D Longin Synthese 168 (2), 201-248, 2009	139	2009
'Knowable'as' known after an announcement'. P Balbiani, A Baltag, H Van Ditmarsch, A Herzig, T Hoshi, T De Lima Rev. Symb. Log. 1 (3), 305-334, 2008	129	2008
A modal analysis of possibility theory LF del Cerro, A Herzig International Workshop on Fundamentals of Artificial Intelligence Research …, 1991	109	1991
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	107	2010
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	104	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	83	2006
A logic of intention and attempt E Lorini, A Herzig Synthese 163 (1), 45-77, 2008	80	2008
Combining classical and intuitionistic logic LF Del Cerro, A Herzig Frontiers of combining systems, 93-102, 1996	79	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	75	2013
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	75	2007
Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37 (4), 387-406, 2008	74	2008
Action representation and partially observable planning using epistemic logic A Herzig, J Lang, P Marquis IJCAI, 1067-1072, 2003	70	2003
Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008	68	2008
A dynamic logic of normative systems A Herzig, E Lorini, F Moisan, N Troquard IJCAI 2011, 228-233, 2011	67	2011
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	67	1997
Lotrec: the generic tableau prover for modal and description logics LF del Cerro, D Fauthoux, O Gasquet, A Herzig, D Longin, F Massacci International Joint Conference on Automated Reasoning, 453-458, 2001	65	2001
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	64	2006
The PMA revisited A Herzig KR, 40-50, 1996	64	1996
Conditionals: From philosophy to computer science G Crocco, LF Del Cerro, A Herzig	63	1995

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

Upload PDF

Follow this author

Cited by

Co-authors