Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, Hawaii, USA, May 14, 2007 : revised, selected, and invited papers / / Matteo Baldoni (editors)

• Pubblicazione: Berlin, Germany ; ; New York, New York : , : Springer, , [2008]; ©2008
• Edizione: 1st ed. 2008.
• Descrizione fisica: 1 online resource (X, 248 p.)
• Disciplina: 006.3
• Soggetto topico: Intelligent agents (Computer software); Programming languages (Electronic computers); Declarative programming
• Persona (resp. second.): BaldoniMatteo <1968->
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Declarative Agent Languages and Technologies V
• ISBN: 3-540-77564-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465980603316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture notes in computer science ; ; 4897.