
| Reasoning Dynamics of Declarative Goals in Agent Programming Theories of Intentions in the Framework of Situation Calculus Partial Deduction for Linear Logic- The Symbolic Negotiation Perspective Modelling and Engineering On Modelling Multi-agent Systems Declaratively The Semantics of MALLET - An Agent Teamwork Encoding Language Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report Reasoning About Agents' Interaction Protocols Inside DCaseLP Verification Model Checking Agent Dialogues Modeling and Verification of Distributed Autonomous Agents Using Logic Programming Norm Verification and Analysis of Electronic Institutions Norms and Protocols A Lightweight Coordination Calculus for Agent Systems Enhancing Commitment Machines A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks Interaction and Communication Intensional Programming for Agent Communication The Logic of Communication Graphs Representational Content and the Reciprocal Interplay of Agent and Environment Author Index |
商品评论(0条)