My Wish Lists Login / Join

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings - Andrei Voronkov

Instant online reading.
Don't wait for delivery!

Automated Deduction - CADE-18

18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

By: Andrei Voronkov (Editor)

Write A Review

Paperback | 17 July 2002

At a Glance

Paperback
552 Pages

Dimensions(cm)
24.13 x 15.24 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.

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 Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems Medicine Medicine in General Computer Programming & Software Development Programming & Scripting Languages

Computer Architecture & Logic Design

Description Logics and Semantic Web
Reasoning with Expressive Description Logics: Theory and Practice	p. 1
BDD-Based Decision Procedures for <$>{cal K}<$>	p. 16
Proof-Carrying Code and Compiler Verification
Temporal Logic for Proof-Carrying Code	p. 31
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code	p. 47
Formal Verification of a Java Compiler in Isabelle	p. 63
Non-classical Logics
Embedding Lax Logic into Intuitionistic Logic	p. 78
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic	p. 94
Connection-Based Proof Search in Propositional BI Logic	p. 111
System Descriptions
DDDLIB: A Library for Solving Quantified Difference Inequalities	p. 129
An LCF-Style Interface between HOL and First-Order Logic	p. 134
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning	p. 139
Proof Development with MEGA	p. 144
Learnmatic: System Description	p. 150
HyLoRes 1.0: Direct Resolution for Hybrid Logics	p. 156
SAT
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points	p. 161
A Note on Symmetry Heuristics in SEM	p. 181
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions	p. 195
Model Generation
Deductive Search for Errors in Free Data Type Specifications Using Model Generation	p. 211
Reasoning by Symmetry and Function Ordering in Finite Model Generation	p. 226
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations	p. 241

A New Clausal Class Decidable by Hyperresolution	p. 260
CASC
Spass Version 2.0	p. 275
System Description: GrAnDe 1.0	p. 280
The HR Program for Theorem Generation	p. 285
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description -	p. 290
CADE-CAV Invited Talk
The Quest for Efficient Boolean Satisfiability Solvers	p. 295

Recursive Path Orderings Can Be Context-Sensitive	p. 314
Combination of Decision Procedures
Shostak Light	p. 332
Formal Verification of a Combination Decision Procedure	p. 347
Combining Multisets with Integers	p. 363
Logical Frameworks
The Reflection Theorem: A Study in Meta-theoretic Reasoning	p. 377
Faster Proof Checking in the Edinburgh Logical Framework	p. 392
Solving for Set Variables in Higher-Order Theorem Proving	p. 408
Model Checking
The Complexity of the Graded -Calculus	p. 423
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains	p. 438
Equational Reasoning
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation	p. 456
Basic Syntactic Mutation	p. 471
The Next Waldmeister Loop	p. 486
Proof Theory
Focussing Proof-Net Construction as a Middleware Paradigm	p. 501
Proof Analysis by Resolution	p. 517
Author Index	p. 533
Table of Contents provided by Publisher. All Rights Reserved.

Automated Deduction - CADE-18

18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The AI Con

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

The Tech Coup

How to Save Democracy from Silicon Valley

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

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

Creative Machines

AI, Art & Us

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

The Shortest History of AI

Autonomous Cyber Resilience

Explainable Artificial Intelligence-based Industrial Internet of Things

Technologies and Applications

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Metaverse Platform Implementation

AI, Security, and Applications

Cognitive Fairness-Aware Techniques for Human-Machine Interface

Chapman & Hall/CRC Internet of Things

Causal Inference and Machine Learning

In Economics, Social, and Health Sciences

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

AI for Cybersecurity

Research and Practice

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Future Data and Security Engineering

12th International Conference, FDSE 2025, Ho Chi Minh City, Vietnam, November 27-29, 2025, Proceedings, Part I

More Everything Forever

AI Overlords, Space Empires, and Silicon Valley's Crusade to Control the Fate of Humanity

Co-Intelligence

Living and Working with AI

Artificial Intelligence

A Modern Approach, 4th Global Edition

How We Learn

The New Science of Education and the Brain

Handbook of Reinforcement Learning

This product is categorised by