My Wish Lists Login / Join

Artificial Intelligence and Symbolic Computation

International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings

By: Jacques Calmet (Editor), Jan Plaza (Editor)

Write A Review

Paperback | 2 September 1998

At a Glance

Paperback
328 Pages

Dimensions(cm)
15.88 x 23.5 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Mathematical Theory of Computation Databases Data Capture & Analysis Applied Mathematics Computer Programming & Software Development

Algorithms & Data Structures Algebra

Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract)
Herbrands theorem, and the assignment statement
Representing and Reasoning with Context
Regular Talks From Integrated Reasoning to lug-and-Play' Reasoning Components
Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin
Automatic Generation of Epsilon-Delta Proofs of Continuity
Finite Model Search for Equational Theories (FMSET)
Specification and Integration of Theorem Provers and Computer Algebra Systems
Colette, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro
An Evolutionary Algorithm for Welding Task Sequence Ordering
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer
Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract)
Inference and Verification in Medical Appropriateness Criteria using Grobner Bases
The Unification Problem for One Relation Thue Systems
Basic Completion with E-cycle Simplification
SoleX: a Domain-Independent Scheme for Constraint Solver Extension
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Instantiation of Existentially Quantified Variables in Induction Specification Proofs Brigitte Pientka
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems
Alltypes: An ALgebraic Language and Type System
Real Parametrization of Algebraic Curves
Non-Clausal Reasoning with Propositional Definite Theories
Table of Contents provided by Publisher. All Rights Reserved.

Artificial Intelligence and Symbolic Computation

International Conference Aisc'98, Plattsburgh, New York, Usa, September 16-18, 1998, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Algorithms & Data Structures

Addiction by Design â" Machine Gambling in Las Vegas

Machine Gambling in Las Vegas

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Introduction to Machine Learning with Python

A Guide for Data Scientists

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Algorithms

A Programmer's Guide to Writing Better Code

Head First Algorithms and Data Structures

A Learner's Guide to the Foundations of Computing

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Quantum Searching and Optimization Algorithms

A Comprehensive Guide

Python Using GPT-5 and Gemini

Finite Element Mesh Generation, 2e

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Hacker's Delight

Considerations on the AI Endgame

Ethics, Risks and Computational Frameworks

Quick Data Structures

Quick Programming

Artificial Intelligence Programming with Python: From Zero to Hero

From Zero to Hero

Quantum Machine Learning

Theory, Algorithms, and Practical Implementation

The Algorithmic Society

Technology, Power, and Knowledge

Computational Intractability

A Guide to Algorithmic Lower Bounds

Ciphers, Fractals, and Fibonacci

Exploring Math with Python

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

This product is categorised by