Andreas Herzig

Cited by

	All	Since 2016
Citations	5223	1577
h-index	42	21
i10-index	129	53

360

180

270

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202116 31 25 39 30 56 61 103 58 91 64 82 84 76 115 165 228 219 259 290 297 220 285 332 341 285 344 328 309 269 37

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
Olivier GasquetProfesseur d'informatique, Université Paul SabatierVerified email at irit.fr
Philippe BalbianiInstitut de recherche en informatique de ToulouseVerified 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
Jomi Fred HübnerAssociate Professor of Federal University of Santa CatarinaVerified email at das.ufsc.br
Carole AdamUniversity Grenoble-Alps, LIGVerified email at imag.fr
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	169	1999
A logical formalization of the OCC theory of emotions C Adam, A Herzig, D Longin Synthese 168 (2), 201-248, 2009	145	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	132	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	110	2010
A modal analysis of possibility theory LF del Cerro, A Herzig International Workshop on Fundamentals of Artificial Intelligence Research …, 1991	110	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	106	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	85	2006
A logic of intention and attempt E Lorini, A Herzig Synthese 163 (1), 45-77, 2008	82	2008
Combining classical and intuitionistic logic LF Del Cerro, A Herzig Frontiers of combining systems, 93-102, 1996	79	1996
Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37 (4), 387-406, 2008	78	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	75	2007
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	74	2013
Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008	71	2008
Action representation and partially observable planning using epistemic logic A Herzig, J Lang, P Marquis IJCAI, 1067-1072, 2003	69	2003
A dynamic logic of normative systems A Herzig, E Lorini, F Moisan, N Troquard IJCAI 2011, 228-233, 2011	66	2011
The PMA revisited A Herzig KR, 40-50, 1996	66	1996
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	65	2006
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
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	65	1997
An ordinal view of independence with application to plausible reasoning D Dubois, LF del Cerro, A Herzig, H Prade Uncertainty Proceedings 1994, 195-203, 1994	64	1994

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