Suivre
Philippe Balbiani
Titre
Citée par
Citée par
Année
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
9002003
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
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
1742008
A model for reasoning about bidimensional temporal relations
P Balbiani, JF Condotta, LF Del Cerro
PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998
1521998
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
1322010
Alternative axiomatics and complexity of deliberative STIT theories
P Balbiani, A Herzig, N Troquard
Journal of Philosophical Logic 37, 387-406, 2008
1062008
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
932013
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
812007
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
782007
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
Tractability results in the block algebra
P Balbiani, JF Condotta, LF Del Cerro
Journal of Logic and Computation 12 (5), 885-909, 2002
662002
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
592002
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
582010
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
502003
A model for reasoning about topological relations betweencyclic intervals
P Balbiani, A Osmani
7th International Conference on Principles of Knowledge Representation and …, 2000
492000
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
402008
Iteration-free PDL with intersection: a complete axiomatization
P Balbiani, D Vakarelov
Fundamenta Informaticae 45 (3), 173-194, 2001
402001
A simple proof of the completeness of APAL
P Balbiani, H Van Ditmarsch
arXiv preprint arXiv:1409.2612, 2014
382014
Spatial reasoning about points in a multidimensional setting
P Balbiani, JF Condotta
Applied Intelligence 17, 221-238, 2002
382002
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
362016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20