106 articles – 48 Notices  [english version]
.:. Consultation > Liste par domaine > Intelligence artificielle .:.
11 documents classés par :
fulltext access Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
Alenda R., Olivetti N., Schwind C.
[hal-00358841 - version 1] (05/02/2009)
fulltext access Remarks on Inheritance Systems
Schlechta K.
[hal-00117112 - version 4] (19/08/2007)
fulltext access A first-order Temporal Logic for Actions
Schwind C.
[hal-00146353 - version 1] (14/05/2007)
fulltext access Complétude des extensions en arbres de théories
Djelloul K., Dao T.-B.-H.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085774 - version 1]
fulltext access Résolution de contraintes du premier ordre dans la théorie des arbres évalués
Dao T.-B.-H., Djelloul K.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085773 - version 1]
fulltext access Ordonnancement de véhicules: une approche par recherche locale à grand voisinage
Estellon B., Gardi F., Nouioua K.
Premières Journées Francophones de Programmation par Contraintes, (2005) [inria-00000071 - version 1]
fulltext access Preferential and Preferential-discriminative Consequence relations
Ben-Naim J.
Journal of Logic and Computation 15 (2005) number 3, pp. 263-294 [hal-00005232 - version 6]
fulltext access Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees
Colmerauer A., Dao T.-B.-H.
Constraints 8, 3 (2003) 283-302 [hal-00144931 - version 1]
Évaluer des systèmes de compréhension de textes
Blache P., Guizol J., Lévy F., Nazarenko A., N'Guema S., Rolbert M., Pasero R., Sabatier P.
In Ressources et évaluation en ingénierie de la langue (2001) 265-275 [hal-00088702 - version 1]
fulltext access Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees
Colmerauer A., Dao T.-B.-H.
In Principles and Practice of Constraint Programming - CP 2000: 6th International Conference, CP 2000, Singapore, September 2000. Proceedings - Principles and Practice of Constraint Programming - CP 2000, Singapore (2000) [hal-00144924 - version 1]
fulltext access Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis
Dao T.-B.-H.
In Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France. Hermes 2000, ISBN 2-7462-0147-X - JFPLC, France (2000) [hal-00144920 - version 1]