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

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

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

Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and representation. The conference at which the papers in this volume were presented was the fourth in an international series devot...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	CONTEXT 2003 :Stanford, Calif.
Diğer Yazarlar:	Blackburn, Patrick, 1959- (Yayın yönetmeni), Ghidini, Chiara, informaticienne (Yayın yönetmeni), Turner, Roy M., 19..- (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science. Lecture notes in artificial intelligence 2680
Konular:	Informatique Simulation par ordinateur Intelligence artificielle Contexte (linguistique) Logique symbolique et mathématique Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	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, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, proceedings, Patrick Blackburn, Chiara Ghidini, Roy M. Turner ... [et al.], Berlin, Springer, 2003, 1 vol. (XII-524 p.), Lecture notes in computer science, 3-540-40380-9 • Modeling and Using Context, Texte imprimé, 9783662164266

Benzer Materyaller

Modeling and using context : second international and interdisciplinary conference, CONTEXT'99, Trento, Italy, September 9-11, 1999 : 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

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

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

User modeling 2003 : 9th international conference, UM 2003, Johnstown, PA, USA, June 22-26, 2003 : proceedings

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

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

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

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

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

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

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

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Principles and practice of constraint programming : CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : Proceedings
Yazar:: Van Hentenryck, Pascal, 1963-
Baskı/Yayın Bilgisi: (2003)

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

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

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

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

Surgery simulation and soft tissue modeling : International symposium, IS4TM 2003, Juan-Les-Pins, France, June 12-13, 2003 : proceedings

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
Yazar:: Bruynooghe, Maurice

Evolvable systems : from biology to hardware : 5th international conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings

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

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

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

Functional imaging and modeling of the heart : second international workshop, FIMH 2003, Lyon, France, June 5-6, 2003 : proceedings

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

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

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 - CP 2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 December 1, 2001 : proceedings

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

Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings
Yazar:: Klement, Erich Peter

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

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

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
Yazar:: Geist, Daniel

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

Computer assisted learning : 2nd International Conference, ICCAL '89, Dallas, TX, USA, May 9-11, 1989 : 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