Philippe Balbiani

	2011
98		Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini: Agents that speak: modelling communicative plans and information sources in a logic of announcements. AAMAS 2011: 1207-1208
97		Philippe Balbiani, Valentin Goranko, Guido Sciavicco: Two-sorted Point-Interval Temporal Logics. Electr. Notes Theor. Comput. Sci. 278: 31-45 (2011)
96		Philippe Balbiani, Pablo Seban: Reasoning About Permitted Announcements. J. Philosophical Logic 40(4): 445-472 (2011)
95		Philippe Balbiani: Axiomatization and completeness of lexicographic products of modal logics. Journal of Applied Non-Classical Logics 21(2): 141-176 (2011)
	2010
94		Philippe Balbiani, Yannick Chevalier, Marwa El Houri: An intruder model for trust negotiation. CRiSIS 2010: 1-8
93		Philippe Balbiani: Tools and Techniques in Qualitative Reasoning about Space. FoIKS 2010: 1-2
92		Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Dynamic Logic for Termgraph Rewriting. ICGT 2010: 59-74
91		Philippe Balbiani: Coherence Test on Graphs Constraints between Hyperintervals. ICTAI (1) 2010: 223-226
90		Philippe Balbiani: Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. TIME 2010: 19-26
89		Philippe Balbiani, Rachid Echahed, Andreas Herzig: A Modal Logic for Termgraph Rewriting CoRR abs/1003.4369: (2010)
88		Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade: Controller/Orchestrator Synthesis via Filtration. Electr. Notes Theor. Comput. Sci. 262: 33-48 (2010)
87		Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko: Composition of Services with Constraints. Electr. Notes Theor. Comput. Sci. 263: 31-46 (2010)
86		Thomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch, Pablo Seban: Group announcement logic. J. Applied Logic 8(1): 62-81 (2010)
85		Philippe Balbiani, Tinko Tinchev: Boolean logics with relations. J. Log. Algebr. Program. 79(8): 707-721 (2010)
84		Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010)
83		Philippe Balbiani: Foreword. Journal of Applied Non-Classical Logics 20(3): 137-138 (2010)
82		Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 20(4): 311 (2010)
	2009
81		Philippe Balbiani, Yannick Chevalier, Marwa El Houri: A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. CRiSIS 2009: 3-11
80		Philippe Balbiani: Axiomatization and Completeness of Lexicographic Products of Modal Logics. FroCos 2009: 165-180
79		Anas Abou El Kalam, Philippe Balbiani: A Policy Language for Modelling Recommendations. SEC 2009: 176-189
78		Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade: Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. Electr. Notes Theor. Comput. Sci. 229(3): 3-18 (2009)
77		Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Global and Local Graph Modifiers. Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009)
76		Philippe Balbiani, Jan Broersen, Julien Brunel: Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. Electr. Notes Theor. Comput. Sci. 231: 69-89 (2009)
	2008
75		Philippe Balbiani, Yannick Chevalier, Marwa El Houri: A Logical Approach to Dynamic Role-Based Access Control. AIMSA 2008: 194-208
74		Philippe Balbiani: Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. KR 2008: 695-704
73		Philippe Balbiani, Tinko Tinchev: Boolean Logics with Relations. RelMiCS 2008: 4-21
72		Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade: Composition of Interactive Web Services Based on Controller Synthesis. SERVICES I 2008: 521-528
71		Philippe Balbiani, Petar Iliev, Dimiter Vakarelov: A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. Fundam. Inform. 83(4): 451-464 (2008)
70		Philippe Balbiani: Logical approaches to deontic reasoning: From basic questions to dynamic solutions. Int. J. Intell. Syst. 23(10): 1021-1045 (2008)
69		Philippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative Axiomatics and Complexity of Deliberative STIT Theories. J. Philosophical Logic 37(4): 387-406 (2008)
68		Philippe Balbiani: Hyper arrow logic with indiscernibility and complementarity. Journal of Applied Non-Classical Logics 18(2-3): 137-152 (2008)
	2007
67		Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
66		Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima: What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK 2007: 42-51
65		Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov: Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics 2007: 343-428
64		Philippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative axiomatics and complexity of deliberative STIT theories CoRR abs/0704.3238: (2007)
63		Philippe Balbiani, Dimiter Vakarelov: Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. Fundam. Inform. 75(1-4): 1-25 (2007)
62		Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Region-based Theories of Space. Fundam. Inform. 81(1-3): 29-82 (2007)
61		Philippe Balbiani, Tinko Tinchev: Line-based affine reasoning in Euclidean plane. J. Applied Logic 5(3): 421-434 (2007)
60		Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov: Dynamic logics of the region-based theory of discrete spaces. Journal of Applied Non-Classical Logics 17(1): 39-61 (2007)
	2006
