Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

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

Tour our stores


    Recently Viewed clear list


    Original Essays | November 7, 2014

    Carli Davidson: IMG Puppies for Sale? Read This First



    Shake Puppies contains an almost unsettling amount of cuteness. There is a good chance after looking through its pages you will get puppy fever and... Continue »

    spacer
Qualifying orders ship free.
$130.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 #633: Logics in AI

by

Lecture Notes in Computer Science / Lecture Notes in Artific #633: Logics in AI Cover

 

Synopses & Reviews

Publisher Comments:

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.

Product Details

ISBN:
9783540558873
Author:
Pearce, David
Publisher:
Springer
Other:
Pearce, David A.
Editor:
Wagner, Gerd
Author:
Wagner, Gerd
Location:
Berlin, Heidelberg
Subject:
Artificial Intelligence - General
Subject:
Logic Design
Subject:
Logic
Subject:
Intelligence (AI) & Semantics
Subject:
Computers-Reference - General
Subject:
Artificial Intelligence
Subject:
Automated Theorem Proofing
Subject:
Automatisches Beweisen
Subject:
knowledge-based systems
Subject:
Logic programming
Subject:
Logisches Programmieren
Subject:
Nicht-klassische Logiken
Subject:
Nichtmonotones Schlieen
Subject:
non-classical logics
Subject:
Nonmonotonic reasoning.
Subject:
Wissensbasierte Systeme
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Mathematical Logic and Formal Languages
Subject:
Logics and Meanings of Programs
Subject:
Mathematical Logic and Foundations
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Logic, symbolic and mathematical
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
633
Publication Date:
19920910
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
418
Dimensions:
242 x 170 mm 1310 gr

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Lecture Notes in Computer Science / Lecture Notes in Artific #633: Logics in AI New Trade Paper
0 stars - 0 reviews
$130.25 In Stock
Product details 418 pages Springer - English 9783540558873 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.