Search the dblp DataBase
Philippe Balbiani :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Philippe Balbiani Emptiness Relations in Property Systems. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2001, pp:15-34 [Conf ] Philippe Balbiani , Dimiter Vakarelov Extending arrow logic. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:13-17 [Conf ] 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 ] Philippe Balbiani A Uniform Approach to Modelling Timed Protection. [Citation Graph (0, 0)][DBLP ] Artificial Intelligence and Applications, 2005, pp:219-224 [Conf ] 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 ] 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 ] Philippe Balbiani , Nobu-Yuki Suzuki , Frank Wolter , Michael Zakharyaschev Editorial Preface. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:- [Conf ] Philippe Balbiani , Khalil Challita Solving Constraints Between Lines in Euclidean Geometry. [Citation Graph (0, 0)][DBLP ] AIMSA, 2004, pp:148-157 [Conf ] 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 ] Philippe Balbiani The Finiteness of Logic Programming Derivations. [Citation Graph (0, 0)][DBLP ] ALP, 1992, pp:403-419 [Conf ] Philippe Balbiani Equation Solving in Projective Planes and Planar Ternary Rings. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:95-113 [Conf ] Philippe Balbiani Equation Solving in Geometrical Theories. [Citation Graph (0, 0)][DBLP ] CTRS, 1994, pp:31-50 [Conf ] 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 ] 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 ] Philippe Balbiani Modal Logics with Relative Accessibility Relations. [Citation Graph (0, 0)][DBLP ] FAPR, 1996, pp:29-42 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Philippe Balbiani , Tinko Tinchev Line-Based Affine Reasoning in Euclidean Plane. [Citation Graph (0, 0)][DBLP ] JELIA, 2004, pp:474-486 [Conf ] Philippe Balbiani Sur la finitude des dérivations de la programmation en logique. [Citation Graph (0, 0)][DBLP ] JFPL, 1992, pp:194-209 [Conf ] 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 ] 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 ] Philippe Balbiani A Modal Logic for Data Analysis. [Citation Graph (0, 0)][DBLP ] MFCS, 1996, pp:167-179 [Conf ] Philippe Balbiani , Fahima Cheikh Safety Problems in Access Control with Temporal Constraints. [Citation Graph (0, 0)][DBLP ] MMM-ACNS, 2005, pp:165-178 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Philippe Balbiani Access Control with Uncertain Surveillance. [Citation Graph (0, 0)][DBLP ] Web Intelligence, 2005, pp:778-781 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Philippe Balbiani Foreword. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:317-318 [Journal ] 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 ] Philippe Balbiani Inequality without irreflexivity. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1999, v:9, n:4, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Philippe Balbiani A formal examination of roles and permissions in access control. [Citation Graph (0, 0)][DBLP ] AICCSA, 2005, pp:96- [Conf ] 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 ] 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 ] 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 ] Boolean Logics with Relations. [Citation Graph (, )][DBLP ] Access control with prohibitions and obligations. [Citation Graph (, )][DBLP ] A Logical Approach to Dynamic Role-Based Access Control. [Citation Graph (, )][DBLP ] Tools and Techniques in Qualitative Reasoning about Space. [Citation Graph (, )][DBLP ] Axiomatization and Completeness of Lexicographic Products of Modal Logics. [Citation Graph (, )][DBLP ] A Dynamic Logic for Termgraph Rewriting. [Citation Graph (, )][DBLP ] Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis. [Citation Graph (, )][DBLP ] A Policy Language for Modelling Recommendations. [Citation Graph (, )][DBLP ] What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. [Citation Graph (, )][DBLP ] Composition of Interactive Web Services Based on Controller Synthesis. [Citation Graph (, )][DBLP ] A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. [Citation Graph (, )][DBLP ] A Modal Logic for Termgraph Rewriting [Citation Graph (, )][DBLP ] Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. [Citation Graph (, )][DBLP ] Global and Local Graph Modifiers. [Citation Graph (, )][DBLP ] Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. [Citation Graph (, )][DBLP ] Controller/Orchestrator Synthesis via Filtration. [Citation Graph (, )][DBLP ] Composition of Services with Constraints. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.458secs