Philippe Balbiani

Livres :

  1. P. Balbiani, V. Dugat, L. Fariñas del Cerro, A. Lopez. Eléments de géométrie mécanique. Hermès (1994).

Ouvrages édités :

  1. P. Balbiani (éditeur). Spatial Logics. Journal of Applied Non-Classical Logics 12 (2002), 317-559.
  2. P. Balbiani, N.-Y. Suzuki,  F. Wolter, M. Zakharyaschev (éditeurs). Advances in Modal Logic, volume 4. King's College (2003).
  3. P. Balbiani (éditeur). Dynamic Logics. Journal of Applied Non-Classical Logics 15 (2005), à paraître.

Revues internationales :
 

  1. P. Balbiani. Modal logic and negation as failure. Journal of Logic and Computation 1 (1991), 331-356.
  2. P. Balbiani. Corrigendum. Journal of Logic and Computation 1 (1991), 569-570.
  3. P. Balbiani. A modal semantics of negation in logic programming. Fundamenta Informaticæ 16 (1992), 231-262.
  4. P. Balbiani, A. Herzig. A translation from the modal logic of provability into K4. Journal of Applied Non-Classical Logics 4 (1994), 73-77.
  5. P. Balbiani, L. Fariñas del Cerro. A relational model of movement. Logique et Analyse 155--156 (1996), 369-378.
  6. P. Balbiani, L. Fariñas del Cerro, T. Tinchev, D. Vakarelov. Modal logics for incidence geometries. Journal of Logic and Computation 7 (1997), 59-78.
  7. P. Balbiani. The modal multilogic of geometry. Journal of Applied Non-Classical Logics 8 (1998), 259-281.
  8. P. Balbiani, L. Fariñas del Cerro. Complete axiomatization of a relative modal logic with composition and intersection. Journal of Applied Non-Classical Logics 8 (1998), 325-335.
  9. P. Balbiani, E. Orlowska. A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics 9 (1999), 303-328.
  10. P. Balbiani. Inequality without irreflexivity. Journal of Applied Non-Classical Logics 9 (1999), 523-534.
  11. P. Balbiani, D. Vakarelov. Iteration-free PDL with intersection: a complete axiomatization. Fundamenta Informaticæ 45 (2001), 1-22.
  12. P. Balbiani. A new proof of completeness for a relative modal logic with composition and intersection. Journal of Applied Non-Classical Logics 11 (2001), 269-280.
  13. P. Balbiani, D. Vakarelov. A modal logic for indiscernibility and complementarity in information systems. Fundamenta Informaticæ 50 (2002), 1-21.
  14. P. Balbiani. Foreword. Journal of Applied Non-Classical Logics 12 (2002), 317-318.
  15. P. Balbiani, V. Goranko. Modal logics for parallelism, orthogonality, and affine geometries. Journal of Applied Non-Classical Logics 12 (2002), 365-397.
  16. P. Balbiani, J.-F. Condotta. Spatial reasoning about points in a multidimensional setting. Applied Intelligence 17 (2002), 221-238.
  17. P. Balbiani, J.-F. Condotta, L. Fariñas del Cerro. Tractability results in the block algebra. Journal of Logic and Computation 12 (2002), 885-909.
  18. P. Balbiani, D. Vakarelov. PDL with intersection of programs: a complete axiomatization. Journal of Applied Non-Classical Logics 13 (2003), 231-276.
  19. P. Balbiani. Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection. Fundamenta Informaticæ 56 (2003), 211-242.
  20. P. Balbiani, D. Vakarelov. Dynamic extensions of arrow logic. Annals of Pure and Applied Logic 127 (2004), 1-15.
  21. P. Balbiani. Dynamic logics: foreword. Journal of Applied Non-Classical Logics, to appear.
  22. P. Balbiani, J.-F. Condotta, G. Ligozat. On the consistency problem for the INDU calculus. Journal of Applied Logic, to appear.
  23. P. Balbiani. Reasoning about vague concepts in the theory of property systems. Logique et Analyse, to appear.
  24. P. Balbiani. Bipolarity in deontic logics: a survey. International Journal of Intelligent Systems, to appear.
  25. P. Balbiani, T. Tinchev, D. Vakarelov. Dynamic logics of the region-based theory of discrete spaces. Submitted to the Journal of Applied Non-Classical Logics.
  26. P. Balbiani, T. Tinchev. Line-based affine reasoning in Euclidean plane. Submitted to the Journal of Applied Logics.

Revues francophones :
 

  1. P. Balbiani. Mécanisation de la géométrie : incidence et orthogonalité. Revue d'intelligence artificielle 11 (1997), 179-211.
  2. P. Balbiani, S. Benferhat. Dossier << Temps, espace et évolutif >>. Bulletin de l'Afia 51 (2002), 30-40.
  3. A. Abou El Kalam, R. El Baida, P. Balbiani, S. Benferhat, F. Cuppens, Y. Deswarte, A. Miège, C. Saurel, G. Trouessin. ORBAC : un modèle de contrôle d'accés basé sur les organisations. Cahiers francophones de la recherche en sécurité de l'information 2 (2003), 30-40.
  4. P. Balbiani, J.-F. Condotta, G. Ligozat. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. Journal électronique d'intelligence artificielle 2 (2004), 1-14.


Chapitres dans des ouvrages :

zzz

Conférences invitées dans des congrès :

  1. P. Balbiani, L. Fariñas del Cerro. Affine geometry of collinearity and conditional term rewriting. H. Comon, J.-P. Jouannaud (éditeurs), Term Rewriting. Springer-Verlag, Lecture Notes in Computer Science 909 (1995), 196-213.
  2. P. Balbiani. Représentation logique et traitement algorithmique du temps et de l'espace. C. Bessière (éditeur), Sixièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2000). Laboratoire d'informatique de Marseille (2000), 9-28.
  3. P. Balbiani, P. Muller. Le raisonnement spatial. H. Prade, R. Jeansoulin, C. Garbay (éditeurs), Le temps, l'espace et l'évolutif en sciences du traitement de l'information. CEPAD (2000), 33-53.
  4. P. Balbiani. Variants of PDL with intersection of programs. I. Pratt-Hartmann, M. Reynolds, R. Schmidt, H. Wansing (éditeurs), AiML-2004: Advances in Modal Logic. The University of Manchester (2004), 2-4.

