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影響因子(影響力)學(xué)科排名




書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度




書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computational Logic in Multi-Agent Systems被引頻次




書目名稱Computational Logic in Multi-Agent Systems被引頻次學(xué)科排名




書目名稱Computational Logic in Multi-Agent Systems年度引用




書目名稱Computational Logic in Multi-Agent Systems年度引用學(xué)科排名




書目名稱Computational Logic in Multi-Agent Systems讀者反饋




書目名稱Computational Logic in Multi-Agent Systems讀者反饋學(xué)科排名

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