Computational logic in multi-agent systems: 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6245 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIV, 255 S. graph. Darst. |
| ISBN: | 9783642149764 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036616797 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | t| | ||
| 008 | 100816s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N28 |2 dnb | ||
| 016 | 7 | |a 1004244320 |2 DE-101 | |
| 020 | |a 9783642149764 |c PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-14976-4 | ||
| 024 | 3 | |a 9783642149764 | |
| 028 | 5 | 2 | |a 80020218 |
| 035 | |a (OCoLC)845807844 | ||
| 035 | |a (DE-599)DNB1004244320 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 709f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Computational logic in multi-agent systems |b 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings |c Jürgen Dix ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XIV, 255 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6245 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehragentensystem |0 (DE-588)4389058-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Mehragentensystem |0 (DE-588)4389058-1 |D s |
| 689 | 0 | 1 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dix, Jürgen |d 1961- |e Sonstige |0 (DE-588)135970741 |4 oth | |
| 711 | 2 | |a CLIMA |n 11 |d 2010 |c Lissabon |j Sonstige |0 (DE-588)16077858-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6245 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 6245 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3500797&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=020536919&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020536919 | |
Datensatz im Suchindex
| _version_ | 1820875254207086592 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS IS COMPUTATIONAL COMPLEXITY A BARRIER TO
MANIPULATION? 1 TOBY WALSH GAMES, NORMS AND STRATEGIC NOTIONS IN
INFORMATION FLOW SECURITY (ABSTRACT) 8 RON VAN DER MEYDEN GROUP
ANNOUNCEMENTS: LOGIC AND GAMES (EXTENDED ABSTRACT) 9 THOMAS AGOTNES
STRONG EQUIVALENCE IN ARGUMENTATION (ABSTRACT) 14 STEFAN WOLTRAN REGULAR
PAPERS HYPERGRAPHS OF MULTIPARTY SECRETS 15 SARA MINER MORE AND PAVEL
NAUMOV COMBINING LOGICS IN SIMPLE TYPE THEORY 33 CHRISTOPH BENZMUELLER
SPECULATIVE ABDUCTIVE REASONING FOR HIERARCHICAL AGENT SYSTEMS 49 JIEFEI
MA, KRYSIA BRODA, RANDY GOEBEL, HIROSHI HOSOBE, ALESSANDRA RUSSO, AND
KEN SATOH FORMAL SEMANTICS OF A DYNAMIC EPISTEMIC LOGIC FOR DESCRIBING
KNOWLEDGE PROPERTIES OF 7R-CALCULUS PROCESSES 65 PEDRO ARTURO GONGORA,
ERIC UFFERMAN, AND FRANCISCO HERNANDEZ-QUIROZ WHAT HAPPENED TO MY
COMMITMENT? EXCEPTION DIAGNOSIS AMONG MISALIGNMENT AND MISBEHAVIOR 82
OEZGUER KAFAL*, FEDERICO CHESANI, AND PAOLO TORRONI VERIFYING BUSINESS
PROCESS COMPLIANCE BY REASONING ABOUT ACTIONS . 99 DAVIDE D'APRILE,
LAURA GIORDANO, VALENTINA GLIOZZI, ALBERTO MARTELLI, GIAN LUCA POZZATO,
AND DANIELE THESEIDER DUPRE FROM ORGANISATION SPECIFICATION TO NORMATIVE
PROGRAMMING IN MULTI-AGEN BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1004244320 DIGITALISIERT DURCH XIV TABLE OF CONTENTS
FINDING UNIFORM STRATEGIES FOR MULTI-AGENT SYSTEMS 135 JAN CALTA, DMITRY
SHKATOV, AND HOLGER SCHLINGLOFF PLAYING EXTENSIVE FORM GAMES IN PARALLEL
153 SUJATA GHOSH, R. RAMANUJAM, AND SUNIL SIMON EXPLORING THE BOUNDARY
OF HALF POSITIONALITY 171 ALESSANDRO BIANCO, MARCO FAELLA, FABIO
MOGAVERO, AND ANIELLO MURANO PROOF-THEORETIC ANALYSIS OF RATIONALITY FOR
STRATEGIC GAMES WITH ARBITRARY STRATEGY SETS 186 JONATHAN A. ZVESPER AND
KRZYSZTOF R. APT AN AGENT LANGUAGE WITH DESTRUCTIVE ASSIGNMENT AND
MODEL-THEORETIC SEMANTICS 200 ROBERT KOWALSKI AND FARIBA SADRI MODEL
CHECKING AGENT PROGRAMS BY USING THE PROGRAM INTERPRETER . 219
SUNG-SHIK T.Q. JONGMANS, KOEN V. HINDRIKS, AND M. BIRNA VAN RIEMSDIJK A
DIALOGUE GAMES FRAMEWORK FOR THE OPERATIONAL SEMANTICS OF LOGIC
AGENT-ORIENTED LANGUAGES 238 STEFANIA COSTANTINI AND ARIANNA TOCCHIO
AUTHOR INDEX 257 |
| any_adam_object | 1 |
| author_GND | (DE-588)135970741 |
| building | Verbundindex |
| bvnumber | BV036616797 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 709f DAT 540f |
| ctrlnum | (OCoLC)845807844 (DE-599)DNB1004244320 |
| 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 | Conference Proceeding 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">BV036616797</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100816s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N28</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1004244320</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642149764</subfield><subfield code="c">PB. : EUR 49.22 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-14976-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642149764</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80020218</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845807844</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1004244320</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 709f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational logic in multi-agent systems</subfield><subfield code="b">11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings</subfield><subfield code="c">Jürgen Dix ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 255 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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6245 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</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">Dix, Jürgen</subfield><subfield code="d">1961-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135970741</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CLIMA</subfield><subfield code="n">11</subfield><subfield code="d">2010</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16077858-X</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">6245 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6245</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3500797&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020536919&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-020536919</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2010 Lissabon |
| id | DE-604.BV036616797 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:42Z |
| institution | BVB |
| institution_GND | (DE-588)16077858-X |
| isbn | 9783642149764 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020536919 |
| oclc_num | 845807844 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XIV, 255 S. graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings Jürgen Dix ... (eds.) Berlin [u.a.] Springer 2010 XIV, 255 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6245 : Lecture notes in artificial intelligence Computational logic (DE-588)4255672-7 gnd rswk-swf Mehragentensystem (DE-588)4389058-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Lissabon gnd-content Mehragentensystem (DE-588)4389058-1 s Computational logic (DE-588)4255672-7 s DE-604 Dix, Jürgen 1961- Sonstige (DE-588)135970741 oth CLIMA 11 2010 Lissabon Sonstige (DE-588)16077858-X oth Lecture notes in computer science 6245 : Lecture notes in artificial intelligence (DE-604)BV000000607 6245 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3500797&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020536919&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings Lecture notes in computer science Computational logic (DE-588)4255672-7 gnd Mehragentensystem (DE-588)4389058-1 gnd |
| subject_GND | (DE-588)4255672-7 (DE-588)4389058-1 (DE-588)1071861417 |
| title | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings |
| title_auth | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings |
| title_exact_search | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings |
| title_full | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings Jürgen Dix ... (eds.) |
| title_fullStr | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings Jürgen Dix ... (eds.) |
| title_full_unstemmed | Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings Jürgen Dix ... (eds.) |
| title_short | Computational logic in multi-agent systems |
| title_sort | computational logic in multi agent systems 11th international workshop clima xi lisbon portugal august 16 17 2010 proceedings |
| title_sub | 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 ; proceedings |
| topic | Computational logic (DE-588)4255672-7 gnd Mehragentensystem (DE-588)4389058-1 gnd |
| topic_facet | Computational logic Mehragentensystem Konferenzschrift 2010 Lissabon |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3500797&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020536919&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dixjurgen computationallogicinmultiagentsystems11thinternationalworkshopclimaxilisbonportugalaugust16172010proceedings AT climalissabon computationallogicinmultiagentsystems11thinternationalworkshopclimaxilisbonportugalaugust16172010proceedings |