Conceptual structures at work : :: SCD d'Orléans

Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings

Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings

This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19 23, 2004. The main theme of the conference, Conceptual Structures at Work , was chosen to express our intention of applying conceptual structur...

Description complète

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Conference on Conceptual Structures :Huntsville, Ala.
Autres auteurs:	Wolff, Karl Erich (Directeur de la publication), Pfeiffer, Heather D. (Directeur de la publication), Delugach, Harry S., 1953- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science. Lecture notes in artificial intelligence 3127
Sujets:	Informatique Théorie des graphes Information, Théorie de l' Algorithmes Intelligence artificielle Logique symbolique et mathématique Représentation des connaissances Logigrammes Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Conceptual structures at work, 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, proceedings, Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach (eds.), Berlin, Springer, 2004, 1 vol. (XI-401 p.), Lecture notes in computer science, 3-540-22392-4 • Conceptual Structures at Work, Texte imprimé, 9783662177112

Documents similaires

Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS 99, Blacksburg, VA, USA, July 12 15, 1999 : proceedings

Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30 August 3, 2001 : proceedings

Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003 : proceedings

Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings
par: Eklund, Peter, 1962-

Conceptual structures : current practices : Second International Conference on Conceptual Structures, ICCS'94, College Park, Maryland, USA August 16-20, 1994 : proceedings
par: Tepfenhart, William M.

Conceptual structures : theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS 98, Montpellier, France, August 10 12, 1998 : proceedings

Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993 : proceedings
par: Mineau, Guy W.

Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings
par: Ellis, Gerard

The logic system of concept graphs with negation : and its relationship to predicate logic
par: Dau, Frithjof

Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings

Conceptual structures : integration and interfaces : 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15 19, 2002 : proceedings

Conceptual structures : fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997 : proceedings
par: Lukose, Dickson, 1963-

Theory and application of graph transformations : 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998 : selected papers

Graph-grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings

Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings

Graph-theoretic concepts in computer science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992 : proceedings
par: Mayr, Ernst W., 1950-

CAAP '86 : 11th Colloquium on trees in algebra and programming, Nice, France, March 24-26, 1986 : proceedings

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
par: Kahle, Reinhard, 1967-

The logic of information structures
par: Wansing, Heinrich, 1963-

Graph-theoretic concepts in computer science : 21st International Workshop, WG '95, Aachen, Germany, June 20 22, 1995 : proceedings

Applications of graph transformations with industrial relevance : Second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers

Conceptual modeling ER 2004 : 23rd International Conference on Conceptual Modeling, Shanghai, China, November 8-12, 2004 : proceedings

Knowledge representation and reasoning under uncertainty : logic at work
par: Masuch, Michael, 1949-

Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings

Trees in algebra and programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22 24, 1996 : proceedings

Computational learning theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16 19, 2001 : proceedings

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26 28, 1992 : proceedings

Time structures : formal description and algorithmic representation
par: Hajnicz, Elzbieta, 19..-

Conceptual modeling - ER 2000 : 19th International Conference on Conceptual Modeling Salt Lake City, Utah, USA, October 9 12, 2000 : proceedings

Learning theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004 : proceedings

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Éléments de mathématiques discrètes
par: Frécon, Louis, 1940-
Publié: (2002)

Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

Rough sets and current trends in computing : ; proceedings 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004

Advances in intelligent computing - IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4 8, 1994 : Selected papers

Algorithmic learning theory : 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

Machine learning : ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004 : proceedings
par: Boulicaut, Jean-François, 1960-

Implementation and application of automata : 7th International Conference, CIAA 2002, Tours, France, July 3 5, 2002 : pevised papers

© 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