Declarative Agent Languages and Technologies First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Leite, João (Επιμελητής έκδοσης), Omicini, Andrea (Επιμελητής έκδοσης), Sterling, Leon (Επιμελητής έκδοσης), Torroni, Paolo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2990
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.

Πίνακας περιεχομένων:

• 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.