The Fictioning Horror Sale
 
 

Recently Viewed clear list


Original Essays | September 15, 2014

Lois Leveen: IMG Forsooth Me Not: Shakespeare, Juliet, Her Nurse, and a Novel



There's this writer, William Shakespeare. Perhaps you've heard of him. He wrote this play, Romeo and Juliet. Maybe you've heard of it as well. It's... Continue »
  1. $18.19 Sale Hardcover add to wish list

    Juliet's Nurse

    Lois Leveen 9781476757445

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 #515: Truth Maintenance Systems

by

Lecture Notes in Computer Science / Lecture Notes in Artific #515: Truth Maintenance Systems Cover

 

Synopses & Reviews

Publisher Comments:

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.

Product Details

ISBN:
9783540543053
Author:
Martins, Joao P.
Publisher:
Springer
Other:
Martins, Jooao P.
Editor:
Reinfrank, Michael
Author:
Reinfrank, Michael
Location:
Berlin, Heidelberg
Subject:
Congresses
Subject:
Truth maintenance systems.
Subject:
Artificial Intelligence - General
Subject:
Intelligence (AI) & Semantics
Subject:
Computers-Reference - General
Subject:
Artificial Intelligence
Subject:
Automatisches Schließen und Beweisen
Subject:
belief revision
Subject:
Deduction and Theorem Proving
Subject:
Meta-Level-Cotrol
Subject:
Meta-Level-Kontrolle
Subject:
Truth-Maintenance-Systeme
Subject:
Artificial Intelligence (incl. Robotics)
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:
515
Publication Date:
19910823
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
192
Dimensions:
242 x 170 mm 630 gr

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
History and Social Science » Economics » General

Lecture Notes in Computer Science / Lecture Notes in Artific #515: Truth Maintenance Systems New Trade Paper
0 stars - 0 reviews
$99.25 In Stock
Product details 192 pages Springer - English 9783540543053 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.