|
Showing 1 - 12 of
12 matches in All Departments
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."
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000.The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
|
Artificial Intelligence and Symbolic Mathematical Computation - International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Paperback, 1996 ed.)
Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
|
R1,743
Discovery Miles 17 430
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the Third
International Conference on Artificial Intelligence and Symbolic
Mathematical Computation, AISMC-3, held in Steyr, Austria, in
September 1996.
The 19 revised full papers presented in the book were carefully
selected by the program committee; also included are four invited
survey and state-of-the-art contributions by Scott, Dillmann and
Friedrich, Cohn, and Wang. Among the topics addressed are theorem
proving, rewriting systems, symbolic computation, spatial
reasoning, computational geometry, and automated deduction.
This volume contains thoroughly revised full versions of the best
papers presented at the Second International Conference on
Artificial Intelligence and Sympolic Mathematical Computation, held
in Cambridge, UK in August 1994.
The 19 papers included give clear evidence that now, after a quite
long period when AI and mathematics appeared to have arranged an
amicable separation, these fields are growing together again as an
area of fruitful interdisciplinary activities. This book explores
the interaction between mathematical computation and clears the
ground for future concentration on topics that can further unify
the field.
This volume contains the papers, updated in some cases, presented
at the first AISMC (Artificial Intelligence and Symbolic
Mathematical Computations)conference, held in Karlsruhe, August
3-6, 1992. This was the first conference to be devoted to such a
topic after a long period when SMC made no appearance in AI
conferences, though it used to be welcome in the early days of AI.
Some conferences were held recently on mathematics and AI, but none
was directly comparable in scope to this conference. Because of the
novelty of the domain, authors were given longer allocations of
time than usual in which to present their work. As a result,
extended and fruitful discussions followed each paper. The
introductory chapter in this book, which was not presented during
the conference, reflects in many ways the flavor of these
discussions and aims to set out the framework for future activities
in this domain of research. In addition to the introduction, the
volume contains 20 papers.
This is a reproduction of a book published before 1923. This book
may have occasional imperfections such as missing or blurred pages,
poor pictures, errant marks, etc. that were either part of the
original artifact, or were introduced by the scanning process. We
believe this work is culturally important, and despite the
imperfections, have elected to bring it back into print as part of
our continuing commitment to the preservation of printed works
worldwide. We appreciate your understanding of the imperfections in
the preservation process, and hope you enjoy this valuable book.
|
|