We Need Diverse Ya 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


    Q&A | June 8, 2015

    Owen Sheers: IMG Powell's Q&A: Owen Sheers



    Describe your latest book. I Saw a Man is a contemporary novel set between London, New York, Nevada, and Wales. The book opens with Michael Turner,... Continue »
    1. $18.17 Sale Hardcover add to wish list

      I Saw a Man

      Owen Sheers 9780385529075

    spacer
Qualifying orders ship free.
$108.50
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, P. y.
Author:
Meyer, John-Jules C.
Author:
Schobbens, Pierre-Yves
Author:
Meyer, J. J.
Location:
Berlin, Heidelberg
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
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Logic Design
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
$108.50 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 gifts — here at Powells.com.