Verfügbarkeit: Computational logic in multi agent systems

Computational logic in multi agent systems: 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 8143 : Lecture notes in artificial intelligence
Schlagworte:	Computational logic Mehragentensystem Konferenzschrift > 2013 > Corunna
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XXIV, 390 S.) Ill., graph. Darst.
ISBN:	9783642406232 9783642406249
DOI:	10.1007/978-3-642-40624-9

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041441040
003	DE-604
005	20140401
007	cr\|uuu---uuuuu
008	131125s2013 xx ad\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642406232 \|9 978-3-642-40623-2
020			\|a 9783642406249 \|c eISBN \|9 978-3-642-40624-9
024	7		\|a 10.1007/978-3-642-40624-9 \|2 doi
035			\|a (OCoLC)861540874
035			\|a (DE-599)BVBBV041441040
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-739 \|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 006.3
084			\|a MAT 540f \|2 stub
084			\|a DAT 709f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Computational logic in multi agent systems \|b 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings \|c João Leite ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XXIV, 390 S.) \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8143 : 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 2013 \|z Corunna \|2 gnd-content
689	0	0	\|a Computational logic \|0 (DE-588)4255672-7 \|D s
689	0	1	\|a Mehragentensystem \|0 (DE-588)4389058-1 \|D s
689	0		\|5 DE-604
700	1		\|a Leite, João \|e Sonstige \|4 oth
711	2		\|a CLIMA \|n 14 \|d 2013 \|c La Coruña \|j Sonstige \|0 (DE-588)1041766157 \|4 oth
830		0	\|a Lecture notes in computer science \|v 8143 : Lecture notes in artificial intelligence \|w (DE-604)BV014880109 \|9 8143
856	4	0	\|u https://doi.org/10.1007/978-3-642-40624-9 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887802&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887802&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026887802

Datensatz im Suchindex

_version_	1820875539261423616
adam_text	COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS FROM DISCOURSE ANALYSIS TO ARGUMENTATION SCHEMES AND BACK: RELATIONS AND DIFFERENCES ANALYZING THE EQUIVALENCE ZOO IN ABSTRACT ARGUMENTATION ON THE INSTANTIATION OF KNOWLEDGE BASES IN ABSTRACT ARGUMENTATION FRAMEWORKS REWRITING RULES FOR THE COMPUTATION OF GOAL-ORIENTED CHANGES IN AN ARGUMENTATION SYSTEM A SEQUENT-BASED REPRESENTATION OF LOGICAL ARGUMENTATION INSTANTIATING KNOWLEDGE BASES IN ABSTRACT DIALECTICAL FRAMEWORKS ADMISSIBILITY IN THE ABSTRACT DIALECTICAL FRAMEWORK COMPUTING THE GROUNDED SEMANTICS IN ALL THE SUBGRAPHS OF AN ARGUMENTATION FRAMEWORK: AN EMPIRICAL EVALUATION ADVANCED SAT TECHNIQUES FOR ABSTRACT ARGUMENTATION WEB BASED SYSTEM FOR WEIGHTED DEFEASIBLE ARGUMENTATION COALITIONAL RESPONSIBILITY IN STRATEGIC SETTINGS SYMMETRIES AND EPISTEMIC REASONING ACCUMULATIVE KNOWLEDGE UNDER BOUNDED RESOURCES TIME IS UP! – NORMS WITH DEADLINES IN ACTION LANGUAGES EXTERNAL TRANSACTION LOGIC WITH AUTOMATIC COMPENSATIONS PERCEIVING RULES UNDER INCOMPLETE AND INCONSISTENT INFORMATION USING AGENT JPF TO BUILD MODELS FOR OTHER MODEL CHECKERS REASONING ABOUT THE BELIEFS OF AGENTS IN MULTI-AGENT DOMAINS IN THE PRESENCE OF STATE CONSTRAINTS: THE ACTION LANGUAGE MAL A TEMPORAL ARGUMENTATION APPROACH TO COOPERATIVE PLANNING USING DIALOGUES RECONFIGURATION OF LARGE-SCALE SURVEILLANCE SYSTEMS AN ARGUMENTATION-BASED APPROACH FOR AUTOMATIC EVALUATION OF DESIGN DEBATES RISK ASSESSMENT AS AN ARGUMENTATION GAME ASSUMPTION-BASED ARGUMENTATION FOR DECISION-MAKING WITH PREFERENCES: A MEDICAL CASE STUDY DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 14TH INTERNATIONAL WORKSHOP ON COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, HELD IN CORUNNA, SPAIN, IN SEPTEMBER 2013. THE 23 REGULAR PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 44 SUBMISSIONS AND PRESENTED WITH FOUR INVITED TALKS. THE PURPOSE OF THE CLIMA WORKSHOPS IS TO PROVIDE A FORUM FOR DISCUSSING TECHNIQUES, BASED ON COMPUTATIONAL LOGIC, FOR REPRESENTING, PROGRAMMING AND REASONING ABOUT AGENTS AND MULTI-AGENT SYSTEMS IN A FORMAL WAY. THIS EDITION WILL FEATURE TWO SPECIAL SESSIONS: ARGUMENTATION TECHNOLOGIES AND NORMS AND NORMATIVE MULTI-AGENT SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV041441040
classification_rvk	SS 4800
classification_tum	MAT 540f DAT 709f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)861540874 (DE-599)BVBBV041441040
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 Mathematik
doi_str_mv	10.1007/978-3-642-40624-9
format	Electronic Conference Proceeding eBook
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">BV041441040</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140401</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131125s2013 xx ad\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642406232</subfield><subfield code="9">978-3-642-40623-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642406249</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-40624-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40624-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)861540874</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041441040</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 540f</subfield><subfield code="2">stub</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 000</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">14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; 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">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXIV, 390 S.)</subfield><subfield code="b">Ill., 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">8143 : 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">2013</subfield><subfield code="z">Corunna</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><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=" "><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">14</subfield><subfield code="d">2013</subfield><subfield code="c">La Coruña</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041766157</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">8143 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8143</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40624-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026887802&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026887802&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026887802</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Corunna gnd-content
genre_facet	Konferenzschrift 2013 Corunna
id	DE-604.BV041441040
illustrated	Illustrated
indexdate	2025-01-10T15:17:14Z
institution	BVB
institution_GND	(DE-588)1041766157
isbn	9783642406232 9783642406249
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026887802
oclc_num	861540874
open_access_boolean
owner	DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XXIV, 390 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computational logic in multi agent systems 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings João Leite ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XXIV, 390 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8143 : 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 2013 Corunna gnd-content Computational logic (DE-588)4255672-7 s Mehragentensystem (DE-588)4389058-1 s DE-604 Leite, João Sonstige oth CLIMA 14 2013 La Coruña Sonstige (DE-588)1041766157 oth Lecture notes in computer science 8143 : Lecture notes in artificial intelligence (DE-604)BV014880109 8143 https://doi.org/10.1007/978-3-642-40624-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887802&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887802&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Computational logic in multi agent systems 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; 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 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings
title_auth	Computational logic in multi agent systems 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings
title_exact_search	Computational logic in multi agent systems 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings
title_full	Computational logic in multi agent systems 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings João Leite ... (eds.)
title_fullStr	Computational logic in multi agent systems 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings João Leite ... (eds.)
title_full_unstemmed	Computational logic in multi agent systems 14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings João Leite ... (eds.)
title_short	Computational logic in multi agent systems
title_sort	computational logic in multi agent systems 14th international workshop clima xiv corunna spain september 16 18 2013 proceedings
title_sub	14th international workshop, CLIMA XIV, Corunna, Spain, September 16 - 18, 2013 ; proceedings
topic	Computational logic (DE-588)4255672-7 gnd Mehragentensystem (DE-588)4389058-1 gnd
topic_facet	Computational logic Mehragentensystem Konferenzschrift 2013 Corunna
url	https://doi.org/10.1007/978-3-642-40624-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887802&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887802&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT leitejoao computationallogicinmultiagentsystems14thinternationalworkshopclimaxivcorunnaspainseptember16182013proceedings AT climalacoruna computationallogicinmultiagentsystems14thinternationalworkshopclimaxivcorunnaspainseptember16182013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge