KOBV Portal

Hits per page

hits 1 - 4 | 4 hits

Sorting

Book

Formal models of agents : ESPRIT Project ModelAge final workshop ; selected papers (1999)

Meyer, John-Jules Ch. [Hrsg.] 1954- ; ESPRIT Project ModelAge Final Workshop 1997

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_308537726

Format: VIII, 251 S , graph. Darst. , 24 cm

ISBN: 3540670270

Series Statement: Lecture notes in computer science 1760

Note: Name der Körperschaft ermittelt aus dem Vorwort (dort zunächst falsch Pertignano)

Additional Edition: Erscheint auch als Online-Ausgabe Meyer, John-Jules Ch., 1954 - Formal Models of Agents Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999 ISBN 9783540465812

Additional Edition: ISBN 3540670270

Language: English

Keywords: Agent ; Formale Methode ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Cover

URL: Inhaltstext

Author information: Meyer, John-Jules Ch. 1954-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

UB Potsdam

Online Resource

Formal Models of Agents : ESPRIT Project ModelAge Final Workshop Selected Papers (1999)

Meyer, John-Jules Ch. [editor.] ; Schobbens, Pierre-Yves. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_9947920607402882

Format: VIII, 260 p. , online resource.

ISBN: 9783540465812

Series Statement: Lecture Notes in Computer Science, 1760

Note: Formal Models of Agents: An Introduction -- A Model of BDI-Agent in Game-Theoretic Framework -- Dynamic Belief Hierarchies -- Modelling Internal Dynamic Behaviour of BDI Agents -- Towards an Agent-Oriented Framework for Specification of Information Systems -- The Impossibility of Modelling Cooperation in PD-Game -- Designing Multi-agent Systems around an Extensible Communication Abstraction -- Social Interactions of Autonomous Agents: Private and Global Views on Communication -- Towards a Proof-Theoretic Foundation for Actor Specification and Verification -- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios -- Agents’ Dynamic Mental Attitudes -- Diagnostic Agents for Distributed Systems -- Preferential Action Semantics (Preliminary Report) -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) -- The Role of Diagnosis and Decision Theory in Normative Reasoning -- Contextual Deontic Logic.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540670278

Language: English

DOI: 10.1007/3-540-46581-2

URL: http://dx.doi.org/10.1007/3-540-46581-2

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers (1999)

Meyer, John-Jules C. [editor.] ; Schobbens, Pierre-Yves. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almahu_9948621644902882

Format: VIII, 260 p. , online resource.

Edition: 1st ed. 1999.

ISBN: 9783540465812

Series Statement: Lecture Notes in Artificial Intelligence ; 1760

Note: Formal Models of Agents: An Introduction -- A Model of BDI-Agent in Game-Theoretic Framework -- Dynamic Belief Hierarchies -- Modelling Internal Dynamic Behaviour of BDI Agents -- Towards an Agent-Oriented Framework for Specification of Information Systems -- The Impossibility of Modelling Cooperation in PD-Game -- Designing Multi-agent Systems around an Extensible Communication Abstraction -- Social Interactions of Autonomous Agents: Private and Global Views on Communication -- Towards a Proof-Theoretic Foundation for Actor Specification and Verification -- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios -- Agents' Dynamic Mental Attitudes -- Diagnostic Agents for Distributed Systems -- Preferential Action Semantics (Preliminary Report) -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) -- The Role of Diagnosis and Decision Theory in Normative Reasoning -- Contextual Deontic Logic.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783662166338

Additional Edition: Printed edition: ISBN 9783540670278

Language: English

DOI: 10.1007/3-540-46581-2

URL: https://doi.org/10.1007/3-540-46581-2

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

Formal Models of Agents : ESPRIT Project ModelAge Final Workshop Selected Papers (1999)

Meyer, John-Jules Ch. 1954- ; Schobbens, Pierre-Yves

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649365659

Format: Online-Ressource

ISBN: 9783540465812 , 3540670270

Series Statement: Lecture Notes in Computer Science 1760

Content: Formal Models of Agents: An Introduction -- A Model of BDI-Agent in Game-Theoretic Framework -- Dynamic Belief Hierarchies -- Modelling Internal Dynamic Behaviour of BDI Agents -- Towards an Agent-Oriented Framework for Specification of Information Systems -- The Impossibility of Modelling Cooperation in PD-Game -- Designing Multi-agent Systems around an Extensible Communication Abstraction -- Social Interactions of Autonomous Agents: Private and Global Views on Communication -- Towards a Proof-Theoretic Foundation for Actor Specification and Verification -- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios -- Agents’ Dynamic Mental Attitudes -- Diagnostic Agents for Distributed Systems -- Preferential Action Semantics (Preliminary Report) -- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report) -- The Role of Diagnosis and Decision Theory in Normative Reasoning -- Contextual Deontic Logic.

Note: Lizenzpflichtig

Additional Edition: ISBN 9783540670278

Additional Edition: Buchausg. u.d.T. Formal models of agents Berlin : Springer, 1999 ISBN 3540670270

Language: English

Keywords: Agent ; Formale Methode ; Konferenzschrift

DOI: 10.1007/3-540-46581-2

URL: Volltext (lizenzpflichtig)

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Cover

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Inhaltstext

Author information: Meyer, John-Jules Ch. 1954-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

hits 1 - 4 | 4 hits

Nothing or not found what you are looking for? Please check your search query. For a search / Interlibrary loan from abroad use the search set "KOBV International" in the old KOBV portal.

Did you mean 9783540265412?

Did you mean 9783540065852?

Did you mean 9783540065012?

Kooperativer Bibliotheksverbund

Berlin Brandenburg