Understanding agent systems:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
| Ausgabe: | 2. ed., rev. and extended |
| Schriftenreihe: | Springer series on agent technology
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 227 - 236 |
| Beschreibung: | XVIII, 240 S. graph. Darst. |
| ISBN: | 3540407006 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017430815 | ||
| 003 | DE-604 | ||
| 005 | 20040928 | ||
| 007 | t | ||
| 008 | 030819s2004 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 968515185 |2 DE-101 | |
| 020 | |a 3540407006 |9 3-540-40700-6 | ||
| 035 | |a (OCoLC)249080507 | ||
| 035 | |a (DE-599)BVBBV017430815 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-573 |a DE-1046 |a DE-20 |a DE-11 |a DE-525 | ||
| 050 | 0 | |a QA76.76.I58 | |
| 082 | 0 | |a 006.3 | |
| 082 | 0 | |a 006.1 | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 100 | 1 | |a D'Inverno, Mark |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Understanding agent systems |c Mark d'Inverno ; Michael Luck |
| 250 | |a 2. ed., rev. and extended | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
| 300 | |a XVIII, 240 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer series on agent technology | |
| 500 | |a Literaturverz. S. 227 - 236 | ||
| 650 | 4 | |a Agent <Informatik> - Formale Spezifikationstechnik | |
| 650 | 4 | |a Mehragentensystem - Formale Spezifikationstechnik | |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Agent |g Informatik |0 (DE-588)4455835-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehragentensystem |0 (DE-588)4389058-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Agent |g Informatik |0 (DE-588)4455835-1 |D s |
| 689 | 0 | 1 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mehragentensystem |0 (DE-588)4389058-1 |D s |
| 689 | 1 | 1 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Luck, Michael |e Verfasser |0 (DE-588)131690426 |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010502685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010502685 | ||
Datensatz im Suchindex
| _version_ | 1804130243448930304 |
|---|---|
| adam_text | MARK D INVERNO MICHAEL LUCK UNDERSTANDING AGENT SYSTEMS SECOND EDITION,
REVISED AND EXTENDED WITH 42 FIGURES SPRINGER CONTENTS 1. THE AGENT
LANDSCAPE 1 1.1 INTRODUCTION 1 1.2 AGENTS 3 1.2.1 TERMINOLOGY 3 1.2.2
PROBLEMS WITH DEFINITION 5 1.3 MULTI-AGENT SYSTEMS 6 1.4 DESIDERATA FOR
A CONCEPTUAL VIEW OF AGENTS 7 1.5 A FORMAL FRAMEWORK FOR AGENT
DEFINITION AND DEVELOPMENT 8 1.5.1 FORMAL FRAMEWORKS 8 1.5.2 NOTATION 9
1.5.3/ SPECIFICATION STRUCTURE DIAGRAMS 10 2. THE SMART AGENT FRAMEWORK
15 2.1 INTRODUCTION 15 2.2 INITIAL CONCEPTS 15 2.3 ENTITIES 19 2.3.1
ENTITY STATE 20 2.3.2 ENTITY OPERATIONS 21 2.4 OBJECTS 21 2.4.1 OBJECT
BEHAVIOUR 22 2.4.2 OBJECT STATE 22 2.4.3 OBJECT OPERATIONS 23 2.5 AGENTS
24 2.5.1 INTRODUCTION 24 2.5.2 AGENT SPECIFICATION 24 2.5.3 AGENT
PERCEPTION 26 2.5.4 AGENT ACTION 27 2.5.5 AGENT STATE 27 2.5.6 AGENT
OPERATIONS 28 2.6 AUTONOMY 29 2.6.1 INTRODUCTION 29 2.6.2 AUTONOMOUS
AGENT SPECIFICATION 30 2.6.3 AUTONOMOUS AGENT PERCEPTION 31 2.6.4
AUTONOMOUS AGENT ACTION 31 XII CONTENTS 2.6.5 AUTONOMOUS AGENT STATE 32
2.6.6 AUTONOMOUS AGENT OPERATIONS 32 2.7 APPLYING SMART: TROPISTIC
AGENTS 33 2.7.1 TROPISTIC AGENTS 33 2.7.2 REFORMULATING PERCEPTION 33
2.7.3 REFORMULATING ACTION 34 2.7.4 DISCUSSION 35 2.8 SPECIFICATION
STRUCTURE OF SMART 35 2.9 RELATED WORK 38 2.10 SUMMARY 39 3. AGENT
RELATIONSHIPS 41 3.1 INTRODUCTION 41 3.2 MULTI-AGENT SYSTEMS 42 3.2.1
MULTI-AGENT SYSTEM DEFINITION 42 3.2.2 SERVER-AGENTS AND NEUTRAL-OBJECTS
42 3.2.3 MULTI-AGENT SYSTEM SPECIFICATION 43 3.3 GOAL GENERATION 44
3.3.1 DISCUSSION 44 3.3.2 GOAL GENERATION SPECIFICATION 45 3.4 GOAL
ADOPTION 47 3.4.1 GOAL ADOPTION BY NEUTRAL-OBJECTS 48 3.4.2 GOAL
ADOPTION BY SERVER-AGENTS 50 3.4.3 AUTONOMOUS GOAL ADOPTION 51 3.4.4
AUTONOMOUS GOAL DESTRUCTION 52 3.5 ENGAGEMENT 53 3.5.1 DIRECT ENGAGEMENT
53 3.5.2 DIRECT ENGAGEMENTS IN A MULTI-AGENT SYSTEM 55 3.5.3 ENGAGEMENT
CHAINS 55 3.5.4 ENGAGEMENT CHAINS IN A MULTI-AGENT SYSTEM 57 3.6
COOPERATION 58 3.6.1 COOPERATIONS IN A MULTI-AGENT SYSTEM 59 3.6.2
DISCUSSION AND EXAMPLE 60 3.7 THE AGENT SOCIETY 61 3.8 AGENT
RELATIONSHIPS TAXONOMY 63 3.8.1 DIRECT ENGAGEMENT RELATION 63 3.8.2
GENERIC ENGAGEMENT RELATION 63 3.8.3 INDIRECT ENGAGEMENT RELATION 64
3.8.4 GENERIC OWNERSHIP RELATION 65 3.8.5 DIRECT OWNERSHIP RELATION 65
3.8.6 UNIQUE OWNERSHIP RELATION 66 3.8.7 SPECIFIC OWNERSHIP RELATION 66
3.8.8 GENERIC COOPERATION RELATION 67 3.9 SUMMARY 68 CONTENTS XIII 4. AN
OPERATIONAL ANALYSIS OF AGENT RELATIONSHIPS 71 4.1 INTRODUCTION 71 4.2
INITIAL CONCEPTS 72 4.3 MAKING ENGAGEMENTS 74 4.4 BREAKING ENGAGEMENTS
79 4.5 JOINING COOPERATIONS 81 4.6 LEAVING COOPERATIONS 83 4.7 AN
ILLUSTRATIVE EXAMPLE 86 4.8 SUMMARY 91 5. SOCIOLOGICAL AGENTS 93 5.1
INTRODUCTION 93 5.2 AGENT STORE 94 5.2.1 APPLYING SMART: HYSTERETIC
AGENTS 98 5.2.2 APPLYING SMART: KNOWLEDGE-BASED AGENTS 99 5.3 AGENT
MODELS 101 5.3.1 ENTITY MODELS 101 5.3.2 SOCIOLOGICAL AGENTS 102 5.3.3
MODELLING THE MOTIVATIONS OF OTHERS 106 5.3.4 MODELLING THE MODELS OF
OTHERS 108 5.4 AGENT PLANS 110 5.4.1 INTRODUCTION 110 5.4.2 PLAN-AGENTS
110 5.4.3 MULTI-AGENT PLANS 112 5.4.4 MULTI-AGENT PLAN-AGENTS 116 5.4.5
SOCIOLOGICAL PLAN-AGENTS 117 5.4.6 AN ILLUSTRATIVE EXAMPLE 120 5.4.7
MODELLING THE PLANS OF OTHERS 124 5.5 SUMMARY 124 6. AUTONOMOUS
INTERACTION 127 6.1 INTRODUCTION 127 6.1.1 SPEECH ACTS 127 6.2 PROBLEMS
WITH AUTONOMOUS INTERACTION 128 6.2.1 PRE-DETERMINED AGENDA 128 6.2.2
BENEVOLENCE 129 6.2.3 GUARANTEED EFFECTS 129 6.2.4 AUTOMATIC INTENTION
RECOGNITION 129 6.2.5 MULTI-AGENT MODELLING 129 6.2.6 SUMMARY 130 6.3 A
MODEL OF AUTONOMOUS INTERACTION 130 6.3.1 SOCIOLOGICAL GOAL GENERATION
131 6.3.2 AGENT INTERACTION 131 6.3.3 PREDICTION 133 6.3.4
EXPERIMENTATION 133 XIV CONTENTS 6.3.5 OBSERVATION AND EVALUATION 134
6.3.6 REVISION 136 6.4 SUMMARY 136 7. THE CONTRACT NET AS A GOAL
DIRECTED SYSTEM 139 7.1 INTRODUCTION 139 7.2 CONTRACT NET PROTOCOL 139
7.3 CONTRACT NET COMPONENTS 141 7.3.1 NODES 141 7.3.2 AGENTS 141 7.3.3
MONITOR AGENTS 142 7.3.4 IDLE NODES 142 7.3.5 SERVER-AGENTS 142 7.4
CONTRACT NET RELATIONSHIPS 143 7.5 CONTRACT NET STATE 146 7.5.1 TASK
ANNOUNCEMENTS 146 7.5.2 BIDS 146 7.5.3 SYSTEM STATE 147 7.6 CONTRACT NET
PROTOCOL 147 7.6.1 AXIOMATIC DEFINITIONS 147 7.6.2 MAKING TASK
ANNOUNCEMENTS 148 7.6.3 MAKING BIDS * 149 7.6.4 AWARDING CONTRACTS 150
7.6.5 TERMINATING CONTRACTS 151 7.7 SUMMARY 1 52 8. COMPUTATIONAL
ARCHITECTURE FOR BDI AGENTS 155 8.1 INTRODUCTION 155 8.2 AGENTSPEAK(L)
155 8.3 TYPES 156 8.3.1 BELIEFS 157 8.3.2 EVENTS 157 8.3.3 PLANS 158
8.3.4 INTENTIONS 159 8.4 AGENTSPEAK(L) AGENTS 159 8.5 AGENTSPEAK(L)
AGENT OPERATION 160 8.6 SUMMARY 1 65 9. EVALUATING SOCIAL DEPENDENCE
NETWORKS 1 67 9. 1 INTRODUCTION 167 9.2 SOCIAL DEPENDENCE NETWORKS 167
9.2.1 ACTION AND RESOURCE AUTONOMY 169 9.2.2 DEPENDENCE RELATIONS 169
9.2.3 DEPENDENCE SITUATIONS 169 9.3 EXTERNAL DESCRIPTIONS 169 CONTENTS
XV 9.3.1 INTRODUCTION 169 9.3.2 SDN IN SMART 170 9.3.3 FORMALISING
EXTERNAL DESCRIPTIONS 172 9.4 ACTION AND RESOURCE AUTONOMY 173 9.5
DEPENDENCE RELATIONS 175 9.6 DEPENDENCE SITUATIONS 178 9.7 SUMMARY 180
10. NORMATIVE AGENTS 183 10.1 INTRODUCTION 183 10.2 NORMS 184 10.2.1
OBLIGATIONS AND PROHIBITIONS 185 10.2.2 SOCIAL COMMITMENTS 186 10.2.3
SOCIAL CODES 186 10.3 CHAINS OF NORMS 187 10.3.1 NORM INSTANCES 187
10.3.2 INTERLOCKING NORMS 188 10.4 NORMATIVE AGENTS 189 10.4.1 NORMATIVE
MULTI-AGENT SYSTEMS 190 10.4.2 NORMATIVE ROLES 191 10.5 NORM DYNAMICS
192 10.5:1 CHANGING NORMS 192 10.5.2 NORM STATES 193 10.6 NORM
COMPLIANCE 195 10.6.1 ENFORCEMENT MECHANISMS 195 10.6.2 NORMATIVE AGENT
STATE 196 10.6.3 THE NORM COMPLIANCE PROCESS 197 10.7 CONCLUSIONS 198
11. ACTSMART. BUILDING A SMART SYSTEM 201 11.1 INTRODUCTION 201 11.2 AN
EXAMPLE 202 11.3 ACTSMART AGENT IMPLEMENTATION 203 11.3.1 DESIGN
PRINCIPLES 203 11.3.2 JAVA FOR AGENT SYSTEMS 204 11.3.3 JINI 204 11.3.4
EXTENSIBLE MARKUP LANGUAGE 205 11.4 AGENT CONSTRUCTION MODEL FOR
ACRSMART 206 11.5 OBJECT AND AGENT CREATION IN ACRSMART 207 11.5.1
NEUTRAL-OBJECT 207 11.5.2 AUTONOMOUS AGENTS 208 11.5.3 EXAMPLE
ARCHITECTURE 209 11.5.4 ENGAGING NEUTRAL-OBJECTS 210 11.6 CONCLUSIONS
211 XVI CONTENTS 12. CONCLUSIONS 213 12.1 SUMMARY 213 12.1.1 THE SMART
FRAMEWORK 213 12.1.2 AGENT RELATIONSHIPS 213 12.1.3 AGENT ARCHITECTURES
214 12.2 EVALUATION 214 12.2.1 GENERALITY 215 12.2.2 APPLICATION 215
12.3 CONCLUDING REMARKS 216 A. THE Z SPECIFICATION LANGUAGE 219 A.I
INTRODUCTION TO Z 219 A.2 GENERIC Z DEFINITIONS 222 A.2.1 SETS 222 A.2.2
RELATIONS 223 A.2.3 FUNCTIONS 224 A.2.4 SEQUENCES 225 REFERENCES 227
INDEX 237
|
| any_adam_object | 1 |
| author | D'Inverno, Mark Luck, Michael |
| author_GND | (DE-588)131690426 |
| author_facet | D'Inverno, Mark Luck, Michael |
| author_role | aut aut |
| author_sort | D'Inverno, Mark |
| author_variant | m d md m l ml |
| building | Verbundindex |
| bvnumber | BV017430815 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.I58 |
| callnumber-search | QA76.76.I58 |
| callnumber-sort | QA 276.76 I58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 300 |
| ctrlnum | (OCoLC)249080507 (DE-599)BVBBV017430815 |
| dewey-full | 006.3 006.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 006.1 |
| dewey-search | 006.3 006.1 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 2. ed., rev. and extended |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02024nam a2200517 c 4500</leader><controlfield tag="001">BV017430815</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040928 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030819s2004 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">968515185</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540407006</subfield><subfield code="9">3-540-40700-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249080507</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017430815</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-573</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.I58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">D'Inverno, Mark</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Understanding agent systems</subfield><subfield code="c">Mark d'Inverno ; Michael Luck</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., rev. and extended</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 240 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer series on agent technology</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 227 - 236</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Agent <Informatik> - Formale Spezifikationstechnik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mehragentensystem - Formale Spezifikationstechnik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Agent</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4455835-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Agent</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4455835-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mehragentensystem</subfield><subfield code="0">(DE-588)4389058-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Luck, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131690426</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010502685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010502685</subfield></datafield></record></collection> |
| id | DE-604.BV017430815 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:17:56Z |
| institution | BVB |
| isbn | 3540407006 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010502685 |
| oclc_num | 249080507 |
| open_access_boolean | |
| owner | DE-573 DE-1046 DE-20 DE-11 DE-525 |
| owner_facet | DE-573 DE-1046 DE-20 DE-11 DE-525 |
| physical | XVIII, 240 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer series on agent technology |
| spelling | D'Inverno, Mark Verfasser aut Understanding agent systems Mark d'Inverno ; Michael Luck 2. ed., rev. and extended Berlin [u.a.] Springer 2004 XVIII, 240 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Springer series on agent technology Literaturverz. S. 227 - 236 Agent <Informatik> - Formale Spezifikationstechnik Mehragentensystem - Formale Spezifikationstechnik Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Agent Informatik (DE-588)4455835-1 gnd rswk-swf Mehragentensystem (DE-588)4389058-1 gnd rswk-swf Agent Informatik (DE-588)4455835-1 s Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Mehragentensystem (DE-588)4389058-1 s Luck, Michael Verfasser (DE-588)131690426 aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010502685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | D'Inverno, Mark Luck, Michael Understanding agent systems Agent <Informatik> - Formale Spezifikationstechnik Mehragentensystem - Formale Spezifikationstechnik Formale Spezifikationstechnik (DE-588)4299725-2 gnd Agent Informatik (DE-588)4455835-1 gnd Mehragentensystem (DE-588)4389058-1 gnd |
| subject_GND | (DE-588)4299725-2 (DE-588)4455835-1 (DE-588)4389058-1 |
| title | Understanding agent systems |
| title_auth | Understanding agent systems |
| title_exact_search | Understanding agent systems |
| title_full | Understanding agent systems Mark d'Inverno ; Michael Luck |
| title_fullStr | Understanding agent systems Mark d'Inverno ; Michael Luck |
| title_full_unstemmed | Understanding agent systems Mark d'Inverno ; Michael Luck |
| title_short | Understanding agent systems |
| title_sort | understanding agent systems |
| topic | Agent <Informatik> - Formale Spezifikationstechnik Mehragentensystem - Formale Spezifikationstechnik Formale Spezifikationstechnik (DE-588)4299725-2 gnd Agent Informatik (DE-588)4455835-1 gnd Mehragentensystem (DE-588)4389058-1 gnd |
| topic_facet | Agent <Informatik> - Formale Spezifikationstechnik Mehragentensystem - Formale Spezifikationstechnik Formale Spezifikationstechnik Agent Informatik Mehragentensystem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010502685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT dinvernomark understandingagentsystems AT luckmichael understandingagentsystems |