skip to content
Computational Logic in Multi-Agent Systems: 14th International Workshop Preview this item
ClosePreview this item
Checking...

Computational Logic in Multi-Agent Systems: 14th International Workshop

Publisher: Berlin Springer 2013.
Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, 8143
Edition/Format:   Print book : English
Summary:

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.

Rating:

(not yet rated) 0 with reviews - Be the first.

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
ISBN: 3642406238 9783642406232
OCLC Number: 858090816
Description: 420 pages 24 x 16 cm.
Contents: 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.
Series Title: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence, 8143
Responsibility: edited by Leite, Joao, Cao Son, Tran, Torroni, Paolo.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/858090816> # Computational Logic in Multi-Agent Systems: 14th International Workshop
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "858090816" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5620347335#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:bookFormat bgn:PrintBook ;
    schema:datePublished "2013" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5620347335> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5620347335#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
    schema:name "Computational Logic in Multi-Agent Systems: 14th International Workshop"@en ;
    schema:productID "858090816" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/858090816#PublicationEvent/berlinspringer2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5620347335#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9783642406232> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/858090816> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5620347335#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/858090816> ; # Computational Logic in Multi-Agent Systems: 14th International Workshop
    schema:name "Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence" ;
    .

<http://worldcat.org/isbn/9783642406232>
    a schema:ProductModel ;
    schema:isbn "3642406238" ;
    schema:isbn "9783642406232" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.