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

去是公开

书目名称Computational Logic in Multi-Agent Systems影响因子(影响力)




书目名称Computational Logic in Multi-Agent Systems影响因子(影响力)学科排名




书目名称Computational Logic in Multi-Agent Systems网络公开度




书目名称Computational Logic in Multi-Agent Systems网络公开度学科排名




书目名称Computational Logic in Multi-Agent Systems被引频次




书目名称Computational Logic in Multi-Agent Systems被引频次学科排名




书目名称Computational Logic in Multi-Agent Systems年度引用




书目名称Computational Logic in Multi-Agent Systems年度引用学科排名




书目名称Computational Logic in Multi-Agent Systems读者反馈




书目名称Computational Logic in Multi-Agent Systems读者反馈学科排名

Irrepressible

https://doi.org/10.1007/11750734BDI agents; Variable; abductive reasoning; agent communication; agent cooperation; autonom; cognition; form

Spinal-Tap

978-3-540-33996-0Springer-Verlag Berlin Heidelberg 2006

火车车轮

Multi-currency Influence DiagramsThis paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.

DECRY

Ability in a Multi-agent Context: A Model in the Situation CalculusThis paper studies the notion of ability and its relation with the notion of action in a multi-agent context. It introduces the distinction between two notions respectively called “theoretical ability” and “ability”. The main contribution of this paper is a model of these notions in the Situation Calculus.

羽饰

羽饰

0302-9743 Overview: 978-3-540-33996-0978-3-540-33997-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

Institution

Some New Tools for EEG Modeling and Analysisiques used and problems encountered in implementing them. This selection is quite subjective, mainly concerning work that has involved researchers I have collaborated with at Liverpool (and, previously, Manchester). The tools considered will mainly be theorem-provers and (logic-based) agent programming languages

Laconic

Daniel H. Lange,Gideon F. Inbarres available in ., a multi-agent systems development platform that is based on an interpreter for an extended version of AgentSpeak. The BDI architecture is the best known and most studied architecture for cognitive agents, and AgentSpeak is an elegant, logic-based programming language inspired by the BDI architecture.

dearth