dblp.uni-trier.dewww.uni-trier.de

Philippe Balbiani Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
75EEPhilippe Balbiani: Axiomatization and Completeness of Lexicographic Products of Modal Logics. FroCos 2009: 165-180
74EEAnas Abou El Kalam, Philippe Balbiani: A Policy Language for Modelling Recommendations. SEC 2009: 176-189
73EEGuillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Global and Local Graph Modifiers. Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009)
72EEPhilippe 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
71EEPhilippe Balbiani, Yannick Chevalier, Marwa El Houri: A Logical Approach to Dynamic Role-Based Access Control. AIMSA 2008: 194-208
70 Philippe Balbiani: Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. KR 2008: 695-704
69EEPhilippe Balbiani, Tinko Tinchev: Boolean Logics with Relations. RelMiCS 2008: 4-21
68EEPhilippe Balbiani, Petar Iliev, Dimiter Vakarelov: A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. Fundam. Inform. 83(4): 451-464 (2008)
67EEPhilippe Balbiani: Logical approaches to deontic reasoning: From basic questions to dynamic solutions. Int. J. Intell. Syst. 23(10): 1021-1045 (2008)
2007
66EEPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
65EEPhilippe 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
64EEPhilippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov: Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics 2007: 343-428
63EEPhilippe Balbiani, Andreas Herzig, Nicolas Troquard: Alternative axiomatics and complexity of deliberative STIT theories CoRR abs/0704.3238: (2007)
62EEPhilippe Balbiani, Dimiter Vakarelov: Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. Fundam. Inform. 75(1-4): 1-25 (2007)
61EEPhilippe Balbiani, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Region-based Theories of Space. Fundam. Inform. 81(1-3): 29-82 (2007)
60EEPhilippe Balbiani, Tinko Tinchev: Line-based affine reasoning in Euclidean plane. J. Applied Logic 5(3): 421-434 (2007)
2006
59EEPhilippe Balbiani, Fatima Harb, Ali Kaafarani: Access control with prohibitions and obligations. AICCSA 2006: 484-492
58EEPhilippe Balbiani: An expressive two-sorted spatial logic for plane projective geometry. Advances in Modal Logic 2006: 49-68
57EEPhilippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman: Every world can see a Sahlqvist world. Advances in Modal Logic 2006: 69-85
56EEPhilippe Balbiani, Jean-François Condotta, Gérard Ligozat: On the consistency problem for the INDU calculus. J. Applied Logic 4(2): 119-140 (2006)
55EEPhilippe Balbiani, Tinko Tinchev: Definability Over the Class of all Partitions. J. Log. Comput. 16(5): 541-557 (2006)
2005
54EEPhilippe 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
52EEPhilippe Balbiani, Fahima Cheikh: Safety Problems in Access Control with Temporal Constraints. MMM-ACNS 2005: 165-178
51EEPhilippe Balbiani: Access Control with Uncertain Surveillance. Web Intelligence 2005: 778-781
2004
50EEPhilippe Balbiani, Khalil Challita: Solving Constraints Between Lines in Euclidean Geometry. AIMSA 2004: 148-157
49EEPhilippe Balbiani, Tinko Tinchev: Line-Based Affine Reasoning in Euclidean Plane. JELIA 2004: 474-486
48EEPhilippe 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
46EEAnas 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-
45EEPhilippe Balbiani, Jean-François Condotta, Gérard Ligozat: Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition 2003: 348-371
44EEPhilippe Balbiani, Jean-François Condotta, Gérard Ligozat: On the Consistency Problem for the INDU Calculus. TIME 2003: 203-211
43EEPhilippe 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
39EEPhilippe 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)
36EEPhilippe 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
33EEPhilippe Balbiani, Dimiter Vakarelov: First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. ECSQARU 2001: 772-781
32EEPhilippe 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
28EEPhilippe 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
23EEPhilippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani: Reasoning about Generalized Intervals. AIMSA 1998: 50-61
22EEPhilippe 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
13EEPhilippe Balbiani: A Modal Logic for Data Analysis. MFCS 1996: 167-179
1994
12EEPhilippe 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
8EEPhilippe 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
4EEPhilippe 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

1Guillaume Aucher [73]
2Rania El Baida [46]
3Alexandru Baltag [65]
4Salem Benferhat [46]
5Jan Broersen [72]
6Julien Brunel [72]
7Luis Fariñas del Cerro [1] [9] [14] [16] [18] [21] [23] [26] [27] [36] [42] [73]
8Khalil Challita [50]
9Fahima Cheikh [52]
10Yannick Chevalier [71]
11Jean-François Condotta [21] [23] [26] [27] [28] [36] [38] [39] [44] [45] [56]
12Frédéric Cuppens [46]
13Stéphane Demri [17]
14Yves Deswarte [46]
15Hans P. van Ditmarsch [65] [66]
16Amal El Fallah-Seghrouchni [22]
17Valentin Goranko [34] [64]
18Fatima Harb [59]
19Andreas Herzig [1] [5] [10] [42] [63] [65] [66] [73]
20T. Hoshi [65]
21Marwa El Houri [71]
22Petar Iliev [68]
23Ali Kaafarani [59]
24Anas Abou El Kalam [46] [74]
25Ruaan Kellerman [64]
26Gérard Ligozat (Gerard Ligozat) [28] [44] [45] [56]
27Tiago De Lima [65] [66]
28Mamede Lima-Marques [5]
29Alexandre Miège [46]
30Ewa Orlowska [25]
31Aomar Osmani [23] [29]
32Claire Saurel [46]
33Ilya Shapirovsky [57]
34Valentin B. Shehtman [57]
35Nobu-Yuki Suzuki [40] [47]
36Tinko Tinchev [14] [16] [49] [55] [60] [61] [69]
37Nicolas Troquard [63]
38Gilles Trouessin [46]
39Dimiter Vakarelov [14] [16] [20] [31] [33] [37] [41] [48] [61] [62] [64] [68]
40Frank Wolter [40] [47]
41Michael Zakharyaschev [40] [47]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)