Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Jaques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (Herausgeber)

ISBN 10: 3540438653 / ISBN 13: 9783540438656

Verlag: Springer Verlag, Berlin Heidelberg New York, 2002

Beschreibung

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Bestandsnummer des Verkäufers 516

Bibliografische Details

Titel: Artificial Intelligence, Automated Reasoning...

Verlag: Springer Verlag, Berlin Heidelberg New York

Erscheinungsdatum: 2002

Einband: Softcover

Zustand: Gut

Zustand des Schutzumschlags: Nein

Signiert: Nein

Über diesen Titel

Inhaltsangabe:

AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1-5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l'Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title "Arti?cial Intelligence and Symbolic Mathematical Computation" (AISMC) and later denoted "Art- cial Intelligence and Symbolic Computation" (AISC). The scope is well de?ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC'98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di?erent point of view: Arti?cial Intelligence in the more general case of AISC and Automated Deduction in the more speci?c case of Calculemus.