59		Philippe Balbiani, Fatima Harb, Ali Kaafarani: Access control with prohibitions and obligations. AICCSA 2006: 484-492
58		Philippe Balbiani: An expressive two-sorted spatial logic for plane projective geometry. Advances in Modal Logic 2006: 49-68
57		Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman: Every world can see a Sahlqvist world. Advances in Modal Logic 2006: 69-85
56		Philippe Balbiani, Jean-François Condotta, Gérard Ligozat: On the consistency problem for the INDU calculus. J. Applied Logic 4(2): 119-140 (2006)
55		Philippe Balbiani, Tinko Tinchev: Definability Over the Class of all Partitions. J. Log. Comput. 16(5): 541-557 (2006)
	2005
54		Philippe Balbiani: A formal examination of roles and permissions in access control. AICCSA 2005: 96
53		Philippe Balbiani: A Uniform Approach to Modelling Timed Protection. Artificial Intelligence and Applications 2005: 219-224
52		Philippe Balbiani, Fahima Cheikh: Safety Problems in Access Control with Temporal Constraints. MMM-ACNS 2005: 165-178
51		Philippe Balbiani: Access Control with Uncertain Surveillance. Web Intelligence 2005: 778-781
	2004
50		Philippe Balbiani, Khalil Challita: Solving Constraints Between Lines in Euclidean Geometry. AIMSA 2004: 148-157
49		Philippe Balbiani, Tinko Tinchev: Line-Based Affine Reasoning in Euclidean Plane. JELIA 2004: 474-486
48		Philippe Balbiani, Dimiter Vakarelov: Dynamic extensions of arrow logic. Ann. Pure Appl. Logic 127(1-3): 1-15 (2004)
	2003
47		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002 King's College Publications 2003
46		Anas Abou El Kalam, Salem Benferhat, Alexandre Miège, Rania El Baida, Frédéric Cuppens, Claire Saurel, Philippe Balbiani, Yves Deswarte, Gilles Trouessin: Organization based access contro. POLICY 2003: 120-
45		Philippe Balbiani, Jean-François Condotta, Gérard Ligozat: Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition 2003: 348-371
44		Philippe Balbiani, Jean-François Condotta, Gérard Ligozat: On the Consistency Problem for the INDU Calculus. TIME 2003: 203-211
43		Philippe Balbiani: Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection. Fundam. Inform. 56(3): 211-242 (2003)
42		Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 13(1): 7-8 (2003)
41		Philippe Balbiani, Dimiter Vakarelov: PDL with Intersection of Programs: A Complete Axiomatization. Journal of Applied Non-Classical Logics 13(3-4): 231-276 (2003)
	2002
40		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Editorial Preface. Advances in Modal Logic 2002
39		Philippe Balbiani, Jean-François Condotta: Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. FroCos 2002: 162-176
38		Philippe Balbiani, Jean-François Condotta: Spatial Reasoning About Points in a Multidimensional Setting. Appl. Intell. 17(3): 221-238 (2002)
37		Philippe Balbiani, Dimiter Vakarelov: A Modal Logic for Indiscernibility and Complementarity in Information Systems. Fundam. Inform. 50(3-4): 243-263 (2002)
36		Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: Tractability Results in the Block Algebra. J. Log. Comput. 12(5): 885-909 (2002)
35		Philippe Balbiani: Foreword. Journal of Applied Non-Classical Logics 12(3-4): 317-318 (2002)
34		Philippe Balbiani, Valentin Goranko: Modal Logics for Parallelism, Orthogonality, and Affine Geometries. Journal of Applied Non-Classical Logics 12(3-4): 365-398 (2002)
	2001
33		Philippe Balbiani, Dimiter Vakarelov: First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. ECSQARU 2001: 772-781
32		Philippe Balbiani: Emptiness Relations in Property Systems. RelMiCS 2001: 15-34
31		Philippe Balbiani, Dimiter Vakarelov: Iteration-free PDL with Intersection: a Complete Axiomatization. Fundam. Inform. 45(3): 173-194 (2001)
30		Philippe Balbiani: A new proof of completeness for a relative modal logic with composition and intersection. Journal of Applied Non-Classical Logics 11(3-4): 269-280 (2001)
	2000
29		Philippe Balbiani, Aomar Osmani: A Model for Reasoning about Topologic Relations between cyclic intervals. KR 2000: 378-385
28		Philippe Balbiani, Jean-François Condotta, Gérard Ligozat: Reasoning about Generalized Intervals: Horn Representability and Tractability. TIME 2000: 23-30
	1999
27		Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA 1999: 75-89
26		Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: A New Tractable Subclass of the Rectangle Algebra. IJCAI 1999: 442-447
25		Philippe Balbiani, Ewa Orlowska: A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics 9(2-3): (1999)
24		Philippe Balbiani: Inequality without irreflexivity. Journal of Applied Non-Classical Logics 9(4): (1999)
	1998
23		Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani: Reasoning about Generalized Intervals. AIMSA 1998: 50-61
22		Philippe Balbiani, Amal El Fallah-Seghrouchni: A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment. ICMAS 1998: 387-388
21		Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: A Model for Reasoning about Bidemsional Temporal Relations. KR 1998: 124-130
20		Philippe Balbiani, Dimiter Vakarelov: Extending arrow logic. RelMiCS 1998: 13-17
19		Philippe Balbiani: The modal multilogic of geometry. Journal of Applied Non-Classical Logics 8(3): (1998)
18		Philippe Balbiani, Luis Fariñas del Cerro: Complete axiomatization of a relative modal logic with composition and intersection. Journal of Applied Non-Classical Logics 8(4): (1998)
	1997
