Philippe Balbiani
Titel
Geciteerd door
Geciteerd door
Jaar
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
7412003
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
1311998
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
1212008
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
932010
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
742007
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37 (4), 387-406, 2008
702008
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
692013
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
592007
Tractability results in the block algebra
P Balbiani, JF Condotta, LF Del Cerro
Journal of Logic and Computation 12 (5), 885-909, 2002
562002
Global and local graph modifiers
G Aucher, P Balbiani, LF Del Cerro, A Herzig
Electronic Notes in Theoretical Computer Science 231, 293-307, 2009
522009
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
482010
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
462002
A model for reasoning about topologic relations between cyclic intervals
P Balbiani, A Osmani
KR, 378-385, 2000
432000
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
412003
Iteration-free PDL with intersection: a complete axiomatization
P Balbiani, D Vakarelov
Fundamenta Informaticae 45 (3), 173-194, 2001
402001
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
351999
Modal logics for incidence geometries
P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov
Journal of Logic and Computation 7 (1), 59-78, 1997
351997
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
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
301999
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20