Publications

Publications de Philippe BALBIANI

Articles dans des revues internationales Articles dans des revues nationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture
  • Philippe Balbiani, Cigdem Gencer, Mojtaba Mojtahedi, Maryam Rostamigiv, Tinko Tinchev

    A gentle introduction to unification in modal logics (regular paper)

    Dans : Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Toulouse, 01/07/2019-03/07/2019, AFIA : Association Francaise d’Intelligence Artificielle, (support électronique), 2019.

    Résumé Accès : https://hal.archives-ouvertes.fr/hal-02301934
    BibTeX

  • Philippe Balbiani

    Test de cohérence sur des graphes de contraintes entre hyperintervalles (regular paper)

    Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2010), Caen (France), 19/01/2010-22/01/2010, M.-O. Cordier, J.-M. Jolion (Eds.), AFRIF-AFIA, (support électronique), 2010.

    Résumé
    BibTeX

  • Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade

    Résultats de complexité pour le problème de la composition d’agents (regular paper)

    Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2009), Lannion, France, 03/06/2009-05/06/2009, Nicolas Maudet , Pierre-Yves Schobben , Marc Guyomaud (Eds.), Université de Rennes 1, p. 25-34, 2009.

    BibTeX

  • Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade

    Considérations relatives à la décidabilité et à la complexité du problème de la composition de services.

    Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/2007-01/06/2007, Annales du LAMSADE, p. 261-268, 2007.

    BibTeX

  • Philippe Balbiani

    Vers un marquage spatio-temporel des documents électroniques

    Dans : Symposium sur la sécurité des technologies de l’information et des communications, Rennes, 01/01/2007-31/12/2007, P. Biondi (Eds.), Ecole Supérieure et d’Application des Transmissions, p. 3-12, 2007.

    BibTeX

  • Philippe Balbiani

    Logique déontique de l’action : validation des systèmes de protection

    Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Tours (France), 01/01/2006-31/01/2006, P. Bouthemy, Y. Demazeau (Eds.), AFRIF-AFIA, (support électronique), 2006.

    BibTeX

  • Philippe Balbiani

    Constitution et développement d’une logique des modalités aléthiques, déontiques, dynamiques, et temporelles en vue de la formalisation du raisonnement sur les actions et sur les normes

    Dans : Modèles formels de l’interaction, Caen (France), 01/05/2005-31/05/2005, A. Herzig, Y. Lespérance, A.-I. Mouaddib (Eds.), Cépaduès Editions, p. 23-33, 2005.

    BibTeX

  • Philippe Balbiani

    Raisonner à propos des droites et des cercles : réseaux de contraintes et systèmes déductifs

    Dans : 14e congrès reconnaissance des formes et intelligence artificielle (RFIA 2004), Toulouse, 01/01/2004-31/12/2004, J. Charlet, M. Dhome (Eds.), Afrif-Afia, janvier 2004.

    BibTeX

  • Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat

    Le problème de la cohérence des réseaux de contraintes du formalisme INDU

    Dans : Neuvièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2003), France, 01/01/2003-31/12/2003, T. Schiex (Eds.), Université de Picardie Jules Verne – Laboratoire de recherche en informatique d’Amiens, p. 23-37, janvier 2003.

    BibTeX

  • Laszlo Aszalos, Philippe Balbiani

    Parallel dynamic logic with communication

    Dans : MFI’03, Modèles formels de l’interaction, France, 01/01/2003-31/12/2003, A. Herzig, B. Chaib-draa (Eds.), Cépaduès, p. 11-18, janvier 2003.

    BibTeX

  • Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Al. Et

    Modèles et politiques de sécurité des systèmes d’information et de communication en santé et en social

    Dans : Giseh 2003, xxx, 01/01/2003-31/12/2003, xxx, janvier 2003.

    BibTeX

  • Philippe Balbiani, Jean-Francois Condotta

    Une logique temporelle pour décrire l’évolution des positions relatives des agents dans l’espace

    Dans : 1ères journées francophones des modèles formels de l’interaction (MFI 2001), Toulouse, 01/01/2001-31/12/2001, B. Chaib-draa, P. Enjalbert (Eds.), Université des sciences sociales – Toulouse 1, p. 181-192, janvier 2001.

    BibTeX

  • Philippe Balbiani, Jean-Francois Condotta

    Une logique pour le raisonnement spatio-temporel basée sur PLTL et l’algèbre des rectangles

    Dans : Journées nationales sur les modèles de raisonnement (JNMR 2001), France, 01/01/2001-31/12/2001, A. Herzig (Eds.), PRC-GDR I3, p. 9-21, janvier 2001.

    BibTeX

  • Philippe Balbiani, Aomar Osmani

    Raisonnement qualitatif à propos des arcs de cercles

    Dans : 12e congrès reconnaissance des formes et intelligence artificielle (RFIA 2000), France, 01/01/2000-31/12/2000, R. Deriche, M.-C. Rousset (Eds.), Afrif-Afia, p. 69-78, janvier 2000.

    BibTeX

  • Philippe Balbiani, Philippe Muller

    Le raisonnement spatial

    Dans : Le temps, l’espace et l’évolutif en sciences du traitement de l’information, Marseille, 01/09/2000-30/09/2000, Henri Prade, Robert Jeansoulin, Catherine Garbay (Eds.), CEPAD, p. 33-53, septembre 2000.

    BibTeX

  • Philippe Balbiani

    Représentation logique et traitement algorithmique du temps et de l’espace

    Dans : Sixièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2000), Marseille, 01/06/2000-30/06/2000, Christian Bessière (Eds.), Laboratoire d’informatique de Marseille, p. 9-28, juin 2000.

    BibTeX

  • Philippe Balbiani, Aomar Osmani

    Représentation et raisonnement sur les intervalles cycliques

    Dans : Journées nationales sur les modèles de raisonnement (JNMR 1999), France, 01/01/1999-31/12/1999, M.-C. Rousset (Eds.), XXX, janvier 1999.

    BibTeX

  • Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro

    Raisonement qualitatif a propos des points de l’espace

    Dans : Cinquiemes journees nationales sur la resolution pratique deproblemes NP-complets, Lyon, 01/01/1999-31/12/1999, Insa de Lyon, p. 139-149, janvier 1999.

    BibTeX

  • Philippe Balbiani

    La logique déontique du temps abstrait

    Dans : 10e congrès reconnaissance des formes et intelligence artificielle (RFIA 1996), France, 01/01/1996-31/12/1996, M. Ghallab (Eds.), Afcet-Afia, p. 1013-1021, janvier 1996.

    BibTeX

  • Philippe Balbiani, Anne Lopez

    Simplification des figures de la géométrie affine plane

    Dans : 9e congrès reconnaissance des formes et intelligence artificielle (RFIA 1994), France, 01/01/1994-31/12/1994, A. Gagalowicz (Eds.), Afcet-Afia, p. 1013-1021, janvier 1994.

    BibTeX

  • Philippe Balbiani

    Sur la finitude des dérivations de la programmation en logique

    Dans : 1ères journées francophones sur la programmation en logique (JFPL 1992), France, 01/01/1992-31/12/1992, J.-P. Delahaye, P. Devienne, P. Mathieu, P. Yim (Eds.), Laboratoire d’informatique fondamentale de Lille, p. 194-209, janvier 1992.

    BibTeX

  • Philippe Balbiani

    Qu’est-ce que la démontrabilité dans un programme logique

    Dans : 8e congrès reconnaissance des formes et intelligence artificielle (RFIA 1991), France, 01/01/1991-31/12/1991, J.-P. Laurent (Eds.), Afcet, p. 731-739, janvier 1991.

    BibTeX

Conférences sans actes publiés Livres (monographies) Rédaction de numéros spéciaux de revues Rédaction d’actes de conférences et de workshops Contributions à des ouvrages de synthèse Rapports Thèses et habilitations
  • Philippe Balbiani

    Représentation logique et traitement algorithmique de l’espace

    Habilitation à diriger des recherches, Université Paris-Nord, Villetaneuse, 1999.

    BibTeX

  • Philippe Balbiani

    Une caractérisation modale de la sémantique des programmes logiques avec négation

    Thèse de doctorat, Université Paul Sabatier, 1991.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant