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

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

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

This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT 99), held in Trento (Italy) from 9 to 11 September 1999. CONTEXT 99 is the second in the CONTEXT series. The rst was held in Rio de Janeiro (Brazil) in 1997....

Full beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	International and Interdisciplinary Conference on Modeling and Using Context :Trente, Italie
Övriga upphovsmän:	Bouquet, Paolo (Chefredaktör, huvudredaktör), Serafini, Luciano, 1964- (Chefredaktör, huvudredaktör), Brézillon, Patrick, 1949- (Chefredaktör, huvudredaktör)
Materialtyp:	Livre numérique
Språk:	Anglais
Publicerad:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science. Lecture notes in artificial intelligence 1688
Ämnen:	Informatique Simulation par ordinateur Intelligence artificielle Contexte (linguistique) Logique symbolique et mathématique Actes de congrès
Länkar:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmärkning:	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, second international and interdisciplinary conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, proceedings, Paolo Bouquet, Luciano Serafini, Patrick Brézillon... [et al.], eds, 1999, New York, Springer, 1 vol. (XII-528 p.), Lecture notes in artificial intelligence, 3-540-66432-7 • Modeling and Using Context, Texte imprimé, 9783662197035

Liknande verk

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

Modeling and using context : third international conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : 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
av: Lawry, Jonathan

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

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

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

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

Advances in artificial life : 5th European Conference, ECAL'99, Lausanne, Switzerland, September, 1999 : proceedings

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

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

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

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

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

Principles and practice of constraint programming : CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : Proceedings
av: Van Hentenryck, Pascal, 1963-
Publicerad: (2003)

Membrane computing : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003 : revised papers
av: Martín Vide, Carlos, 1955-

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

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

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

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

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

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

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

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

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

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Computer assisted learning : 2nd International Conference, ICCAL '89, Dallas, TX, USA, May 9-11, 1989 : 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 '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings

Membrane computing : international workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19 23, 2002 : revised papers

Computational methods in systems biology : First International Workshop, CMSB 2003, Rovereto, Italy, February 24 26, 2003 : proceedings

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

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

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : 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 2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 December 1, 2001 : proceedings

Principles and practice of constraint programming - CP96 : Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996 : 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