301 |
A linguistic interpretation of affirmative or negative information in declarative modeling in image analysis
|
|
|
|
In: Symposium on Intelligent Information Systems (IIS'98) ; https://hal.inria.fr/hal-00816862 ; Symposium on Intelligent Information Systems (IIS'98), Jun 1998, Malbork, Poland (1998)
|
|
BASE
|
|
Show details
|
|
302 |
Constraints over Lambda-Structures in Semantic Underspecification
|
|
|
|
In: Joined 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING/ACL'98) ; https://hal.inria.fr/inria-00536807 ; Joined 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING/ACL'98), 1998, Montreal, Canada. pp.353--359 (1998)
|
|
BASE
|
|
Show details
|
|
303 |
Ordering Constraints over Feature Trees
|
|
|
|
In: 3rd International Conference on Principles and Practice of Constraint Programming ; https://hal.inria.fr/inria-00536815 ; 3rd International Conference on Principles and Practice of Constraint Programming, 1997, Schloss Hagenberg, Linz, Austria. pp.297--311 (1997)
|
|
BASE
|
|
Show details
|
|
304 |
On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting
|
|
|
|
In: Proceedings of the International Conference on Automated Deduction ; https://hal.inria.fr/inria-00536822 ; Proceedings of the International Conference on Automated Deduction, 1997, Townsville, Australia. pp.34-48 (1997)
|
|
BASE
|
|
Show details
|
|
305 |
A Uniform Approach to Underspecification and Parallelism
|
|
|
|
In: 35th Annual Meeting of the Association of Computational Linguistics ; https://hal.inria.fr/inria-00536821 ; 35th Annual Meeting of the Association of Computational Linguistics, 1997, Madrid, Spain. pp.410-417 (1997)
|
|
BASE
|
|
Show details
|
|
306 |
Fondements de la révision dans un langage d'objets simple
|
|
|
|
In: Actes 3e journées sur langages et modèles à objets (LMO) ; 3e journées sur langages et modèles à objets (LMO) ; https://hal.archives-ouvertes.fr/hal-01401168 ; 3e journées sur langages et modèles à objets (LMO), Oct 1996, Leysin, Suisse. pp.134-149 (1996)
|
|
BASE
|
|
Show details
|
|
|
|