04961cam a2200709Mi 4500
ocn827360314
OCoLC
20220128092743.0
m o d
cr nn|008mamaa
100729s1996 gw ob 001 0 eng d
KIJ
eng
pn
KIJ
OCLCO
SINTU
GW5XE
OCLCF
ITD
OCLCO
HDC
NLGGC
VT2
OCLCQ
LIP
UAB
ESU
OCLCQ
CEF
TFW
AU@
LEAUB
OCLCQ
HS0
EUX
OCLCQ
OCLCO
150397661
793077672
990748114
1044584276
1119461142
1162791301
1238317353
9783540707400
(electronic bk.)
3540707409
(electronic bk.)
3540617329
9783540617327
9783540617327
10.1007/3-540-61732-9
doi
AU@
000051690658
AU@
000057850431
NLGGC
296867365
NZ1
14997492
NZ1
15494544
(OCoLC)827360314
(OCoLC)150397661
(OCoLC)793077672
(OCoLC)990748114
(OCoLC)1044584276
(OCoLC)1119461142
(OCoLC)1162791301
(OCoLC)1238317353
Q334-342
UYQ
bicssc
TJFM1
bicssc
COM004000
bisacsh
006.3
23
MAIN
Artificial Intelligence and Symbolic Mathematical Computation :
International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings /
edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.
Berlin, Heidelberg :
Springer-Verlag,
1996.
1 online resource :
v.: digital
text
txt
rdacontent
computer
c
rdamedia
online resource
cr
rdacarrier
text file
PDF
Lecture Notes in Computer Science,
0302-9743 ;
1138
Serienbezeichnung
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.
Symbolic computation and teaching -- Analytica -- An experiment in combining theorem proving and symbolic computation -- Document recognition, semantics, and symbolic reasoning in reverse engineering of software -- Compromised updates in labelled databases -- An inference engine for propositional two-valued logic based on the radical membership problem -- Programming by demonstration: A machine learning approach to support skill acquision for robots -- Knowledge-based information processing in manufacturing cells -- The present and the future -- Calculi for qualitative spatial reasoning -- Combining local consistency, symbolic rewriting and interval methods -- Proof transformation for non-compatible rewriting -- PATCH Graphs: An efficient data structure for completion of finitely presented groups -- Measuring the likely effectiveness of strategies -- A new approach on solving 3-satisfiability -- Geometry machines: From AI to SMC -- Interactive Theorem Proving and finite projective planes -- Towards modelling the topology of homogeneous manifolds by means of symbolic computation -- Solving geometrical constraint systems using CLP based on linear constraint solver -- Towards a sheaf semantics for cooperating agents scenarios -- Data types in subdefinite models -- On theorem-proving in Horn theories with built-in algebras -- Backward reasoning in systems with cut -- Soundness and completeness versus lifting property -- Reasoning with preorders and dynamic sorts using free variable tableaux.
English.
Includes bibliographical references and index.
Computer science.
941
Algebra
Data processing.
14650
Artificial intelligence.
1340
Algorithms.
864
Algebra
Data processing.
fast
(OCoLC)fst00804890
14650
Algorithms.
fast
(OCoLC)fst00805020
864
Artificial intelligence.
fast
(OCoLC)fst00817247
1340
Computer science.
fast
(OCoLC)fst00872451
941
Electronic books.
396
Calmet, Jacques.
16412
Campbell, John A.
47634
Pfalzgraf, Jochen.
48069
Artificial intelligence and symbolic mathematical computation
(NL-LeOCL)151715963
(OCoLC)898938160
Lecture notes in computer science ;
1138.
0302-9743
936801
https://link-springer-com.libraryproxy.ist.ac.at/10.1007/3-540-61732-9
92
ATIST
383078
383078
0
0
0
0
EBook
elib
elib
2020-06-26
0
2020-06-26
2020-06-26
EBOOK