Gardening Sale!
 
 

Special Offers see all

Enter to WIN!

Weekly drawing for $100 credit. Subscribe to our Specials newsletter for a chance to win.
Privacy Policy

More at Powell's


Recently Viewed clear list


Interviews | May 16, 2013

Jill Owens: IMG Claire Messud: The Powells.com Interview



Claire MessudClaire Messud's new novel, The Woman Upstairs, is fiercely intelligent and urgently intimate, written with precision, humor, and an incredible... Continue »
  1. $18.17 Sale Hardcover add to wish list

    The Woman Upstairs

    Claire Messud 9780307596901

spacer
Ships free on qualified orders.
$104.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

Other titles in the Lecture Notes in Computer Science series:

Lecture Notes in Computer Science #1760: Formal Models of Agents

by

Lecture Notes in Computer Science #1760: Formal Models of Agents Cover

 

Synopses & Reviews

Publisher Comments:

This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997. The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.

Product Details

ISBN:
9783540670278
Other:
Meyer, John-Jules Ch
Publisher:
Springer
Editor:
Meyer, John-Jules C.
Author:
Schobbens, Pierre-Yves
Author:
Meyer, J. J.
Author:
Schobbens, P. y.
Author:
Meyer, John-Jules C.
Location:
Berlin ;
Subject:
Artificial Intelligence
Subject:
Intelligent agents (computer software)
Subject:
Formal methods (Computer science)
Subject:
Formal methods
Subject:
Intelligent agents
Subject:
Artificial Intelligence - General
Subject:
Networking - General
Subject:
Programming - Software Development
Subject:
Intelligence (AI) & Semantics
Subject:
Software Development & Engineering - General
Subject:
Computers-Reference - General
Subject:
Agent Technology
Subject:
BDI agents
Subject:
Cooperation
Subject:
Decision-making
Subject:
Deontic logic.
Subject:
Diagnosis
Subject:
multi-agent systems
Subject:
specification
Subject:
Verification
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Software engineering
Subject:
Logics and Meanings of Programs
Subject:
Computer Communication Networks
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
1760.
Publication Date:
20000229
Binding:
TRADE PAPER
Language:
English
Illustrations:
Yes
Pages:
268
Dimensions:
235 x 155 mm 840 gr
Age Level:
Agent Technology

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Networking » General
Computers and Internet » Software Engineering » General
Science and Mathematics » Mathematics » Set Theory

Lecture Notes in Computer Science #1760: Formal Models of Agents New Trade Paper
0 stars - 0 reviews
$104.25 In Stock
Product details 268 pages Springer - English 9783540670278 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 eBooks — here at Powells.com.