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

Orders over $89.00 qualify for free shipping.

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

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

Artificial Intelligence Programming with Python

From Zero to Hero

Algorithms in C, Parts 1-4

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

Addiction by Design

Machine Gambling in Las Vegas

Code Dependent

Living in the Shadow of AI

Code Dependent

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

Introduction to Machine Learning with Python

A Guide for Data Scientists

Learning Algorithms

A Programmer's Guide to Writing Better Code

Python for Algorithmic Trading

From Idea to Cloud Deployment

How to Prove It

A Structured Approach

Computational Modelling with Single Prompts

Series in Computational Physics

Theory of Computation for Software Developers

Fundamentals of Quantum Computing

Solving Problems with Quantum Algorithms and Practical Qiskit Coding

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Fundamentals of Quantum Computing

Solving Problems with Quantum Algorithms and Practical Qiskit Coding

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Reconceiving AI

The World as an Apple or a Blue Orange

Reconceiving AI

The World as an Apple or a Blue Orange

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Learning-Enabled Autonomous Systems

Control, Verification, and Monitoring

The Metaverse

Hype or Hoax?

Mathematical Foundations of Deep Learning

Theory and Algorithms

This product is categorised by