The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philippe Balbiani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philippe Balbiani
    Emptiness Relations in Property Systems. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:15-34 [Conf]
  2. Philippe Balbiani, Dimiter Vakarelov
    Extending arrow logic. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:13-17 [Conf]
  3. Philippe Balbiani, Luis Fariñas del Cerro
    Affine Geometry of Collinearity and Conditional Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Term Rewriting, 1993, pp:196-213 [Conf]
  4. Philippe Balbiani
    A Uniform Approach to Modelling Timed Protection. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence and Applications, 2005, pp:219-224 [Conf]
  5. Philippe Balbiani
    An expressive two-sorted spatial logic for plane projective geometry. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:49-68 [Conf]
  6. Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman
    Every world can see a Sahlqvist world. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:69-85 [Conf]
  7. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
    Editorial Preface. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:- [Conf]
  8. Philippe Balbiani, Khalil Challita
    Solving Constraints Between Lines in Euclidean Geometry. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2004, pp:148-157 [Conf]
  9. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
    Reasoning about Generalized Intervals. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:50-61 [Conf]
  10. Philippe Balbiani
    The Finiteness of Logic Programming Derivations. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:403-419 [Conf]
  11. Philippe Balbiani
    Equation Solving in Projective Planes and Planar Ternary Rings. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:95-113 [Conf]
  12. Philippe Balbiani
    Equation Solving in Geometrical Theories. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:31-50 [Conf]
  13. Philippe Balbiani, Dimiter Vakarelov
    First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:772-781 [Conf]
  14. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:75-89 [Conf]
  15. Philippe Balbiani
    Modal Logics with Relative Accessibility Relations. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:29-42 [Conf]
  16. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
    Geometrical Structures and Modal Logic. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:43-57 [Conf]
  17. Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
    Declarative Semantics for Modal Logic Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:507-514 [Conf]
  18. Philippe Balbiani, Jean-François Condotta
    Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:162-176 [Conf]
  19. Philippe Balbiani, Amal El Fallah-Seghrouchni
    A Modal Logic for Reasoning about Beliefs, Desires and Intentions of Complex Agents in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1998, pp:387-388 [Conf]
  20. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    A New Tractable Subclass of the Rectangle Algebra. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:442-447 [Conf]
  21. Philippe Balbiani, Stéphane Demri
    Prefixed Tableaux Systems for Modal Logics with Enriched Languages. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:190-195 [Conf]
  22. Philippe Balbiani
    Non-monotonic Reasoning and Modal Logic, from Negation as Failure to Default Logic. [Citation Graph (0, 0)][DBLP]
    IPMU, 1990, pp:223-231 [Conf]
  23. Philippe Balbiani, Tinko Tinchev
    Line-Based Affine Reasoning in Euclidean Plane. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:474-486 [Conf]
  24. Philippe Balbiani
    Sur la finitude des dérivations de la programmation en logique. [Citation Graph (0, 0)][DBLP]
    JFPL, 1992, pp:194-209 [Conf]
  25. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    A Model for Reasoning about Bidemsional Temporal Relations. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:124-130 [Conf]
  26. Philippe Balbiani, Aomar Osmani
    A Model for Reasoning about Topologic Relations between cyclic intervals. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:378-385 [Conf]
  27. Philippe Balbiani
    A Modal Logic for Data Analysis. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:167-179 [Conf]
  28. Philippe Balbiani, Fahima Cheikh
    Safety Problems in Access Control with Temporal Constraints. [Citation Graph (0, 0)][DBLP]
    MMM-ACNS, 2005, pp:165-178 [Conf]
  29. Philippe Balbiani, Andreas Herzig, Mamede Lima Marques
    TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:366-382 [Conf]
  30. 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. [Citation Graph (0, 0)][DBLP]
    POLICY, 2003, pp:120-0 [Conf]
  31. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
    Reasoning about Cyclic Space: Axiomatic and Computational Aspects. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2003, pp:348-371 [Conf]
  32. Philippe Balbiani
    A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. [Citation Graph (0, 0)][DBLP]
    STACS, 1991, pp:523-534 [Conf]
  33. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
    Reasoning about Generalized Intervals: Horn Representability and Tractability. [Citation Graph (0, 0)][DBLP]
    TIME, 2000, pp:23-30 [Conf]
  34. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
    On the Consistency Problem for the INDU Calculus. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:203-211 [Conf]
  35. Philippe Balbiani
    Access Control with Uncertain Surveillance. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2005, pp:778-781 [Conf]
  36. Philippe Balbiani, Dimiter Vakarelov
    Dynamic extensions of arrow logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:1-15 [Journal]
  37. Philippe Balbiani, Jean-François Condotta
    Spatial Reasoning About Points in a Multidimensional Setting. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 2002, v:17, n:3, pp:221-238 [Journal]
  38. Philippe Balbiani, Dimiter Vakarelov
    A Modal Logic for Indiscernibility and Complementarity in Information Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:50, n:3-4, pp:243-263 [Journal]
  39. Philippe Balbiani
    Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:56, n:3, pp:211-242 [Journal]
  40. Philippe Balbiani
    A modal semantics of negation in logic programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:3-4, pp:231-262 [Journal]
  41. Philippe Balbiani, Dimiter Vakarelov
    Iteration-free PDL with Intersection: a Complete Axiomatization. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:45, n:3, pp:173-194 [Journal]
  42. Philippe Balbiani, Dimiter Vakarelov
    Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:75, n:1-4, pp:1-25 [Journal]
  43. Philippe Balbiani
    A new proof of completeness for a relative modal logic with composition and intersection. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2001, v:11, n:3-4, pp:269-280 [Journal]
  44. Philippe Balbiani
    Foreword. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:317-318 [Journal]
  45. Philippe Balbiani
    The modal multilogic of geometry. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:3, pp:- [Journal]
  46. Philippe Balbiani
    Inequality without irreflexivity. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:9, n:4, pp:- [Journal]
  47. Philippe Balbiani, Luis Fariñas del Cerro
    Complete axiomatization of a relative modal logic with composition and intersection. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:4, pp:- [Journal]
  48. Philippe Balbiani, Valentin Goranko
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:365-398 [Journal]
  49. Philippe Balbiani, Andreas Herzig
    A translation from the modal logic of provability into K4. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1994, v:4, n:1, pp:- [Journal]
  50. Philippe Balbiani, Ewa Orlowska
    A hierarchy of modal logics with relative accessibility relations. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1999, v:9, n:2-3, pp:- [Journal]
  51. Philippe Balbiani, Dimiter Vakarelov
    PDL with Intersection of Programs: A Complete Axiomatization. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:231-276 [Journal]
  52. Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig
    Foreword. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:1, pp:7-8 [Journal]
  53. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
    On the consistency problem for the INDU calculus. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:2, pp:119-140 [Journal]
  54. Philippe Balbiani
    Modal Logic and Negation as Failure. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:3, pp:331-356 [Journal]
  55. Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
    Tractability Results in the Block Algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:5, pp:885-909 [Journal]
  56. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
    Modal Logics for Incidence Geometries. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:1, pp:59-78 [Journal]
  57. Philippe Balbiani, Tinko Tinchev
    Definability Over the Class of all Partitions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:5, pp:541-557 [Journal]
  58. Philippe Balbiani
    A formal examination of roles and permissions in access control. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2005, pp:96- [Conf]
  59. Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
    A Tableau Method for Public Announcement Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:43-59 [Conf]
  60. Philippe Balbiani, Andreas Herzig, Nicolas Troquard
    Alternative axiomatics and complexity of deliberative STIT theories [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  61. Philippe Balbiani, Tinko Tinchev
    Line-based affine reasoning in Euclidean plane. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:3, pp:421-434 [Journal]

  62. Boolean Logics with Relations. [Citation Graph (, )][DBLP]


  63. Access control with prohibitions and obligations. [Citation Graph (, )][DBLP]


  64. A Logical Approach to Dynamic Role-Based Access Control. [Citation Graph (, )][DBLP]


  65. Tools and Techniques in Qualitative Reasoning about Space. [Citation Graph (, )][DBLP]


  66. Axiomatization and Completeness of Lexicographic Products of Modal Logics. [Citation Graph (, )][DBLP]


  67. A Dynamic Logic for Termgraph Rewriting. [Citation Graph (, )][DBLP]


  68. Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. [Citation Graph (, )][DBLP]


  69. A Policy Language for Modelling Recommendations. [Citation Graph (, )][DBLP]


  70. What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. [Citation Graph (, )][DBLP]


  71. Composition of Interactive Web Services Based on Controller Synthesis. [Citation Graph (, )][DBLP]


  72. A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. [Citation Graph (, )][DBLP]


  73. A Modal Logic for Termgraph Rewriting [Citation Graph (, )][DBLP]


  74. Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. [Citation Graph (, )][DBLP]


  75. Global and Local Graph Modifiers. [Citation Graph (, )][DBLP]


  76. Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. [Citation Graph (, )][DBLP]


  77. Controller/Orchestrator Synthesis via Filtration. [Citation Graph (, )][DBLP]


  78. Composition of Services with Constraints. [Citation Graph (, )][DBLP]


Search in 0.043secs, Finished in 0.047secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002