Cover Image
Read Now

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

Bibliographic Details
Other Authors: Leite, Joao (Editor), Omicini, Andrea (Editor), Sterling, Leon (Editor), Torroni, Paolo (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Artificial Intelligence
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Compilers And Interpreters
Software Engineering
Artificial Intelligence
Computer Networks 
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02344nmm a2200373 u 4500
001 EB000652333
003 EBX01000000000000000505415
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540259329 
100 1 |a Leite, Joao  |e [editor] 
245 0 0 |a Declarative Agent Languages and Technologies  |h Elektronische Ressource  |b First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers  |c edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni 
250 |a 1st ed. 2004 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2004, 2004 
300 |a X, 272 p  |b online resource 
505 0 |a 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 
653 |a Computer Communication Networks 
653 |a Compilers (Computer programs) 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Computer networks  
653 |a Artificial intelligence 
700 1 |a Omicini, Andrea  |e [editor] 
700 1 |a Sterling, Leon  |e [editor] 
700 1 |a Torroni, Paolo  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/b97923 
856 4 0 |u https://doi.org/10.1007/b97923?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 

Similar Items