Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / Jacques Calmet, Jan Plaza (eds.).

Other author Calmet, Jacques.
Other author Plaza, Jan.
Other author AISMC (Conference) 1998 : Plattsburgh, N. Y.)
Format Book
Publication InfoBerlin ; New York : Springer, ©1998.
Descriptionxi, 307 pages : illustrations ; 24 cm.
Subjects
Artificial intelligence--Congresses.
Logic, Symbolic and mathematical--Congresses.

SeriesLecture notes in computer science ; 1476. Lecture notes in artificial intelligence
Lecture notes in computer science 1476. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents An inductive logic programming query language for database mining / Luc De Raedt -- Bertrand Russell, Herbrand's theorem, and the assignment statement / Melvin Fitting -- Representing and reasoning with context / Richmond H. Thomason -- From integrated reasoning specialists to "plug-and-play" resoning components / Alessandro Armando, Silvio Ranise -- Reasoning about coding theory : the benefits we get from computer algebra / Clemens Ballarin, Lawrence C. Paulson -- Automatic generation of Epsilon-Delta proofs of continuity / Michael Beeson -- Finite model search for equational theories (FMSET) / Belaid Benhamou, Laurent Heocque -- Specification and integration of theorem provers and computer algebra systems / P.G. Bertoli ... [et al.] -- COLETTE, prototyping CSP solvers using a rule-based language / Carlos Castro -- An evolutionary algorithm for welding task sequence ordering / Martin Damsbo, Peder Thusgaard Ruhoff -- Intuitionistic proof transformations and their application to constructive program synthesis / Uwe Egli, Stephan Schmitt -- Combining algebraic computing and term-rewriting for geometry theorem proving / Stéphane Fèvre, Dongming Wang -- Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer / Dirk Fuchs -- Polymorphic call-by-value calculus based on classical proofs / Ken-etsu Fujita -- Inference and verification in medical appropriateness criteria using Gröbner bases / L.M. Laita, E. Roanes-Lozano --, V. Maojo -- The unification problem for one relation Thue systems / Christopher Lynch -- Basic completion with E-cycle simplification / Christopher Lynch, Christelle Scharff -- SoleX : a domain-independent scheme for constraint solver extension / Eric Monfroy, Christophe Ringeissen -- Optimising propositional modal satisfiability for description logic subsumption / Ian Horrocks, Peter F. Patel-Schneider -- Instantiation of existentially quantified variables in induction specification proofs / Brigitte Pientka, Christoph Kreitz -- Knowledge discovery objects and queries in distributed knowledge systems / Zbigniew W. Raś, Jiyun Zheng -- ALLTYPES : an algebraic language and TYPE system / Fritz Schwarz -- Real parametrization of algebraic curves / J. Rafael Sendra, Franz Winkler -- Non-clausal reasoning with propositionl definite theories / Zbigniew Stachniak.
General notePapers from the Fourth International Conference on Artificial Intelligence and Symbolic Computation.
Bibliography noteIncludes bibliographical references and index.
LCCN 98041662
ISBN3540649603 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks Q334 .A766 1998 ✔ Available Place Hold