03113nam 2200601 450 991048348710332120210331125304.03-540-77564-110.1007/978-3-540-77564-5(CKB)1000000000490464(SSID)ssj0000317152(PQKBManifestationID)11253058(PQKBTitleCode)TC0000317152(PQKBWorkID)10292620(PQKB)11355893(DE-He213)978-3-540-77564-5(MiAaPQ)EBC3062117(MiAaPQ)EBC6413996(PPN)123743354(EXLCZ)99100000000049046420210331d2008 uy 0engurnn#008mamaatxtccrDeclarative agent languages and technologies V 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers /Matteo Baldoni (editors)1st ed. 2008.Berlin, Germany ;New York, New York :Springer,[2008]©20081 online resource (X, 248 p.)Lecture notes in computer science ;4897Bibliographic Level Mode of Issuance: Monograph3-540-77563-3 Includes bibliographical references and index.Invited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents’ Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication.Lecture notes in computer science ;4897.Intelligent agents (Computer software)Programming languages (Electronic computers)CongressesDeclarative programmingCongressesIntelligent agents (Computer software)Programming languages (Electronic computers)Declarative programming006.3Baldoni Matteo1968-International Workshop on Declarative Agent Languages and TechnologiesMiAaPQMiAaPQMiAaPQBOOK9910483487103321Declarative Agent Languages and Technologies V774397UNINA