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 | 180 | 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 | 177 | 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 | 160 | 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 |
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 |
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 | 78 | 1997 |
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 |
A dynamic logic of normative systems A Herzig, E Lorini, F Moisan, N Troquard Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 75 | 2011 |
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 |