Nonficionado Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | May 5, 2015

    Leonard Mlodinow: IMG The Fragility of Grand Discoveries



    When I was in graduate school at Berkeley I was offered a prestigious fellowship to study for a year in Germany, but I decided it would be a... Continue »
    1. $19.57 Sale Hardcover add to wish list

    spacer
Qualifying orders ship free.
$99.25
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Computers Reference- General

Lecture Notes in Computer Science / Lecture Notes in Artific #568: A Resolution Principle for a Logic with Restricted Quantifiers

by

Lecture Notes in Computer Science / Lecture Notes in Artific #568: A Resolution Principle for a Logic with Restricted Quantifiers Cover

 

Synopses & Reviews

Publisher Comments:

This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken from a general constraint system consisting of constraint theory and a set of distinguished constraints. The book provides a calculus for this constrained logic based on a generalization of Robinson's resolution principle. Technically, the unification procedure of the resolution rule is replaced by suitable constraint-solving methods. The calculus is proven sound and complete for the refutation of sets of constrained clauses. Using a new and elegant generalization of the notion ofa ground instance, the proof technique is a straightforward adaptation of the classical proof technique. The author demonstrates that the constrained logic scheme can be instantiated by well-known sorted logics or equational theories and also by extensions of predicate logics with general equational constraints or concept description languages.

Product Details

ISBN:
9783540550341
Author:
Burckert, H. J.
Publisher:
Springer
Author:
rckert
Author:
Ba1/4rckert, Hans-Ja1/4rgen
Author:
&
Author:
rgen
Author:
rckert, Hans-J
Author:
rgen B
Author:
Bürckert, Hans-Jürgen
Author:
Hans-J
Author:
uuml
Author:
B]rckert, Hans-J]rgen
Author:
B
Location:
Berlin, Heidelberg
Subject:
Logic, symbolic and mathematical
Subject:
Automatic theorem proving
Subject:
Artificial Intelligence - General
Subject:
Logic
Subject:
Intelligence (AI) & Semantics
Subject:
Artificial Intelligence
Subject:
Beschr
Subject:
ntilde;nkte Quantoren
Subject:
Deduction and Theorem Proving
Subject:
Deduktion und Beweisen
Subject:
Knowledge representation.
Subject:
Logic programming
Subject:
Logisches Programmieren
Subject:
mathematical logic
Subject:
Mathematische Logik
Subject:
Restricted Quantifiers
Subject:
Wissensdarstellung
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Mathematical Logic and Formal Languages
Subject:
Mathematical Logic and Foundations
Subject:
Computers-Reference - General
Subject:
Beschränkte Quantoren
Subject:
Computer Science
Subject:
Language, literature and biography
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
568
Publication Date:
19911223
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
132
Dimensions:
235 x 155 mm 430 gr

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
History and Social Science » Economics » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Computer Science / Lecture Notes in Artific #568: A Resolution Principle for a Logic with Restricted Quantifiers New Trade Paper
0 stars - 0 reviews
$99.25 In Stock
Product details 132 pages Springer - English 9783540550341 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.