Lecture Notes in Artificial Intelligence

Artificial Intelligence and Symbolic Computation

International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

Editors: Calmet, Jacques, Plaza, Jan (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49816-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-64960-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • An inductive logic programming query language for database mining

    Raedt, Luc

    Pages 1-13

  • Bertrand Russell, Herbrand’s theorem, and the assignment statement

    Fitting, Melvin

    Pages 14-28

  • Representing and reasoning with context

    Thomason, Richmond H.

    Pages 29-41

  • From integrated reasoning specialists to “plug-and-play≓ reasoning components

    Armando, Alessandro (et al.)

    Pages 42-54

  • Reasoning about coding theory: The benefits we get from computer algebra

    Ballarin, Clemens (et al.)

    Pages 55-66

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49816-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-64960-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Artificial Intelligence and Symbolic Computation
Book Subtitle
International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Editors
  • Jacques Calmet
  • Jan Plaza
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1476
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49816-2
DOI
10.1007/BFb0055897
Softcover ISBN
978-3-540-64960-1
Edition Number
1
Number of Pages
XII, 316
Topics