The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Theory reasoning in connection calculi

Paperback • 1998 • English

Theory reasoning in connection calculi

By Peter Baumgartner

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in...Show more

Book details

ISBN

9783540655091

Publisher

Berlin : Springer

Published year

1998

Language

English

Original title

Theory reasoning in connection calculi

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Thinking and Deciding

Thinking and Deciding

Jonathan Baron

Reasoning, judging, deciding

Reasoning, judging, deciding

Colin Wastell

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Reasoning for Intelligence Analysts

Reasoning for Intelligence Analysts

Noel Hendrickson

Logic: A Very Short Introduction

Logic: A Very Short Introduction

Graham (Distinguished Professor of Philosophy at the CUNY Graduate Center) Priest

Artificial Intelligence and Legal Analytics

Artificial Intelligence and Legal Analytics

Kevin D. (University of Pittsburgh) Ashley

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach

Stuart Russell

Global Perspectives in Professional Reasoning

Global Perspectives in Professional Reasoning

Marilyn B. Cole

The logic manual

The logic manual

Volker Halbach

Putting Logic in its Place

Putting Logic in its Place

David Christensen

Abductive Analysis

Abductive Analysis

Iddo Tavory

Logic

Logic

Dan Cryan

Bayesian reasoning and machine learning

Bayesian reasoning and machine learning

David Barber

The Philosophy of Mathematics

The Philosophy of Mathematics

Stephan Körner

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Cognitive Linguistics

Cognitive Linguistics

Vyvyan Evans

Knowledge Representation and Reasoning

Knowledge Representation and Reasoning

Ronald J. Brachman

The Logic of Real Arguments

The Logic of Real Arguments

Alec Fisher

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Deductive Logic

Deductive Logic

Warren Goldfarb

Theory and reality

Theory and reality

PETER GODFREY-SMITH

Clinical Reasoning for Manual Therapists

Clinical Reasoning for Manual Therapists

Mark A. Jones

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Statistical Inference

Statistical Inference

George Casella

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

The Frege Reader

The Frege Reader

Michael Beaney

A New Introduction to Modal Logic

A New Introduction to Modal Logic

George Edward Hughes

Empirical Methods for Artificial Intelligence

Empirical Methods for Artificial Intelligence

Paul R. Cohen

Fuzzy Sets and Fuzzy Logic

Fuzzy Sets and Fuzzy Logic

George J. Klir

Artificial Intelligence A Modern Approach

Artificial Intelligence A Modern Approach

Stuart Jonathan Russell

Artificial Intelligence - A Philosophical Introduction

Artificial Intelligence - A Philosophical Introduction

Jack Copeland

Philosophy and AI Essays at the Interface

Philosophy and AI Essays at the Interface

Robert Cummins

The Philosophy of Artificial Intelligence

The Philosophy of Artificial Intelligence

Margaret A. Boden

Formal Logic

Formal Logic

Jeffrey, Richard C.

Modal Logic An Introduction

Modal Logic An Introduction

Brian F. Chellas