 | 2009 |
|---|
| 75 |       | Philippe Balbiani:
Axiomatization and Completeness of Lexicographic Products of Modal Logics.
FroCos 2009: 165-180 |
| 74 | | Anas Abou El Kalam,
Philippe Balbiani:
A Policy Language for Modelling Recommendations.
SEC 2009: 176-189 |
| 73 | | 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) |
| 72 | | 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 |
|---|
| 71 | | Philippe 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 |
| 69 | | Philippe Balbiani,
Tinko Tinchev:
Boolean Logics with Relations.
RelMiCS 2008: 4-21 |
| 68 | | 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) |
| 67 | | Philippe Balbiani:
Logical approaches to deontic reasoning: From basic questions to dynamic solutions.
Int. J. Intell. Syst. 23(10): 1021-1045 (2008) |
| 2007 |
|---|
| 66 | | Philippe Balbiani,
Hans P. van Ditmarsch,
Andreas Herzig,
Tiago De Lima:
A Tableau Method for Public Announcement Logics.
TABLEAUX 2007: 43-59 |
| 65 | | 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 |
| 64 | | Philippe Balbiani,
Valentin Goranko,
Ruaan Kellerman,
Dimiter Vakarelov:
Logical Theories for Fragments of Elementary Geometry.
Handbook of Spatial Logics 2007: 343-428 |
| 63 | | Philippe Balbiani,
Andreas Herzig,
Nicolas Troquard:
Alternative axiomatics and complexity of deliberative STIT theories
CoRR abs/0704.3238: (2007) |
| 62 | | Philippe Balbiani,
Dimiter Vakarelov:
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems.
Fundam. Inform. 75(1-4): 1-25 (2007) |
| 61 | | Philippe Balbiani,
Tinko Tinchev,
Dimiter Vakarelov:
Modal Logics for Region-based Theories of Space.
Fundam. Inform. 81(1-3): 29-82 (2007) |
| 60 | | Philippe Balbiani,
Tinko Tinchev:
Line-based affine reasoning in Euclidean plane.
J. Applied Logic 5(3): 421-434 (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 |
