Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings [Book Review]

Boom Koninklijke Uitgevers (1998)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

ISBN(s)

3540649603   9783540649601

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings.Bruno Buchberger & John A. Campbell - 2004 - Springer Verlag.
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers.International Conference Aisc & John A. Campbell - 2001 - Springer Verlag.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings.Jacques Calmet, International Conference on Artificial Intelligence and Symbolic Mathematical Computation & Calculemus - 2002 - Springer Verlag.
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings.Jacques Fleuriot, Dongming Wang & Jacques Calmet (eds.) - 2018 - Springer.
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings.Moshe Vardi & Andrei Voronkov - 2003 - Springer Verlag.
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings.Matthias Baaz & Andrei Voronkov - 2002 - Springer.
Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'.Jim Grundy & Malcolm Newey - 1998 - Springer Verlag.
Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings.David Page - 1998 - Springer Verlag.
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings.Manuel Ojeda-Aciego, Inma P. De Guzman, Gerhard Brewka & Luis M. Pereira - 2000 - Springer.
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings.Jaques Calmet & Jochen Pfalzgraf - 1996 - Springer Verlag.

Analytics

Added to PP
2015-02-13

Downloads
3 (#1,864,397)

6 months
2 (#1,342,428)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references