عنوان

Formal models of agents

شابک

3540670270 (softcover : alk. paper)

شابک

9783540670278 (softcover : alk. paper)

شماره

b433774

عنوان اصلي

Formal models of agents

نام عام مواد

[Book]

ساير اطلاعات عنواني

ESPRIT Project ModelAge final workshop selected papers /

نام نخستين پديدآور

John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)

محل نشرو پخش و غیره

New York :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

c1999.

نام خاص و کميت اثر

viii, 251 p. :

ساير جزييات

ill. ;

ابعاد

23 cm.

عنوان فروست

Lecture notes in artificial intelligence

مشخصه جلد

1760.

متن يادداشت

Papers from workshop held in 1997.

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

Formal models of agents : an introduction / John-Jules Ch. Meyer and Pierre-Yves Schobbens -- A model of BDI-agent in game-theoretic framework / Stanisław Ambroszkiewicz and Jan Komar -- Dynamic belief hierarchies / John Bell and Zhisheng Huang -- Modelling internal dynamic behaviour of BDI agents / Frances Brazier ... [et al.] -- Towards an agent-oriented framework for specification of information systems / Stefan Conrad, Gunter Saake, Can Türker -- The impossibility of modelling cooperation in PD-game / Rosaria Conte, Cristiano Castelfranchi and Roberto Pedone -- Designing multi-agent systems around an extensible communication abstraction / Enrico Denti and Andrea Omicini -- Social interactions of autonomous agents : private and global views on communication / Frank Dignum -- Towards a proof-theoretic foundation for actor specification and verification / Carlos H.C. Duarte -- Nondeterministic actions with typical effects : reasoning about scenarios / Barbara Dunin-Ķeplicz and Anna Radzikowska -- Agents' dynamic mental attitudes / Bruno Errico -- Diagnostic agents for distributed systems / Peter Fröhlich ... [et al.] -- Preferential action semantics (preliminary report) / John-Jules Ch. Meyer and Patrick Doherty -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) / Henry Prakken -- The role of diagnosis and decision theory in normative reasoning / Leendert W.N. van der Torre ... [et al.] -- Contextual deontic logic / Leendert W.N. van der Torre ... [et al.].

بدون عنوان

0

متن يادداشت

Mode of access: World Wide Web.

عنوان

Formal models of agents : ESPRIT Project ModelAge final workshop selected papers

عنوان

OhioLINK electronic book center

عنوان

SpringerLink

موضوع مستند نشده

Formal methods (Computer science)

موضوع مستند نشده

Intelligent agents (Computer software)

مستند نام اشخاص تاييد نشده

Meyer, John-Jules Ch.

مستند نام اشخاص تاييد نشده

Schobbens, Pierre-Yves,1961-

تاريخ عمليات

20100716094926.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y