| Organization based access control AAE Kalam, RE Baida, P Balbiani, S Benferhat, F Cuppens, Y Deswarte, ... Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for …, 2003 | 920 | 2003 |
| 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 | 210 | 2008 |
| A new tractable subclass of the rectangle algebra P Balbiani, JF Condotta, LF del Cerro Sixteenth International Joint Conference on Artificial Intelligence (IJCAI …, 1999 | 192 | 1999 |
| A model for reasoning about bidimensional temporal relations P Balbiani, JF Condotta, LF Del Cerro PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998 | 158 | 1998 |
| Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010 | 153 | 2010 |
| Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37 (4), 387-406, 2008 | 113 | 2008 |
| 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 | 104 | 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 | 91 | 2007 |
| Modal logics for region-based theories of space P Balbiani, T Tinchev, D Vakarelov Fundamenta Informaticae 81 (1-3), 29-82, 2007 | 81 | 2007 |
| Global and local graph modifiers G Aucher, P Balbiani, LF Del Cerro, A Herzig Electronic Notes in Theoretical Computer Science 231, 293-307, 2009 | 71 | 2009 |
| Tractability results in the block algebra P Balbiani, JF Condotta, LF Del Cerro Journal of Logic and Computation 12 (5), 885-909, 2002 | 69 | 2002 |
| Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning P Balbiani, C Jean-François International Workshop on Frontiers of Combining Systems, 162-176, 2002 | 63 | 2002 |
| Tableaux for public announcement logic P Balbiani, H Van Ditmarsch, A Herzig, T De Lima Journal of Logic and Computation 20 (1), 55-76, 2010 | 60 | 2010 |
| A model for reasoning about topological relations betweencyclic intervals P Balbiani, A Osmani 7th International Conference on Principles of Knowledge Representation and …, 2000 | 55 | 2000 |
| ORBAC: un modèle de contrôle d'accès basé sur les organisations A Abou El Kalam, R El Baida, P Balbiani, S Benferhat, F Cuppens, ... Cahiers francophones de la recherche en sécurité de l'information 2, 30--40, 2003 | 50 | 2003 |
| A simple proof of the completeness of APAL P Balbiani, H van Ditmarsch arXiv preprint arXiv:1409.2612, 2014 | 46 | 2014 |
| Iteration-free PDL with intersection: a complete axiomatization P Balbiani, D Vakarelov Fundamenta Informaticae 45 (3), 173-194, 2001 | 42 | 2001 |
| A hierarchy of modal logics with relative accessibility relations P Balbiani, E Orlowska Journal of Applied Non-Classical Logics 9 (2-3), 303-328, 1999 | 42 | 1999 |
| Subset space logic with arbitrary announcements P Balbiani, H Van Ditmarsch, A Kudinov Indian Conference on Logic and Its Applications, 233-244, 2013 | 41 | 2013 |
| A logical theory of belief dynamics for resource-bounded agents P Balbiani, D Fernández-Duque, E Lorini 15th International Joint Conference on Autonomous Agents and Multiagent …, 2016 | 40 | 2016 |
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse)Verified email at irit.fr
