%----------------------------------
%Conferences



@inproceedings{Kuhna94a,
author={Pascale Kuhna},
title={Circonscription et mod\`eles minimaux},
booktitle={Actes du 9\`eme congr\`es AFCET Reconnaissance des Formes et Intelligence Artificielle}, 
year=1994,
}





@inproceedings{Messaoudi94,
AUTHOR = {Nadia Messaoudi},
TITLE = {Constructing Extensions with Matricial Resolution}, 
BOOKTITLE = {Congr\'es AIMSA},
YEAR = 1994,
month = {Septembre},
address = {Sofia, Bulgarie},
}




@inproceedings{LaurentPhanLuongSpyratos94,
author = {D. Laurent and V. {Phan Luong} and N. Spyratos},
title = {Une nouvelle approche des mises \`a jour des bases de donn\'ees},
booktitle = {Actes du deuxi\`eme Colloque Africain sur la Recherche en Informatique (CARI'94)},
year = 1994,
address = {Ouagadougou, Burkina-Faso},
month = {Octobre},
}

@inproceedings{LeMaitre94,
author = {J. {Le Maitre}},
title = {Towards Object-Oriented Databases},
booktitle = {Proceedings of the International Conference on Object-Oriented Information 
           Systems (OOIS'94)},
   publisher = {Springer, Verlag},
pages = {496--499},
address = {London, UK},
month = {D\'ecembre},
year = 1994,
}



@inproceedings{PaseroSabatier94b,
author = "R. Pasero and P. Sabatier",
title = "ILLICO for Natural Language Interfaces",
booktitle ="Proceedings of the First Language Engineering Convention (LEC)",
pages = {99--103},
address = "Paris",
year = 1995}



@inproceedings{Sais94a,
author = "L. Sais",
Title = "Characterisation of the set of models by means of symetries",
booktitle = "Second Workshop on the Principles and Practice of Constraint Programming",
address = "Washington, USA",
month = "Mai",
year = 1994}





@inproceedings{Schlechta95g,
author="K. Schlechta", 
title = "A Reduction of the Theory of Confirmation to the Notions of Distance and Measure",
booktitle = "European Conference on Symbolic and Quantitative Approaches to
Reasoning and Uncertainty (ECSQARU-95)",
address ="Fribourg, Suisse", 
month ="Juillet",
 year = 1995}






@inproceedings{Imbert:94b,
author = "Jean-Louis Imbert",
title = "Solved Forms for Linear Constraints in {CLP} Languages",
editor = "P. Jorrand and V. Sgurev ",
booktitle = "{AIMSA}'94. Proceedings of the Sixth International 
Conference on Artificial Intelligence: Methodology, Systems, 
Applications",
address = "Sofia, Bulgarie",
publisher = "World Scientific",
month = "Septembre",
pages = "77--90",
year = 1994}

@inproceedings{BenMcAVHe:94,
author = "Fr\'ed\'eric Benhamou, D. {Mc~Allester} and Pascal 
{Van Hentenryck}",
title = "CLP(intervals) revisited",
booktitle = "Proceedings of {ILPS} 94",
publisher = "MIT Press",
address = "Cambridge, USA",
year = 1994}

@inproceedings{Colmerauer:94a,
author = "Alain Colmerauer",
title = "A legal framework for discussing approximate solving of 
constraints",
booktitle = "Proceedings of {INTERVAL} 94",
address = "St. Petersburg, Russie",
month = "Mars",
note = "pr\'esentation avec r\'esum\'e dans des actes informels",
year=1994}