New Added

Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers

Like Score+437

Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers
Original Title Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers
Author International Workshop on Declarative Agent Languages and Technologies (1st : 2003 : Melbourne, Vic.), Leite, João Alexandre, SpringerLink (Online service)
Publication date

Topics Intelligent agents (Computer software)
Publisher Berlin , Hong Kong : Springer-Verlag
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date December 29, 2015
Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Author: João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22124-1
DOI: 10.1007/b97923

Table of Contents:

  • MAS as Complex Systems: A View on the Role of Declarative Approaches
  • A Logic-Based Infrastructure for Reconfiguring Applications
  • Operational Semantics for Agents by Iterated Refinement
  • Go! for Multi-threaded Deliberative Agents
  • An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology
  • A Logic for Ignorance
  • Coo-BDI: Extending the BDI Model with Cooperativity
  • Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
  • A Combined Logic of Expectation and Observation
  • A Proposal for Reasoning in Agents: Restricted Entailment
  • A Social Approach to Communication in Multiagent Systems
  • Logic-Based Electronic Institutions
  • Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
  • Linear Logic, Partial Deduction and Cooperative Problem Solving

Electronic reproduction

Text (HTML/PDF), image (GIF/PDF) and search engine

Mode of access: Intranet

Caption title , description based on screen of 2005-03-30

Includes bibliographical references and index

We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0