Philippe Balbiani 个人学术档案

引用次数

	总计	2019 年至今
引用	4029	1135
h 指数	30	16
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 212 229 204 221 215 192 229 70

开放获取的出版物数量

查看全部

6 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)在 irit.fr 的电子邮件经过验证
Tinko TinchevProfessor at Faculty of Mathematics and Informatics, Sofia University在 fmi.uni-sofia.bg 的电子邮件经过验证
Hans van DitmarschCNRS在 irit.fr 的电子邮件经过验证
Dimiter VakarelovSofia University "St. Kliment Ohridski"在 fmi.uni-sofia.bg 的电子邮件经过验证
Salem benferhatFull professor, CRIL-CNRS UMR 8188, Artois University (France)在 cril.fr 的电子邮件经过验证
Frédéric CuppensPolytechnique Montréal在 polymtl.ca 的电子邮件经过验证
Yves DeswarteResearcher, LAAS-CNRS在 laas.fr 的电子邮件经过验证
David Fernández-DuqueProfessor of Philosophy, University of Barcelona在 UGent.be 的电子邮件经过验证
Nicolas TroquardGran Sasso Science Institute - GSSI在 gssi.it 的电子邮件经过验证
Martin DiéguezUniversity of Angers在 univ-angers.fr 的电子邮件经过验证
Joseph Boudoupostdoc, IRIT, Toulouse University在 irit.fr 的电子邮件经过验证
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)在 irit.fr 的电子邮件经过验证
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm University在 philosophy.su.se 的电子邮件经过验证
François SchwarzentruberENS Rennes在 ens-rennes.fr 的电子邮件经过验证
Aomar OsmaniLaboratoire LIPN-UMR CNRS 7030 Universite Paris 13 Sorbonne Paris Cité在 lipn.univ-paris13.fr 的电子邮件经过验证
Maryam RostamigivUniversity of Regina在 uregina.ca 的电子邮件经过验证
Yannick ChevalierMaître de Conférences en informatique, IRIT, Université Toulouse 3在 irit.fr 的电子邮件经过验证
Olivier GasquetProfesseur d'informatique, Université Paul Sabatier在 irit.fr 的电子邮件经过验证
Fahima Cheikh-AliliAssociate professor in Computer Science, CRIL, Univ. Artois and CNRS在 cril.fr 的电子邮件经过验证
Thomas ÅgotnesProfessor of Information Science, University of Bergen在 infomedia.uib.no 的电子邮件经过验证

关注

Philippe Balbiani

Institut de recherche en informatique de Toulouse

在 irit.fr 的电子邮件经过验证

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	897	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	183	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	176	2008
A model for reasoning about bidimensional temporal relations P Balbiani, JF Condotta, LF Del Cerro PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 1998	153	1998
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010	134	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
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
Tractability results in the block algebra P Balbiani, JF Condotta, LF Del Cerro Journal of Logic and Computation 12 (5), 885-909, 2002	66	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	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	48	2000
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
A simple proof of the completeness of APAL P Balbiani, H Van Ditmarsch arXiv preprint arXiv:1409.2612, 2014	38	2014
Spatial reasoning about points in a multidimensional setting P Balbiani, JF Condotta Applied Intelligence 17, 221-238, 2002	38	2002
PDL with intersection of programs: a complete axiomatization P Balbiani, D Vakarelov Journal of Applied Non-Classical Logics 13 (3-4), 231-276, 2003	36	2003

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用