Conférences et ateliers internationaux avec comité de lecture et actes (sélection) :
 

  1. P. Balbiani. A modal logic for data analysis. W. Penczek, A. Szalas (éditeurs), Mathematical Foundations of Computer Science 1996 (MFCS 1996). Springer-Verlag, Lecture Notes in Computer Science 1113 (1996), 167-179.
  2. P. Balbiani, S. Demri. Prefixed tableau systems for modal logics with enriched languages. M. Pollack (éditrice), Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997). International Joint Conferences on Artificial Intelligence (1997), 190-195.
  3. P. Balbiani. Terminological modal logic. M. Kracht, M. de Rijke, H. Wansing, M. Zakharyaschev (éditeurs), Advances in Modal Logic, volume 1 (AiML 1996). CSLI Publications, CSLI Lecture Notes 87 (1998), 23-39.
  4. P. Balbiani, A. Elfallah-Seghrouchni. A modal logic for reasoning about beliefs, desires and intentions of complex agents in a distributed environment. Y. Demazeau (éditeurs), Third International Conference on Multi Agent Systems (ICMAS 1998). Institute of Electrical and Electronics Engineers (1998), 387-387.
  5. P. Balbiani, J.-F. Condotta, G. Ligozat. Reasoning about generalized intervals: Horn representability and tractability. S. Goodwin, A. Trudel (éditeurs), Seventh International Workshop on Temporal Representation and Reasoning (TIME 2000). Institute of Electrical and Electronics Engineers (2000), 23-39.
  6. P. Balbiani, D. Vakarelov. First-order characterization and modal analysis of indiscernibility and complementarity in information systems. S. Benferhat, P. Besnard (éditeurs), Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001). Springer-Verlag, Lecture Notes in Artificial Intelligence 2143 (2001), 772-781.
  7. P. Balbiani, J.-F. Condotta. Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. A. Armando (éditeur), Frontiers of Combining Systems (FroCoS 2002). Springer-Verlag, Lecture Notes in Artificial Intelligence 2309 (2002), 162-176.
  8. P. Balbiani. Emptiness relations in property systems. H. de Swart (éditeur), RelMiCS 2001, 6th International Conference on Relational Methods in Computer Science (RelMiCS 2001) Springer-Verlag, Lecture Notes in Computer Science 2561 (2002), 15-34.
  9. A. Abou El Kalam, R. El Baida, P. Balbiani, S. Benferhat, F. Cuppens, Y. Deswarte, A. Miège, C. Saurel, G. Trouessin. Organization based access control. H. Lutfiyya, J. Moffett, F. Garcia (éditeurs), Policies for Distributed Systems and Networks (POLICY 2003). Institute of Electrical and Electronics Engineers (2003), 120-131.
  10. L. Aszalos, P. Balbiani. Logical aspects of user authentication protocols. R. Berghammer, B. Möller (éditeurs), 7th Seminar RelMiCS - 2nd Workshop Kleene Algebra (RelMiCS 2003 - Kleene 2003). Christian-Albrechts-Universität zu Kiel (2003), 277-287.
  11. P. Balbiani, J.-F. Condotta, G. Ligozat. On the consistency problem for the INDU calculus. M. Reynolds, A. Sattar (éditeurs), 10th International Symposium on Temporal Representation and Reasoning - 4th International Conference on Temporal Logic (TIME 2003 - ICTL 2003). Institute of Electrical and Electronics Engineers (2003), 203-211.
  12. P. Balbiani, D. Vakarelov. Preference structures: first-order characterization and modal logic. B. Bouchon-Meunier, G. Coletti, R. Yager (éditeurs), IPMU 2004, Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004). (2004), 943-950.
  13. P. Balbiani, K. Challita. Constraint networks of lines in the Euclidian plane and space. C. Bussler, D. Fensel (éditeurs), Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2004). Springer-Verlag, Lecture Notes in Artificial Intelligence 3192 (2004), 148-157.
  14. P. Balbiani, T. Tinchev. Line-based affine reasoning in Euclidean plane. J. Alferes, J. Leite (éditeurs), Logics in Artificial Intelligence (Jelia 2004). Springer-Verlag, Lecture Notes in Artificial Intelligence 3229 (2004), 474-486.

Conférences et ateliers francophones avec comité de lecture et actes (sélection) :
 

  1. P. Balbiani, A. Osmani. Représentation et raisonnement sur les intervalles cycliques. M.-C. Rousset (éditrice), Journées nationales sur les modèles de raisonnement (JNMR 1999).
  2. P. Balbiani, J.-F. Condotta. Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles. A. Herzig (éditeur), Journées nationales sur les modèles de raisonnement (JNMR 2001). PRC-GDR I3 (2001), 9-21.
  3. P. Balbiani, J.-F. Condotta. Une logique temporelle pour décrire l'évolution des positions relatives des agents dans l'espace. B. Chaib-draa, P. Enjalbert (éditeurs), 1ères journées francophones des modèles formels de l'interaction (MFI 2001). Université des sciences sociales - Toulouse 1 (2001), 181-192.
  4. L. Aszalos, P. Balbiani. Parallel dynamic logic with communication. A. Herzig, B. Chaib-draa, P. Mathieu (éditeurs), MFI'03, Modèles formels de l'interaction (MFI 2003). Cépaduès (2003), 11-18.
  5. P. Balbiani, J.-F. Condotta, G. Ligozat. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. T. Schiex (éditeur), Neuvièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2003). Université de Picardie Jules Verne --- Laboratoire de recherche en informatique d'Amiens (2003), 23-37.
  6. P. Balbiani. Raisonner à propos des droites et des cercles : réseaux de contraintes et systèmes déductifs. J. Charlet, M. Dhome (éditeurs), 14e congrès reconnaissance des formes et intelligence artificielle (RFIA 2004). Afrif-Afia (2004).

Miscellanées :
 

  1. zzz