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


    New Favorites | November 25, 2014

    Powell's Staff: IMG Our Favorite New Favorites of 2014



    Every week, we gather together a small pile of newly released titles that we agree should be on everyone's radar. We deem these titles our New... Continue »

    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 #4327: Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Pa

by

Lecture Notes in Computer Science #4327: Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Pa Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with 1 invited talk and 3 invited papers - fully revised to incorporate reviewers' comments and discussions at the workshop - were carefully selected for inclusion in the book. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems, thus gaining more and more attention in important application areas such as the semantic Web, Web services, security, and electronic contracting.

Synopsis:

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.

Synopsis:

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The papers are organized in topical sections on agent programming and beliefs, architectures and logic programming, knowledge representation and reasoning, and coordination and model checking.

Product Details

ISBN:
9783540689591
Author:
Baldoni, Matteo
Publisher:
Springer
Editor:
Endriss, Ulle
Author:
Endriss, Ulle
Subject:
Programming languages (electronic computers)
Subject:
Declarative programming
Subject:
Artificial Intelligence - General
Subject:
Programming Languages - General
Subject:
Networking - General
Subject:
Intelligence (AI) & Semantics
Subject:
Artificial Intelligence
Subject:
agent communication
Subject:
agent cooperation
Subject:
agent coordination
Subject:
agent reasoning
Subject:
agent systems design
Subject:
agent systems specification
Subject:
agent verification
Subject:
Agent-Oriented Software Engineering
Subject:
declarative agent language
Subject:
Formal methods
Subject:
Intelligent agents
Subject:
interoperability
Subject:
Logic programming
Subject:
modal logics
Subject:
model checking
Subject:
Multi-Agent Programming
Subject:
ontologies
Subject:
Security
Subject:
Semantic Web
Subject:
Virtual Enterprise
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Computer Communication Networks
Subject:
Software engineering
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Logics and Meanings of Programs
Subject:
Computers-Reference - General
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
4327
Publication Date:
20070213
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
276
Dimensions:
235 x 155 mm 850 gr

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
Computers and Internet » Software Engineering » Programming and Languages
History and Social Science » Geography » General
Science and Mathematics » Electricity » General Electronics

Lecture Notes in Computer Science #4327: Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Pa New Trade Paper
0 stars - 0 reviews
$108.50 In Stock
Product details 276 pages Springer - English 9783540689591 Reviews:
"Synopsis" by , This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.
"Synopsis" by , This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The papers are organized in topical sections on agent programming and beliefs, architectures and logic programming, knowledge representation and reasoning, and coordination and model checking.
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.