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 $79.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

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 Artificial Intelligence

The Tech Coup

How to Save Democracy from Silicon Valley

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

Transforming Cybersecurity with Machine Learning

Transforming Cybersecurity with Machine Learning

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

The Shortest History of AI

Advances in Digital Marketing in the Era of Artificial Intelligence

Case Studies and Data Analysis for Business Problem Solving

Advances on Mathematical Modeling and Optimization with Its Applications

Emerging Technologies

Array and Wearable Antennas

Design, Optimization, and Applications

Artificial Intelligence for Cyber Defense and Smart Policing

Artificial Intelligence of Things (AIoT)

New Standards, Technologies and Communication Systems

Autonomous Driving Network

Network Architecture in the Era of Autonomy

Bayesian Machine Learning in Geotechnical Site Characterization

Challenges in Geotechnical and Rock Engineering

Blockchain and Digital Twin Enabled IoT Networks

Privacy and Security Perspectives

Blockchain and Machine Learning for IoT Security

Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

Collective Behavior of Magnetic Micro/Nanorobots

Control, Imaging, and Applications

Computational Intelligence and Blockchain in Biomedical and Health Informatics

This product is categorised by