Sledovat
Philippe Balbiani
Název
Citace
Citace
Rok
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
9042003
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
1882008
A new tractable subclass of the rectangle algebra
P Balbiani, JF Condotta, LF del Cerro
Sixteenth International Joint Conference on Artificial Intelligence (IJCAI …, 1999
1851999
A model for reasoning about bidimensional temporal relations
P Balbiani, JF Condotta, LF Del Cerro
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998
1551998
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
1412010
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37, 387-406, 2008
1072008
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
972013
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
872007
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
822007
Tractability results in the block algebra
P Balbiani, JF Condotta, LF Del Cerro
Journal of Logic and Computation 12 (5), 885-909, 2002
692002
Global and local graph modifiers
G Aucher, P Balbiani, LF Del Cerro, A Herzig
Electronic Notes in Theoretical Computer Science 231, 293-307, 2009
672009
Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning
P Balbiani, C Jean-François
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 …, 2002
612002
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
592010
A model for reasoning about topological relations betweencyclic intervals
P Balbiani, A Osmani
7th International Conference on Principles of Knowledge Representation and …, 2000
522000
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
492003
A simple proof of the completeness of APAL
P Balbiani, H van Ditmarsch
arXiv preprint arXiv:1409.2612, 2014
412014
Iteration-free PDL with intersection: a complete axiomatization
P Balbiani, D Vakarelov
Fundamenta Informaticae 45 (3), 173-194, 2001
402001
Subset space logic with arbitrary announcements
P Balbiani, H Van Ditmarsch, A Kudinov
Indian Conference on Logic and Its Applications, 233-244, 2013
392013
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
392008
Spatial reasoning about points in a multidimensional setting
P Balbiani, JF Condotta
Applied Intelligence 17, 221-238, 2002
382002
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20