Titlebook: Computational Logic in Multi-Agent Systems; 6th International Wo Francesca Toni,Paolo Torroni Conference proceedings 2006 Springer-Verlag B

取回

纬度

鸣叫

Bruce G. Cameron,Edward F. Crawleyexecution of contract terms and conditions. We use the event calculus to deduce current and past obligations, obligation fulfilment and violation. By associating meta-information with the contracts, the agent is able to select which of its contracts with other agents are relevant to solving its goal

Arthropathy

incisive

古代

Establishing an academic domainltiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common desc

KEGEL

GRIEF

越自我

Chromatic

Reasoning About Epistemic States of Agents by Modal Logic Programming about belief and common belief of agents. We prove that the presented SLD-resolution calculus is sound and complete. We also present a formalization of the wise men puzzle using a modal logic program in .4..5.. This shows that it is worth to study modal logic programming for multi-agent systems.