04881cam a2200697Mi 4500
ocn827358453
OCoLC
20200626113641.0
m o d
cr nn|008mamaa
100729s1993 gw o 000 0 eng d
KIJ
eng
pn
KIJ
OCLCO
GW5XE
OCLCF
OCLCO
HDC
UV0
OCLCQ
LIP
UAB
ESU
OCLCQ
SHS
TFW
LEAUB
OCLCQ
OL$
OCLCQ
793077400
990408231
1044511858
1119485640
9783540480631
(electronic bk.)
3540480633
(electronic bk.)
3540573224
9783540573227
9783540573227
3540480633
10.1007/3-540-57322-4
doi
AU@
000051695282
AU@
000057645637
NZ1
14996100
NZ1
15301750
(OCoLC)827358453
(OCoLC)793077400
(OCoLC)990408231
(OCoLC)1044511858
(OCoLC)1119485640
Q334
UYQ
bicssc
TJFM1
bicssc
COM004000
bisacsh
006.3
20
MAIN
Calmet, Jacques.
16412
Artificial Intelligence and Symbolic Mathematical Computing :
International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings /
edited by Jacques Calmet, John A. Campbell.
Berlin, Heidelberg :
Springer-Verlag,
1993.
1 online resource :
v.: digital
text
txt
rdacontent
computer
c
rdamedia
online resource
cr
rdacarrier
text file
PDF
rda
Lecture Notes in Computer Science,
0302-9743 ;
737
Serienbezeichnung
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.
Artificial intelligence and symbolic mathematical computations -- Qualitative modeling of physical systems in AI research -- On the topological structure of configuration spaces -- A symbolic approach to interval constraint problems -- An algebraic approach to knowledge-based modeling -- Intelligent user interfaces for symbolic and numeric computation -- The progress towards an intelligent assistant -- A discussion paper -- On mathematical modeling in robotics -- Gröbner bases: Strategies and applications -- Heuristic search strategies for Cylindrical Algebraic Decomposition -- Unified domains and abstract computational structures -- Completion and invariant theory in symbolic computation and artificial intelligence -- A type-coercion problem in computer algebra -- Algorithmic development of power series -- A cooperative approach to query processing: Integrating historical, structural, and behavioral knowledge sources -- A desk-top sequent calculus machine -- Gentzen-style characterizations of Negation as Failure -- A new translation from deduction into integer programming -- Reasoning about time -- Learning qualitative physics reasoning from regime analysis -- Qualitative mathematical modelling of genetic algorithms.
English.
Computer science.
941
Algebra
Data processing.
14650
Artificial intelligence.
1340
Numerical analysis.
908
Combinatorial analysis.
5330
Algebra
Data processing.
fast
(OCoLC)fst00804890
14650
Artificial intelligence.
fast
(OCoLC)fst00817247
1340
Combinatorial analysis.
fast
(OCoLC)fst00868961
5330
Computer science.
fast
(OCoLC)fst00872451
941
Numerical analysis.
fast
(OCoLC)fst01041273
908
Electronic books.
396
Campbell, John A.
47634
Printed edition:
9783540573227
Lecture notes in computer science ;
737.
0302-9743
47635
https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-57322-4
92
ATIST
382920
382920
0
0
0
0
EBook
elib
elib
2020-06-26
2020-06-26
2020-06-26
EBOOK