Artificial Intelligence and Symbolic Computation
Subtitle: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Lecture Notes in Computer Science)
Contributors: John A. Campbell (Editor); Eugenio Roanes-Lozano (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 18, 2001
Language: eng
Format: Paperback
Number of pages: 253
ISBN-13: 9783540420712
Subjects: Mathematical And Symbolic Logic; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; General; Automated Deduction; Circuit Design; Computational Geometry; Computational Logics; Computational Mathematics; Computer-Algebra; Computers / Artificial Intelligence; Constructive Mathematics; Interactive Mathematical Documents; Computer Science; Logic; Artificial Intelligence; Congresses; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical
Description: This volume contains the invited papers, contributed papers, and poster s- maries accepted for the Fifth International Conference on Arti?cial Intelligence and Symbolic Computation (AISC 2000). The conference was held in Spain from 17 to 19 July 2000 at the Hotel NH Zurbano, Madrid, and was organized by the Universidad Complutense de Madrid and the Sociedad Matem´aticaPuigAdam. One of the reasons for centralizing all activities at one hotel was to avoid both losing time in transportation around Madrid and the distribution of the att- dees into disconnected subgroups in diverse locations. In this way a breakfa- to-late-night coexistence (which included some extra-academic events) was - sured, with time for formal and informal conversations. This continued the AISMC/AISC tradition of the creation of a friendly atmosphere, where ideas could be exchanged in a relaxed and e?ective way. The conference belongs to a specialized conference series founded by John Campbell and Jacques Calmet with the initial title “Arti?cial Intelligence and Symbolic Mathematical Computation” (AISMC). AISMC-1 took place in 1992 in Karlsruhe (Germany); AISMC-2 was held in 1994 at King’s College (Cambridge, UK), and AISMC-3 in 1996 was located in Steyr (Austria). The proceedings of these conferences were published in Springer’s LNCS series as volumes 737, 958, and 1138, respectively.