Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008022989/catalog> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- catalog abstract "This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998. The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.".
- catalog contributor b11133365.
- catalog contributor b11133366.
- catalog contributor b11133367.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "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 [and others] -- COLETTE, prototyping CSP solvers using a rule-based language / Carlos Castro -- An evolutionary algorithm for welding task sequence ordering / Martin Damsbo, Peder Thusgaard Ruhoff -- ".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog description "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 -- ".
- catalog description "This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998. The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.".
- catalog extent "xi, 307 p. :".
- catalog identifier "3540649603 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1476. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1476.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "006.3 21".
- catalog subject "Algebra Data processing.".
- catalog subject "Algorithms.".
- catalog subject "Artificial intelligence Congresses.".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Q334 .A538 1998".
- catalog subject "Q334 .A766 1998".
- catalog tableOfContents "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 [and others] -- COLETTE, prototyping CSP solvers using a rule-based language / Carlos Castro -- An evolutionary algorithm for welding task sequence ordering / Martin Damsbo, Peder Thusgaard Ruhoff -- ".
- catalog tableOfContents "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.".
- catalog tableOfContents "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 -- ".
- catalog title "Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / Jacques Calmet, Jan Plaza (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Plattsburgh (NY, 1998) swd".
- catalog type "text".