Institut de Recherche en Informatique de Toulouse

Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Balbiani Philippe

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Livres (monographies) / Books (monographs)

Numéros spéciaux de revues / Special issues of journal

Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers
  • 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 / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • 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

 

 


© 2017 LILaC