Verfügbarkeit: Computational logic in multi agent systems

Computational logic in multi agent systems: 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6814
Schlagworte:	Computational logic Mehragentensystem Konferenzschrift > 2011 > Barcelona
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XV, 382 S. graph. Darst.
ISBN:	9783642223587 3642223583

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039132203
003	DE-604
005	20111115
007	t\|
008	110712s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N24 \|2 dnb
016	7		\|a 1012631834 \|2 DE-101
020			\|a 9783642223587 \|c Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) \|9 978-3-642-22358-7
020			\|a 3642223583 \|c Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) \|9 3-642-22358-3
024	3		\|a 9783642223587
028	5	2	\|a Best.-Nr.: 80073845
035			\|a (OCoLC)844951789
035			\|a (DE-599)DNB1012631834
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-83 \|a DE-91G
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 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings \|c João Leite ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a XV, 382 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 6814 : 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 2011 \|z Barcelona \|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 Leite, João \|e Sonstige \|4 oth
711	2		\|a CLIMA \|n 12 \|d 2011 \|c Barcelona \|j Sonstige \|0 (DE-588)16164193-3 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6814 \|w (DE-604)BV000000607 \|9 6814
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3838731&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=024150502&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024150502

Datensatz im Suchindex

_version_	1820875331338240000
adam_text	IMAGE 1 TABLE OF CONTENTS SECRETS AND TRUST SOME THOUGHTS ON USING ARGUMENTATION TO HANDLE TRUST (INVITED TALK) 1 SIMON PARSONS, YUQING TANG, KAI CAI, ELIZABETH SKLAR, AND PETER MCBURNEY TRANSITIVITY AND PROPAGATION OF TRUST IN INFORMATION SOURCES: AN ANALYSIS IN MODAL LOGIC 13 ROBERT DEMOLOMBE THE FUNCTIONAL DEPENDENCE RELATION ON HYPERGRAPHS OF SECRETS 29 SARA MINER MORE AND PAVEL NAUMOV KNOWLEDGE AND BELIEFS THREE STEPS 41 HANS VAN DITMARSCH AND FERNANDO SOLER-TOSCANO A MODAL FRAMEWORK FOR RELATING BELIEF AND SIGNED INFORMATION 58 EMILIANO LORINI, LAURENT PERRUSSEL, AND JEAN-MARC THEVENIN ON THE DEFINABILITY OF SIMULABILITY AND BISIMILARITY BY FINITE EPISTEMIC MODELS 74 HANS VAN DITMARSCH, DAVID FERNANDEZ-DUQUE, AND WIEBE VAN DER HOEK LOGICS FOR GAMES AND SOCIAL CHOICE APPLICATIONS OF LOGIC IN SOCIAL CHOICE THEORY (INVITED TALK) 88 ULLE ENDRISS A GEOMETRIC LOOK AT MANIPULATION 92 JAN VAN EIJCK ALTERNATING-TIME TEMPORAL ANNOUNCEMENT LOGIC 105 TIAGO DE LIMA SYNTHESIZING STRATEGIES FOR HOMOGENOUS MULTI-AGENT SYSTEMS WITH INCOMPLETE INFORMATION 122 JAN CALTA AND DMITRY SHKATOV BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012631834 DIGITALISIERT DURCH IMAGE 2 XIV TABLE OF CONTENTS REASONING ABOUT JOINT ACTION AND COALITIONAL ABILITY IN K N WITH INTERSECTION 139 THOMAS AGOTNES AND NATASHA ALECHINA ONTOLOGY MERGING AS SOCIAL CHOICE 157 DANIELE PORELLO AND ULLE ENDRISS COOPERATION SOCIAL COMMITMENT DELEGATION AND MONITORING 171 OZGIIR KAFAH AND PAOLO TORRONI VERIFYING TEAM FORMATION PROTOCOLS WITH PROBABILISTIC MODEL CHECKING 190 TAOLUE CHEN, MARTA KWIATKOWSKA, DAVID PARKER, AND AISTIS SIMAITIS ABDUCTION-BASED SEARCH FOR COOPERATIVE ANSWERS 208 SAMY SA AND JOAEO ALCANTARA REASONING ABOUT EXCEPTIONS TO CONTRACTS 225 OZGIIR KAFAH, FRANCESCA TONI, AND PAOLO TORRONI LOGIC AND LANGUAGES PROBABILISTIC RULE LEARNING IN NONMONOTONIC DOMAINS 243 DOMENICO CORAPI, DANIEL SYKES, KATSUMI INOUE, AND ALESSANDRA RUSSO A FORMAL SEMANTICS FOR BRAHMS 259 RICHARD STOCKER, MAARTEN SIERHUIS, LOUISE DENNIS, CLARE DIXON, AND MICHAEL FISHER MAKING GOLOG NORM COMPLIANT 275 ALFREDO GABALDON NORMS AND NORMATIVE MULTI-AGENT SYSTEMS PROBABILISTIC ACTION AND DEONTIC LOGIC (INVITED TALK) 293 JAN BROERSEN A DYNAMIC LOGIC OF INSTITUTIONAL ACTIONS 295 ANDREAS HERZIG, EMILIANO LORINI, AND NICOLAS TROQUARD A PARACONSISTENT MULTI-AGENT FRAMEWORK FOR DEALING WITH NORMATIVE CONFLICTS 312 MATHIEU BEIRLAEN AND CHRISTIAN STRASSER IMAGE 3 TABLE OF CONTENTS XV NORMATIVE SYSTEMS REPRESENTED AS HYBRID KNOWLEDGE BASES 330 MARCO ALBERTI, ANA SOFIA GOMES, RICARDO GONCALVES, JOAEO LEITE, AND MARTIN SLOTA ACTING ON NORM CONSTRAINED PLANS 347 MR OREN, WAMBERTO VASCONCELOS, FELIPE MENEGUZZI, AND MICHAEL LUCK JUSTICE DELAYED IS JUSTICE DENIED: LOGICS FOR A TEMPORAL ACCOUNT OF REPARATIONS AND LEGAL COMPLIANCE 364 GUIDO GOVERNATORI AND ANTONINO ROTOLO AUTHOR INDEX 383
any_adam_object	1
building	Verbundindex
bvnumber	BV039132203
classification_rvk	SS 4800
classification_tum	DAT 709f DAT 540f
ctrlnum	(OCoLC)844951789 (DE-599)DNB1012631834
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">BV039132203</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110712s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012631834</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642223587</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-22358-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642223583</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">3-642-22358-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642223587</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80073845</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844951789</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012631834</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-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</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">12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings</subfield><subfield code="c">João Leite ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 382 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">6814 : 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">2011</subfield><subfield code="z">Barcelona</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">Leite, João</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CLIMA</subfield><subfield code="n">12</subfield><subfield code="d">2011</subfield><subfield code="c">Barcelona</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16164193-3</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">6814</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6814</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=3838731&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=024150502&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-024150502</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Barcelona gnd-content
genre_facet	Konferenzschrift 2011 Barcelona
id	DE-604.BV039132203
illustrated	Illustrated
indexdate	2025-01-10T15:13:55Z
institution	BVB
institution_GND	(DE-588)16164193-3
isbn	9783642223587 3642223583
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024150502
oclc_num	844951789
open_access_boolean
owner	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
physical	XV, 382 S. graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computational logic in multi agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings João Leite ... (eds.) Berlin [u.a.] Springer 2011 XV, 382 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6814 : 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 2011 Barcelona gnd-content Mehragentensystem (DE-588)4389058-1 s Computational logic (DE-588)4255672-7 s DE-604 Leite, João Sonstige oth CLIMA 12 2011 Barcelona Sonstige (DE-588)16164193-3 oth Lecture notes in computer science 6814 (DE-604)BV000000607 6814 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3838731&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=024150502&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Computational logic in multi agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; 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 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings
title_auth	Computational logic in multi agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings
title_exact_search	Computational logic in multi agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings
title_full	Computational logic in multi agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings João Leite ... (eds.)
title_fullStr	Computational logic in multi agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings João Leite ... (eds.)
title_full_unstemmed	Computational logic in multi agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings João Leite ... (eds.)
title_short	Computational logic in multi agent systems
title_sort	computational logic in multi agent systems 12th international workshop clima xii barcelona spain july 17 18 2011 proceedings
title_sub	12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings
topic	Computational logic (DE-588)4255672-7 gnd Mehragentensystem (DE-588)4389058-1 gnd
topic_facet	Computational logic Mehragentensystem Konferenzschrift 2011 Barcelona
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3838731&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=024150502&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT leitejoao computationallogicinmultiagentsystems12thinternationalworkshopclimaxiibarcelonaspainjuly17182011proceedings AT climabarcelona computationallogicinmultiagentsystems12thinternationalworkshopclimaxiibarcelonaspainjuly17182011proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge