Philippe Balbiani
TitleCited byYear
Organization based access control
AAE Kalam, REI Baida, P Balbiani, S Benferhat, F Cuppens, Y Deswarte, ...
Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for …, 2003
7152003
A new tractable subclass of the rectangle algebra
P Balbiani, JF Condotta, LF del Cerro
IJCAI 99, 442-447, 1999
1561999
A model for reasoning about bidimensional temporal relations
P Balbiani, JF Condotta, LF Del Cerro
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998
1261998
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
1182008
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
842010
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
692007
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37 (4), 387-406, 2008
672008
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
622013
Tractability results in the block algebra
P Balbiani, JF Condotta, LF Del Cerro
Journal of Logic and Computation 12 (5), 885-909, 2002
562002
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
542007
Tableaux for public announcement logic
P Balbiani, H Van Ditmarsch, A Herzig, T De Lima
Journal of Logic and Computation 20 (1), 55-76, 2008
482008
Global and local graph modifiers
G Aucher, P Balbiani, LF Del Cerro, A Herzig
Electronic Notes in Theoretical Computer Science 231, 293-307, 2009
452009
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
452002
A model for reasoning about topologic relations between cyclic intervals
P Balbiani, A Osmani
KR, 378-385, 2000
432000
Iteration-free PDL with intersection: a complete axiomatization
P Balbiani, D Vakarelov
Fundamenta Informaticae 45 (3), 173-194, 2001
382001
Or-BAC: un modèle de contrôle d’accès basé sur les organisations
AA El Kalam, R El Baida, P Balbiani, S Benferhat, F Cuppens, Y Deswarte, ...
Cahiers francophones de la recherche en sécurité de l’information 1, 30-43, 2003
362003
Modal logics for incidence geometries
P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov
Journal of Logic and Computation 7 (1), 59-78, 1997
341997
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
331999
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
322008
A tractable subclass of the block algebra: constraint propagation and preconvex relations
P Balbiani, JF Condotta, LF del Cerro
Portuguese Conference on Artificial Intelligence, 75-89, 1999
321999
The system can't perform the operation now. Try again later.
Articles 1–20