Modeling and using context : :: SCD d'Orléans

Modeling and using context : third international conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : proceedings

Modeling and using context : third international conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : proceedings

Context has emerged as a central concept in a variety of contemporary app- aches to reasoning. The conference at which the papers in this volume were presented was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001. The...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International and Interdisciplinary Conference on Modeling and Using Context :Dundee, Angleterre
Altri autori:	Akman, Varol, 1957- (Direttore editoriale), Bouquet, Paolo (Direttore editoriale), Thomason, Richmond H., 1939- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science. Lecture notes in artificial intelligence 2116
Soggetti:	Informatique Simulation par ordinateur Intelligence artificielle Contexte (linguistique) Logique symbolique et mathématique Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Modeling and using context, third international conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001, proceedings, Varol Akman, Paolo Bouquet, Richmond H. Thomason ... [et al.], eds, 2001, New York, Springer, 1 vol. (XII-472 p.), Lecture notes in artificial intelligence, 3-540-42379-6 • Modeling and Using Context, Texte imprimé, 9783662208243

Documenti analoghi

Modeling and using context : second international and interdisciplinary conference, CONTEXT'99, Trento, Italy, September 9-11, 1999 : proceedings

Modeling and using context : 4th International and Interdisciplinary Conference CONTEXT 2003, Stanford, CA, USA, June 23 25, 2003 : proceedings

Modeling Decisions for Artificial Intelligence : First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004. Proceedings

Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
di: Lawry, Jonathan

Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers

Automated modeling of physical systems
di: Nayak, P. Pandurang

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Computer aided systems theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
di: Furukawa, Kōichi, 1938-

Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 2001 : proceedings

Principles and practice of constraint programming - CP 2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 December 1, 2001 : proceedings

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
di: Furukawa, Kōichi, 1938-

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
di: Alferes, José Júlio, 1966-

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 November 1, 1997 : proceedings

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
di: Gabbay, Dov M., 1945-

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Principles and practice of constraint programming : CP 2004 : 10th international conference, CP 2004 Toronto, Canada, September 27 - October 1, 2004 : proceedings

Principles and practice of constraint programming - CP98 : 4th international conference, CP98, Pisa, Italy, October 26-30, 1998 : proceedings

Logic programming : ; proceedings 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001

Principles and practice of constraint programming - CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings

Natural language generation : Third international conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004 : proceedings
di: Belz, Anja

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers

Functional imaging and modeling of the heart : first international workshop, FIMH 2001, Helsinki, Finland, November 2001 : proceedings

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings
di: Althoff, Klaus-Dieter, 1957-

Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 August 2, 2001 : proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Automatic ambiguity resolution in natural language processing : an empirical approach
di: Franz, Alexander, 1966-

Constraints in computational logics : theory and applications : International Summer School, CCL 99, Gif-sur-Yvette, France, September 5 8, 1999 : revised lectures

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings
di: Marek, Victor W., 1943-

Principles and practice of constraint programming CP 2000 : 6th International Conference, CP 2000, Singapore, September 18 21, 2000 : proceedings

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Principles and practice of constraint programming CP 2003 : 9th international conference, CP 2003, Kinsale, Ireland, September 29-October 3, 2003 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales