Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings: 3249 (Lecture Notes in Computer Science, 3249) - Couverture souple

Buchberger, Bruno

 
9783540232124: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings: 3249 (Lecture Notes in Computer Science, 3249)
Couverture souple
ISBN 10 : 3540232125 ISBN 13 : 9783540232124
Editeur : Springer, 2013

Synopsis

AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat ¨ KarlsruheandJohnCa- bell of University College London with the initial title Arti?cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective ’mathematical’ and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro?le of the series, and will ?gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e?ect that emerged because we were concerned to select the best relevant papers that were o?ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the ?eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Reseña del editor

AISC 2004, the 7th International Conference on Arti?cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat ¨ KarlsruheandJohnCa- bell of University College London with the initial title Arti?cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective 'mathematical' and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro?le of the series, and will ?gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e?ect that emerged because we were concerned to select the best relevant papers that were o?ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the ?eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation.

Reseña del editor

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.

The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2013
Langue
anglais
ISBN 10 
3540232125
ISBN 13 
9783540232124
Reliure
Tapa blanda
Nombre de pages
300
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9783662199640: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings

Edition présentée

ISBN 10 :  3662199645 ISBN 13 :  9783662199640
Editeur : Springer, 2014
Couverture souple