Philippe Balbiani

Cited by

	All	Since 2017
Citations	3660	1224
h-index	29	18
i10-index	74	35

260

130

195

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202212 8 26 24 35 38 44 41 90 78 105 134 168 167 186 150 194 197 188 211 246 233 215 200 231 219 124

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Verified email at irit.fr
Tinko TinchevProfessor at Faculty of Mathematics and Informatics, Sofia UniversityVerified email at fmi.uni-sofia.bg
Hans van DitmarschOpen University of the NetherlandsVerified email at loria.fr
Dimiter VakarelovSofia University "St. Kliment Ohridski"Verified email at fmi.uni-sofia.bg
Salem benferhatFull professor, CRIL-CNRS UMR 8188, Artois University (France)Verified email at cril.fr
Frédéric CuppensPolytechnique MontréalVerified email at polymtl.ca
Yves DeswarteResearcher, LAAS-CNRSVerified email at laas.fr
David Fernández-DuqueGhent UniversityVerified email at UGent.be
Nicolas TroquardKRDB, Free University of Bozen-BolzanoVerified email at unibz.it
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
Joseph Boudoupostdoc, IRIT, Toulouse UniversityVerified email at irit.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
François SchwarzentruberENS RennesVerified email at ens-rennes.fr
Martin DiéguezUniversity of AngersVerified email at univ-angers.fr
Olivier GasquetProfesseur d'informatique, Université Paul SabatierVerified email at irit.fr
Aomar OsmaniLaboratoire LIPN-UMR CNRS 7030 Universite Paris 13 Sorbonne Paris CitéVerified email at lipn.univ-paris13.fr
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Verified email at irit.fr
Rachid EchahedResearch Fellow CNRS, GrenobleVerified email at imag.fr
Ruaan KellermanLecturer, University of PretoriaVerified email at up.ac.za

Philippe Balbiani

Institut de recherche en informatique de Toulouse

Verified email at irit.fr

Non-classical logics. Qualitative spatial and temporal reasoning. Unification problem.


Title Sort by citations Sort by year Sort by 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	836	2003
A new tractable subclass of the rectangle algebra P Balbiani, JF Condotta, LF del Cerro IJCAI 99, 442-447, 1999	177	1999
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	157	2008
A model for reasoning about bidimensional temporal relations P Balbiani, JF Condotta, LF Del Cerro PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998	141	1998
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010	118	2010
Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37 (4), 387-406, 2008	90	2008
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	84	2013
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	82	2007
Modal logics for region-based theories of space P Balbiani, T Tinchev, D Vakarelov Fundamenta Informaticae 81 (1-3), 29-82, 2007	72	2007
Global and local graph modifiers G Aucher, P Balbiani, LF Del Cerro, A Herzig Electronic Notes in Theoretical Computer Science 231, 293-307, 2009	64	2009
Tractability results in the block algebra P Balbiani, JF Condotta, LF Del Cerro Journal of Logic and Computation 12 (5), 885-909, 2002	60	2002
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	55	2010
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	52	2002
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 1, 30-43, 2003	48	2003
A model for reasoning about topologic relations between cyclic intervals P Balbiani, A Osmani KR, 378-385, 2000	46	2000
Iteration-free PDL with intersection: a complete axiomatization P Balbiani, D Vakarelov Fundamenta Informaticae 45 (3), 173-194, 2001	39	2001
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	38	1999
Modal logics for incidence geometries P Balbiani, LFDEL CERRO, T Tinchev, D Vakarelov Journal of Logic and Computation 7 (1), 59-78, 1997	38	1997
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	37	2008
Spatial reasoning about points in a multidimensional setting P Balbiani, JF Condotta Applied Intelligence 17 (3), 221-238, 2002	36	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors