Philippe Balbiani

Citado por

	Total	Desde 2019
Citas	4075	1180
Índice h	30	17
Índice i10	83	37

260

130

195

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202429 22 36 35 43 45 92 79 111 132 168 176 182 153 195 185 188 217 248 213 229 204 225 215 191 233 107

Acceso público

Ver todo

6 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Dirección de correo verificada de irit.fr
Tinko TinchevProfessor at Faculty of Mathematics and Informatics, Sofia UniversityDirección de correo verificada de fmi.uni-sofia.bg
Hans van DitmarschCNRSDirección de correo verificada de irit.fr
Dimiter VakarelovSofia University "St. Kliment Ohridski"Dirección de correo verificada de fmi.uni-sofia.bg
Salem benferhatFull professor, CRIL-CNRS UMR 8188, Artois University (France)Dirección de correo verificada de cril.fr
David Fernández-DuqueProfessor of Philosophy, University of BarcelonaDirección de correo verificada de UGent.be
Frédéric CuppensPolytechnique MontréalDirección de correo verificada de polymtl.ca
Yves DeswarteResearcher, LAAS-CNRSDirección de correo verificada de laas.fr
Nicolas TroquardGran Sasso Science Institute - GSSIDirección de correo verificada de gssi.it
Martin DiéguezUniversity of AngersDirección de correo verificada de univ-angers.fr
Joseph Boudoupostdoc, IRIT, Toulouse UniversityDirección de correo verificada de irit.fr
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Dirección de correo verificada de irit.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityDirección de correo verificada de philosophy.su.se
François SchwarzentruberÉcole Normale Supérieure de LyonDirección de correo verificada de ens-lyon.fr
Saúl Fernández GonzálezUniversidad de OviedoDirección de correo verificada de uniovi.es
Maryam RostamigivUniversity of ReginaDirección de correo verificada de uregina.ca
Aomar OsmaniLaboratoire LIPN-UMR CNRS 7030 Universite Paris 13 Sorbonne Paris CitéDirección de correo verificada de lipn.univ-paris13.fr
Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3Dirección de correo verificada de irit.fr
Olivier GasquetProfesseur d'informatique, Université Paul SabatierDirección de correo verificada de irit.fr
Fahima Cheikh-AliliAssociate professor in Computer Science, CRIL, Univ. Artois and CNRSDirección de correo verificada de cril.fr

Seguir

Philippe Balbiani

Institut de recherche en informatique de Toulouse

Dirección de correo verificada de irit.fr

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	900	2003
A new tractable subclass of the rectangle algebra P Balbiani, JF Condotta, LF del Cerro Sixteenth International Joint Conference on Artificial Intelligence (IJCAI …, 1999	184	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	180	2008
A model for reasoning about bidimensional temporal relations P Balbiani, JF Condotta, LF Del Cerro PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998	155	1998
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010	137	2010
Alternative axiomatics and complexity of deliberative STIT theories P Balbiani, A Herzig, N Troquard Journal of Philosophical Logic 37, 387-406, 2008	105	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	94	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	79	2007
Tractability results in the block algebra P Balbiani, JF Condotta, LF Del Cerro Journal of Logic and Computation 12 (5), 885-909, 2002	68	2002
Global and local graph modifiers G Aucher, P Balbiani, LF Del Cerro, A Herzig Electronic Notes in Theoretical Computer Science 231, 293-307, 2009	67	2009
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	58	2010
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	58	2002
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	49	2003
A model for reasoning about topological relations betweencyclic intervals P Balbiani, A Osmani 7th International Conference on Principles of Knowledge Representation and …, 2000	49	2000
A simple proof of the completeness of APAL P Balbiani, H Van Ditmarsch arXiv preprint arXiv:1409.2612, 2014	40	2014
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	40	2008
Iteration-free PDL with intersection: a complete axiomatization P Balbiani, D Vakarelov Fundamenta Informaticae 45 (3), 173-194, 2001	40	2001
Spatial reasoning about points in a multidimensional setting P Balbiani, JF Condotta Applied Intelligence 17, 221-238, 2002	39	2002
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	36	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores