Eintrag weiter verarbeiten
Online-Ressource

Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften: Leite, João (VerfasserIn), Son, Tran Cao (HerausgeberIn), Torroni, Paolo (HerausgeberIn), Torre, Leon (HerausgeberIn), Woltran, Stefan (HerausgeberIn)
Titel: Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings/ edited by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 8143
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Artificial intelligence
Compilers (Computer programs).
Machine theory.
Application software.
Konferenzschrift > 2013 > La Coruña
Konferenzschrift
Druckausg.: Computational logic in multi-agent systems, Heidelberg : Springer, 2013, XXIV, 390 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 07497cam a22012252 4500
001 0-1653027568
003 DE-627
005 20240122104854.0
007 cr uuu---uuuuu
008 131022s2013 gw |||||o 00| ||eng c
020 |a 9783642406249  |9 978-3-642-40624-9 
024 7 |a 10.1007/978-3-642-40624-9  |2 doi 
035 |a (DE-627)1653027568 
035 |a (DE-576)394563646 
035 |a (DE-599)BSZ394563646 
035 |a (OCoLC)861540874 
035 |a (ZBM)1272.68028 
035 |a (ZBM)1272.68028 
035 |a (DE-He213)978-3-642-40624-9 
035 |a (EBP)040550869 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a Q334-342  |a TJ210.2-211.495 
050 0 |a Q334-342 
050 0 |a TJ210.2-211.495 
072 7 |a TJFM1  |2 bicssc 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68T27  |2 msc 
084 |a 68T42  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.72  |2 bkl 
084 |a 54.71  |2 bkl 
100 1 |a Leite, João  |0 (DE-627)1257214837  |0 (DE-576)187214832  |4 aut 
245 1 0 |a Computational Logic in Multi-Agent Systems  |b 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings  |c edited by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (XXIV, 391 p. 75 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 8143 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a From Discourse Analysis to Argumentation Schemes and Back: Relations and DifferencesAnalyzing 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. 
520 |a 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 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Artificial intelligence 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Artificial intelligence 
650 0 |a Compilers (Computer programs). 
650 0 |a Machine theory. 
650 0 |a Application software. 
655 7 |a Konferenzschrift  |y 2013  |z La Coruña  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4389058-1  |0 (DE-627)189373342  |0 (DE-576)211924512  |a Mehragentensystem  |2 gnd 
689 0 1 |D s  |0 (DE-588)4255672-7  |0 (DE-627)104705485  |0 (DE-576)210549378  |a Computational logic  |2 gnd 
689 0 |5 DE-101 
700 1 |a Son, Tran Cao  |e Hrsg.  |4 edt 
700 1 |a Torroni, Paolo  |e Hrsg.  |4 edt 
700 1 |a Torre, Leon  |e Hrsg.  |4 edt 
700 1 |a Woltran, Stefan  |e Hrsg.  |0 (DE-588)136964869  |0 (DE-627)588726079  |0 (DE-576)301365881  |4 edt 
776 1 |z 9783642406232 
776 0 8 |i Druckausg.  |t Computational logic in multi-agent systems  |d Heidelberg : Springer, 2013  |h XXIV, 390 S.  |w (DE-627)757142982  |w (DE-576)40115744X  |z 3642406238  |z 9783642406232 
830 0 |a Lecture notes in computer science  |v 8143  |9 8143  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-40624-9  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40624-9  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz394563646cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150316113341  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1272.68028  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)769204066 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.72  |j Künstliche Intelligenz  |q SEPA  |0 (DE-627)10641240X 
936 b k |a 54.71  |j Logikprogrammierung  |q SEPA  |0 (DE-627)106418912 
951 |a BO 
900 |a Leite, João Alexandre 
900 |a Woltran, S. 
950 |a Multi-Agenten-System 
950 |a Multiagentensystem 
950 |a Multi-Agentensystem 
950 |a Agent 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40624-9  |9 DE-14 
852 |a DE-14  |x epn:3362188664  |z 2013-10-22T08:13:08Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40624-9  |9 DE-15 
852 |a DE-15  |x epn:3362188699  |z 2013-10-22T08:13:08Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40624-9  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3362188737  |z 2013-10-22T08:13:08Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40624-9  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3362188761  |z 2013-10-22T08:13:08Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40624-9  |9 DE-520 
852 |a DE-520  |x epn:3362188796  |z 2013-10-22T08:13:08Z 
980 |a 1653027568  |b 0  |k 1653027568  |o 394563646 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Computational+Logic+in+Multi-Agent+Systems%3A+14th+International+Workshop%2C+CLIMA+XIV%2C+Corunna%2C+Spain%2C+September+16-18%2C+2013.+Proceedings&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Computational+Logic+in+Multi-Agent+Systems%3A+14th+International+Workshop%2C+CLIMA+XIV%2C+Corunna%2C+Spain%2C+September+16-18%2C+2013.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+8143&rft.au=Leite%2C+Jo%C3%A3o&rft.pub=Springer&rft.edition=&rft.isbn=3642406246
SOLR
_version_ 1792258626891546624
access_facet Electronic Resources
author Leite, João
author2 Son, Tran Cao, Torroni, Paolo, Torre, Leon, Woltran, Stefan
author2_role edt, edt, edt, edt
author2_variant t c s tc tcs, p t pt, l t lt, s w sw
author_facet Leite, João, Son, Tran Cao, Torroni, Paolo, Torre, Leon, Woltran, Stefan
author_role aut
author_sort Leite, João
author_variant j l jl
callnumber-first Q - Science
callnumber-label Q334-342
callnumber-raw Q334-342 TJ210.2-211.495, Q334-342, TJ210.2-211.495
callnumber-search Q334-342 TJ210.2-211.495, Q334-342, TJ210.2-211.495
callnumber-sort Q 3334 3342 T J210 12 3211.495
callnumber-subject Q - General Science
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents From Discourse Analysis to Argumentation Schemes and Back: Relations and DifferencesAnalyzing 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., 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
ctrlnum (DE-627)1653027568, (DE-576)394563646, (DE-599)BSZ394563646, (OCoLC)861540874, (ZBM)1272.68028, (DE-He213)978-3-642-40624-9, (EBP)040550869
de15_date 2013-10-22T08:13:08Z
dech1_date 2013-10-22T08:13:08Z
doi_str_mv 10.1007/978-3-642-40624-9
era_facet 2013
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Mehragentensystem, Computational logic
finc_class_facet Informatik, Allgemeine Naturwissenschaft, Technik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2013 La Coruña (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet La Coruña
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 8143
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1653027568
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1653027568
is_hierarchy_title Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
isbn 9783642406249
isbn_isn_mv 9783642406232, 3642406238
issn_isn_mv 1611-3349
kxp_id_str 1653027568
language English
last_indexed 2024-02-29T18:23:39.152Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Compilers (Computer programs)., Machine theory., Application software., Mehragentensystem, Computational logic
marc024a_ct_mv 10.1007/978-3-642-40624-9
match_str leite2013computationallogicinmultiagentsystems14thinternationalworkshopclimaxivcorunnaspainseptember16182013proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)8143
names_id_str_mv (DE-627)1257214837, (DE-576)187214832, (DE-588)136964869, (DE-627)588726079, (DE-576)301365881
oclc_num 861540874
physical Online-Ressource (XXIV, 391 p. 75 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 394563646
recordtype marcfinc
rsn_id_str_mv (DE-15)3260556
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 8143
series2 Lecture Notes in Computer Science ; 8143, SpringerLink ; Bücher
source_id 0
spelling Leite, João (DE-627)1257214837 (DE-576)187214832 aut, Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings edited by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran, Berlin, Heidelberg Springer 2013, Online-Ressource (XXIV, 391 p. 75 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 8143, SpringerLink Bücher, Literaturangaben, From Discourse Analysis to Argumentation Schemes and Back: Relations and DifferencesAnalyzing 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., 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, Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Compilers (Computer programs)., Machine theory., Application software., Konferenzschrift 2013 La Coruña (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4389058-1 (DE-627)189373342 (DE-576)211924512 Mehragentensystem gnd, s (DE-588)4255672-7 (DE-627)104705485 (DE-576)210549378 Computational logic gnd, DE-101, Son, Tran Cao Hrsg. edt, Torroni, Paolo Hrsg. edt, Torre, Leon Hrsg. edt, Woltran, Stefan Hrsg. (DE-588)136964869 (DE-627)588726079 (DE-576)301365881 edt, 9783642406232, Druckausg. Computational logic in multi-agent systems Heidelberg : Springer, 2013 XXIV, 390 S. (DE-627)757142982 (DE-576)40115744X 3642406238 9783642406232, Lecture notes in computer science 8143 8143 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-40624-9 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-40624-9 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz394563646cov.jpg V:DE-576 X:springer image/jpeg 20150316113341 Cover, https://zbmath.org/?q=an:1272.68028 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, (DE-627)769204066, http://dx.doi.org/10.1007/978-3-642-40624-9 DE-14, DE-14 epn:3362188664 2013-10-22T08:13:08Z, http://dx.doi.org/10.1007/978-3-642-40624-9 DE-15, DE-15 epn:3362188699 2013-10-22T08:13:08Z, http://dx.doi.org/10.1007/978-3-642-40624-9 DE-Ch1, DE-Ch1 epn:3362188737 2013-10-22T08:13:08Z, http://dx.doi.org/10.1007/978-3-642-40624-9 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3362188761 2013-10-22T08:13:08Z, http://dx.doi.org/10.1007/978-3-642-40624-9 DE-520, DE-520 epn:3362188796 2013-10-22T08:13:08Z
spellingShingle Leite, João, Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, Lecture notes in computer science, 8143, From Discourse Analysis to Argumentation Schemes and Back: Relations and DifferencesAnalyzing 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., 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, Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Compilers (Computer programs)., Machine theory., Application software., Konferenzschrift 2013 La Coruña, Konferenzschrift, Mehragentensystem, Computational logic
swb_id_str 394563646
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_full Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings edited by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran
title_fullStr Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings edited by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran
title_full_unstemmed Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings edited by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran
title_in_hierarchy 8143. Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings (2013)
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
title_unstemmed Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
topic Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Compilers (Computer programs)., Machine theory., Application software., Konferenzschrift 2013 La Coruña, Konferenzschrift, Mehragentensystem, Computational logic
topic_facet Logic design, Computer Science, Computer science, Software engineering, Artificial intelligence, Compilers (Computer programs)., Machine theory., Application software., Konferenzschrift, Mehragentensystem, Computational logic
url https://doi.org/10.1007/978-3-642-40624-9, http://dx.doi.org/10.1007/978-3-642-40624-9, https://swbplus.bsz-bw.de/bsz394563646cov.jpg, https://zbmath.org/?q=an:1272.68028