Declarative Agent Languages and Technologies V [electronic resource] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff.
Material type: TextSeries: Lecture Notes in Computer Science ; 4897Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: X, 248 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540775645Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Computer Communication Networks | Software Engineering | Programming Languages, Compilers, Interpreters | Logics and Meanings of ProgramsAdditional physical formats: Printed edition:: No titleDDC classification: 006.3 LOC classification: Q334-342TJ210.2-211.495Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK7999 |
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.
There are no comments on this title.