Declarative Agent Languages and Technologies [electronic resource] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / edited by João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni.
Material type: TextSeries: Lecture Notes in Computer Science ; 2990Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Description: X, 272 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540259329Subject(s): Computer science | Computer Communication Networks | Software engineering | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Software Engineering | Computer Communication Networks | Programming Languages, Compilers, InterpretersAdditional 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 | EBK3198 |
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.
There are no comments on this title.