Home » PDF & EBook » Book » Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers
New Added
Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers
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
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
![Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers](https://www.ebookmela.co.in/wp-content/themes/rehub-theme/images/default/noimage_220_150.png)
![Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers](https://archive.org/services/img/springer_10.1007-b97923)
