Philippe Balbiani
Title
Cited by
Cited by
Year
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
7632003
A new tractable subclass of the rectangle algebra
P Balbiani, JF Condotta, LF del Cerro
IJCAI 99, 442-447, 1999
1631999
A model for reasoning about bidimensional temporal relations
P Balbiani, JF Condotta, LF Del Cerro
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998
1321998
'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
1262008
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
962010
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
752007
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
732013
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37 (4), 387-406, 2008
722008
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
602007
Global and local graph modifiers
G Aucher, P Balbiani, LF Del Cerro, A Herzig
Electronic Notes in Theoretical Computer Science 231, 293-307, 2009
562009
Tractability results in the block algebra
P Balbiani, JF Condotta, LF Del Cerro
Journal of Logic and Computation 12 (5), 885-909, 2002
552002
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
512010
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
492002
A model for reasoning about topologic relations between cyclic intervals
P Balbiani, A Osmani
Proceedings of the Seventh International Conference on Principles of …, 2000
442000
Or-BAC: 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. II, 30 43, 2003
402003
Iteration-free PDL with intersection: a complete axiomatization
P Balbiani, D Vakarelov
Fundamenta Informaticae 45 (3), 173-194, 2001
392001
Modal logics for incidence geometries
P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov
Journal of Logic and Computation 7 (1), 59-78, 1997
361997
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
341999
Composition of interactive web services based on controller synthesis
P Balbiani, F Cheikh, G Feuillade
2008 IEEE Congress on Services-Part I, 521-528, 2008
332008
PDL with intersection of programs: a complete axiomatization
P Balbiani, D Vakarelov
Journal of Applied Non-Classical Logics 13 (3-4), 231-276, 2003
312003
The system can't perform the operation now. Try again later.
Articles 1–20