An edition of Declarative Agent Languages and Technologies X (2013)

Declarative Agent Languages and Technologies X

10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Declarative Agent Languages and Technologies X by Matteo Baldoni
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
March 1, 2022 | History
Edit
An edition of Declarative Agent Languages and Technologies X (2013)

Declarative Agent Languages and Technologies X

10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.

Publish Date
Publisher
Springer Berlin Heidelberg, Imprint: Springer
Language
English
Pages
209

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Logic design, Computer Science, general, Logics and Meanings of Programs, Computer science, Software engineering, Artificial intelligence, Artificial Intelligence (incl. Robotics), Programming languages (electronic computers), Intelligent agents (computer software), Computer programming

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Declarative Agent Languages and Technologies X
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource : in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Declarative Agent Languages and Technologies X
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers
Apr 09, 2013, Springer
paperback
Libraries near you: WorldCat

Add another edition?

Book Details

Table of Contents

Invited Papers
Handling Change in Normative Specifications
Latest Developments of WADE to Support User-Centric Business Processes
Strong Planning in the Logics of Communication and Change
Agent Deliberation via Forward and Backward Chaining in Linear Logic
Contributed Papers
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason
A Generalized Commitment Machine for 2CL Protocols and Its Implementation
Solving Fuzzy Distributed CSPs: An Approach with Naming Games
Commitment Protocol Generation
Goal-Based Qualitative Preference Systems
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems
Position Papers
Some Thoughts about Commitment Protocols (Position Paper)
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends (Position Paper)
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell (Position Paper).

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 7784

Classifications

Dewey Decimal Class
006.3
Library of Congress
Q334-342, TJ210.2-211.495

The Physical Object

Format
[electronic resource] :
Pagination
XII, 209 p. 42 illus.
Number of pages
209

ID Numbers

Open Library
OL27029800M
Internet Archive
declarativeagent00atha
ISBN 13
9783642378904

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 1, 2022 Edited by ImportBot import existing book
June 29, 2019 Created by MARC Bot Imported from Internet Archive item record.