Formal models of agents: ESPRIT project model age final workshop ; selected papers
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
1999
|
| Series: | Lecture notes in computer science
1760 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 251 S. |
| ISBN: | 3540670270 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012932358 | ||
| 003 | DE-604 | ||
| 005 | 20011217 | ||
| 007 | t| | ||
| 008 | 991221s1999 gw |||| 10||| eng d | ||
| 016 | 7 | |a 958123497 |2 DE-101 | |
| 020 | |a 3540670270 |9 3-540-67027-0 | ||
| 035 | |a (OCoLC)43318713 | ||
| 035 | |a (DE-599)BVBBV012932358 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-N2 |a DE-634 |a DE-83 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA76.76.I58 | |
| 082 | 0 | |a 006.3 |2 21 | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a DAT 700f |2 stub | ||
| 245 | 1 | 0 | |a Formal models of agents |b ESPRIT project model age final workshop ; selected papers |c John-Jules Ch. Meyer ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 1999 | |
| 300 | |a VIII, 251 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1760 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Agentia |2 gtt | |
| 650 | 4 | |a Agents intelligents (Logiciels) | |
| 650 | 7 | |a Agents intelligents (logiciels) |2 ram | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 650 | 4 | |a Méthodes formelles (Informatique) | |
| 650 | 7 | |a Redes de computadores e tecnicas |2 larpcal | |
| 650 | 7 | |a agent intelligent |2 inriac | |
| 650 | 7 | |a modele base-agent |2 inriac | |
| 650 | 7 | |a systeme multi-agent |2 inriac | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 4 | |a Intelligent agents (Computer software) | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Agent |g Informatik |0 (DE-588)4455835-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Certosa di Pertignano |2 gnd-content | |
| 689 | 0 | 0 | |a Agent |g Informatik |0 (DE-588)4455835-1 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Meyer, John-Jules Ch. |d 1954- |e Sonstige |0 (DE-588)121645584 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1760 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1760 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008805862&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008805862 | |
Record in the Search Index
| _version_ | 1820874887836729344 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
FORMAL
MODELS
OF
AGENTS:
AN
INTRODUCTION
.
1
JOHN-JULES
CH.
MEYER
AND
PIERRE-YVES
SCHOBBENS
A
MODEL
OF
BDI-AGENT
IN
GAME-THEORETIC
FRAMEWORK
.
8
STANISLAW
AMBROSZKIEWICZ
AND
JAN
KOMAR
DYNAMIC
BELIEF
HIERARCHIES
.
20
JOHN
BELL
AND
ZHISHENG
HUANG
MODELLING
INTERNAL
DYNAMIC
BEHAVIOUR
OF
BDI
AGENTS
.
36
FRANCES
BRAZIER,
BARBARA
DUNIN-KGPLICZ,
JAN
TREUR,
RINEKE
VERBRUGGE
TOWARDS
AN
AGENT-ORIENTED
FRAMEWORK
FOR
SPECIFICATION
OF
INFORMATION
SYSTEMS
.
57
STEFAN
CONRAD,
GUNTER
SAAKE,
CAN
TURKER
THE
IMPOSSIBILITY
OF
MODELLING
COOPERATION
IN
PD-GAME
.
74
ROSARIA
CONTE,
CRISTIANO
CASTELFRANCHI
AND
ROBERTO
PEDONE
DESIGNING
MULTI-AGENT
SYSTEMS
AROUND
AN
EXTENSIBLE
COMMUNICATION
ABSTRACTION
.
90
ENRICO
DENTI
AND
ANDREA
OMICINI
SOCIAL
INTERACTIONS
OF
AUTONOMOUS
AGENTS:
PRIVATE
AND
GLOBAL
VIEWS
ON
COMMUNICATION
.
103
FRANK
DIGNUM
TOWARDS
A
PROOF-THEORETIC
FOUNDATION
FOR
ACTOR
SPECIFICATION
AND
VERIFICATION
.
123
CARLOS
H.C.
DUARTE
NONDETERMINISTIC
ACTIONS
WITH
TYPICAL
EFFECTS:
REASONING
ABOUT
SCENARIOS
143
BARBARA
DUNIN-KGPLICZ
AND
ANNA
RADZIKOWSKA
AGENTS
'
DYNAMIC
MENTAL
ATTITUDES
.
157
BRUNO
ERRICO
DIAGNOSTIC
AGENTS
FOR
DISTRIBUTED
SYSTEMS
.
173
PETER
FROHLICH,
JARA
DE
ALMEIDA
MO'RA,
WOLFGANG
NEJDL
AND
MICHAEL
SCHROEDER
VIII
PREFERENTIAL
ACTION
SEMANTICS
(PRELIMINARY
REPORT)
.
187
JOHN-JULES
CH.
MEYER
AND
PATRICK
DOHERTY
DIALECTICAL
PROOF
THEORY
FOR
DEFEASIBLE
ARGUMENTATION
WITH
DEFEASIBLE
PRIORITIES
(PRELIMINARY
REPORT)
.
202
HENRY
PRAKKEN
THE
ROLE
OF
DIAGNOSIS
AND
DECISION
THEORY
IN
NORMATIVE
REASONING
.
216
LEENDERT
W.N.
VAN
DER
TORRE,
PEDRO
RAMOS,
JOSE
LUIZ
FIADEIRO
AND
YAO-HUA
TAN
CONTEXTUAL
DEONTIC
LOGIC
.
240
LEENDERT
W.N.
VAN
DER
TORRE
AND
YAO-HUA
TAN
AUTHOR
INDEX
.
253 |
| any_adam_object | 1 |
| author_GND | (DE-588)121645584 |
| building | Verbundindex |
| bvnumber | BV012932358 |
| 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 |
| classification_tum | DAT 700f |
| ctrlnum | (OCoLC)43318713 (DE-599)BVBBV012932358 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV012932358</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011217</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">991221s1999 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958123497</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540670270</subfield><subfield code="9">3-540-67027-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)43318713</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012932358</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-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</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><subfield code="2">21</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="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal models of agents</subfield><subfield code="b">ESPRIT project model age final workshop ; selected papers</subfield><subfield code="c">John-Jules Ch. Meyer ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 251 S.</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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1760 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Agentia</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Agents intelligents (Logiciels)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Agents intelligents (logiciels)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia artificial (computacao)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Méthodes formelles (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redes de computadores e tecnicas</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">agent intelligent</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modele base-agent</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">systeme multi-agent</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligent agents (Computer software)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Certosa di Pertignano</subfield><subfield code="2">gnd-content</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 Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meyer, John-Jules Ch.</subfield><subfield code="d">1954-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121645584</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1760 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1760</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=008805862&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008805862</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Certosa di Pertignano gnd-content |
| genre_facet | Konferenzschrift 1997 Certosa di Pertignano |
| id | DE-604.BV012932358 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:53Z |
| institution | BVB |
| isbn | 3540670270 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008805862 |
| oclc_num | 43318713 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-N2 DE-634 DE-83 DE-11 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-N2 DE-634 DE-83 DE-11 DE-706 |
| physical | VIII, 251 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal models of agents ESPRIT project model age final workshop ; selected papers John-Jules Ch. Meyer ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 1999 VIII, 251 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1760 : Lecture notes in artificial intelligence Agentia gtt Agents intelligents (Logiciels) Agents intelligents (logiciels) ram Engenharia de programacao (software) larpcal Inteligencia artificial (computacao) larpcal Méthodes formelles (Informatique) Redes de computadores e tecnicas larpcal agent intelligent inriac modele base-agent inriac systeme multi-agent inriac Formal methods (Computer science) Intelligent agents (Computer software) Formale Methode (DE-588)4333722-3 gnd rswk-swf Agent Informatik (DE-588)4455835-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Certosa di Pertignano gnd-content Agent Informatik (DE-588)4455835-1 s Formale Methode (DE-588)4333722-3 s DE-604 Meyer, John-Jules Ch. 1954- Sonstige (DE-588)121645584 oth Lecture notes in computer science 1760 : Lecture notes in artificial intelligence (DE-604)BV000000607 1760 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008805862&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal models of agents ESPRIT project model age final workshop ; selected papers Lecture notes in computer science Agentia gtt Agents intelligents (Logiciels) Agents intelligents (logiciels) ram Engenharia de programacao (software) larpcal Inteligencia artificial (computacao) larpcal Méthodes formelles (Informatique) Redes de computadores e tecnicas larpcal agent intelligent inriac modele base-agent inriac systeme multi-agent inriac Formal methods (Computer science) Intelligent agents (Computer software) Formale Methode (DE-588)4333722-3 gnd Agent Informatik (DE-588)4455835-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4455835-1 (DE-588)1071861417 |
| title | Formal models of agents ESPRIT project model age final workshop ; selected papers |
| title_auth | Formal models of agents ESPRIT project model age final workshop ; selected papers |
| title_exact_search | Formal models of agents ESPRIT project model age final workshop ; selected papers |
| title_full | Formal models of agents ESPRIT project model age final workshop ; selected papers John-Jules Ch. Meyer ... (ed.) |
| title_fullStr | Formal models of agents ESPRIT project model age final workshop ; selected papers John-Jules Ch. Meyer ... (ed.) |
| title_full_unstemmed | Formal models of agents ESPRIT project model age final workshop ; selected papers John-Jules Ch. Meyer ... (ed.) |
| title_short | Formal models of agents |
| title_sort | formal models of agents esprit project model age final workshop selected papers |
| title_sub | ESPRIT project model age final workshop ; selected papers |
| topic | Agentia gtt Agents intelligents (Logiciels) Agents intelligents (logiciels) ram Engenharia de programacao (software) larpcal Inteligencia artificial (computacao) larpcal Méthodes formelles (Informatique) Redes de computadores e tecnicas larpcal agent intelligent inriac modele base-agent inriac systeme multi-agent inriac Formal methods (Computer science) Intelligent agents (Computer software) Formale Methode (DE-588)4333722-3 gnd Agent Informatik (DE-588)4455835-1 gnd |
| topic_facet | Agentia Agents intelligents (Logiciels) Agents intelligents (logiciels) Engenharia de programacao (software) Inteligencia artificial (computacao) Méthodes formelles (Informatique) Redes de computadores e tecnicas agent intelligent modele base-agent systeme multi-agent Formal methods (Computer science) Intelligent agents (Computer software) Formale Methode Agent Informatik Konferenzschrift 1997 Certosa di Pertignano |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008805862&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT meyerjohnjulesch formalmodelsofagentsespritprojectmodelagefinalworkshopselectedpapers |