17		Philippe Balbiani, Stéphane Demri: Prefixed Tableaux Systems for Modal Logics with Enriched Languages. IJCAI (1) 1997: 190-195
16		Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Incidence Geometries. J. Log. Comput. 7(1): 59-78 (1997)
	1996
15		Philippe Balbiani: Modal Logics with Relative Accessibility Relations. FAPR 1996: 29-42
14		Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Geometrical Structures and Modal Logic. FAPR 1996: 43-57
13		Philippe Balbiani: A Modal Logic for Data Analysis. MFCS 1996: 167-179
	1994
12		Philippe Balbiani: Equation Solving in Projective Planes and Planar Ternary Rings. ALP 1994: 95-113
11		Philippe Balbiani: Equation Solving in Geometrical Theories. CTRS 1994: 31-50
10		Philippe Balbiani, Andreas Herzig: A translation from the modal logic of provability into K4. Journal of Applied Non-Classical Logics 4(1): (1994)
	1993
9		Philippe Balbiani, Luis Fariñas del Cerro: Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting 1993: 196-213
	1992
8		Philippe Balbiani: The Finiteness of Logic Programming Derivations. ALP 1992: 403-419
7		Philippe Balbiani: Sur la finitude des dérivations de la programmation en logique. JFPL 1992: 194-209
6		Philippe Balbiani: A modal semantics of negation in logic programming. Fundam. Inform. 16(3-4): 231-262 (1992)
	1991
5		Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques: TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK 1991: 366-382
4		Philippe Balbiani: A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. STACS 1991: 523-534
3		Philippe Balbiani: Modal Logic and Negation as Failure. J. Log. Comput. 1(3): 331-356 (1991)
	1990
2		Philippe Balbiani: Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic. IPMU 1990: 223-231
	1988
1		Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514

Coauthor Index

1	Thomas Ågotnes	[86]
2	Guillaume Aucher	[77]
3	Rania El Baida	[46]
4	Alexandru Baltag	[66]
5	Salem Benferhat	[46]
6	Jan Broersen	[76]
7	Julien Brunel	[76]
8	Luis Fariñas del Cerro	[1] [9] [14] [16] [18] [21] [23] [26] [27] [36] [42] [77] [82]
9	Khalil Challita	[50]
10	Fahima Cheikh (Fahima Cheikh Alili)	[52] [72] [78] [87] [88]
11	Yannick Chevalier	[75] [81] [94]
12	Jean-François Condotta	[21] [23] [26] [27] [28] [36] [38] [39] [44] [45] [56]
13	Frédéric Cuppens	[46]
14	Stéphane Demri	[17]
15	Yves Deswarte	[46]
16	Hans P. van Ditmarsch	[66] [67] [84] [86]
17	Rachid Echahed	[89] [92]
18	Amal El Fallah-Seghrouchni (Amal El Fallah)	[22]
19	Guillaume Feuillade	[72] [78] [88]
20	Valentin Goranko	[34] [65] [97]
21	Nadine Guiraud	[98]
22	Fatima Harb	[59]
23	Pierre-Cyrille Héam	[87]
24	Andreas Herzig	[1] [5] [10] [42] [64] [66] [67] [69] [77] [82] [84] [89] [92] [98]
25	T. Hoshi	[66]
26	Marwa El Houri	[75] [81] [94]
27	Petar Iliev	[71]
28	Ali Kaafarani	[59]
29	Anas Abou El Kalam	[46] [79]
30	Ruaan Kellerman	[65]
31	Olga Kouchnarenko	[87]
32	Gérard Ligozat (Gerard Ligozat)	[28] [44] [45] [56]
33	Tiago De Lima	[66] [67] [84]
34	Mamede Lima-Marques	[5]
35	Emiliano Lorini	[98]
36	Alexandre Miège	[46]
37	Ewa Orlowska	[25]
38	Aomar Osmani	[23] [29]
39	Claire Saurel	[46]
40	Guido Sciavicco	[97]
41	Pablo Seban	[86] [96]
42	Ilya Shapirovsky	[57]
43	Valentin B. Shehtman	[57]
44	Nobu-Yuki Suzuki	[40] [47]
45	Tinko Tinchev (Tinko Velichkov Tinchev)	[14] [16] [49] [55] [60] [61] [62] [73] [85]
46	Nicolas Troquard	[64] [69]
47	Gilles Trouessin	[46]
48	Dimiter Vakarelov (Dimitar Ivanov Vakarelov)	[14] [16] [20] [31] [33] [37] [41] [48] [60] [62] [63] [65] [71]
49	Frank Wolter	[40] [47]
50	Michael Zakharyaschev	[40] [47]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page