Coverart for item
The Resource Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings, João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (eds.)

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings, João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (eds.)

Label
Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings
Title
Computational logic in multi-agent systems
Title remainder
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings
Statement of responsibility
João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (eds.)
Title variation
CLIMA XIV
Creator
Contributor
Editor
Subject
Genre
Language
eng
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. 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
Member of
Cataloging source
GW5XE
Dewey number
006.3
Index
index present
LC call number
QA76.76.I58
LC item number
C55 2013
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
CLIMA (Workshop)
Nature of contents
dictionaries
NLM call number
QA 76.76.I58
http://library.link/vocab/relatedWorkOrContributorName
Leite, João Alexandre
Series statement
  • Lecture Notes in Artificial Intelligence
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
8143
http://library.link/vocab/subjectName
  • Multiagent systems
  • Computational intelligence
  • Artificial Intelligence
  • Logic
  • Computational intelligence
  • Multiagent systems
Label
Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings, João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (eds.)
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Bibliography note
Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • A Sequent-Based Representation of Logical Argumentation
  • Ofer Arieli
  • Instantiating Knowledge Bases in Abstract Dialectical Frameworks
  • Hannes Strass
  • Admissibility in the Abstract Dialectical Framework
  • Sylwia Polberg and Johannes Peter Wallner
  • Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation
  • Pierpaolo Dondio
  • Advanced SAT Techniques for Abstract Argumentation
  • Johannes Peter Wallner and Georg Weissenbacher
  • From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences
  • Web Based System for Weighted Defeasible Argumentation
  • Alsinet Teresa, Béjar Ramón and Francesc Guitart
  • Coalitional Responsibility in Strategic Settings
  • Nils Bulling and Mehdi Dastani
  • Symmetries and Epistemic Reasoning
  • Jeffrey Kane and Pavel Naumov
  • Accumulative Knowledge under Bounded Resources
  • Wojciech Jamroga and Masoud Tabatabaei
  • Time Is Up! -- Norms with Deadlines in Action Languages
  • Matthias Knorr and Alfredo Gabaldon
  • Elena Cabrio, Sara Tonelli and Serena Villata
  • External Transaction Logic with Automatic Compensations
  • Ana Sofia Gomes and José Júlio Alferes
  • Perceiving Rules under Incomplete and Inconsistent Information
  • Barbara Dunin-Kep̜licz and Alina Strachocka
  • Using Agent JPF to Build Models for Other Model Checkers
  • Louise A. Dennis and Michael Fisher
  • Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
  • Chitta Baral and Gregory Gelfond
  • A Temporal Argumentation Approach to Cooperative Planning Using Dialogues
  • Pere Pardo and Lluís Godo
  • Analyzing the Equivalence Zoo in Abstract Argumentation
  • Reconfiguration of Large-Scale Surveillance Systems
  • Peter Novák and Cees Witteveen
  • Ringo Baumann and Gerhard Brewka
  • On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks
  • Adam Wyner, Trevor Bench-Capon and Paul Dunne
  • Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
  • Dionysios Kontarinis and Elise Bonzon
Control code
858939543
Dimensions
unknown
Extent
1 online resource (420 pages).
File format
unknown
Form of item
online
Isbn
9783642406232
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-40624-9
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)858939543
Label
Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, proceedings, João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (eds.)
Publication
Note
  • International conference proceedings
  • Includes author index
Antecedent source
unknown
Bibliography note
Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • A Sequent-Based Representation of Logical Argumentation
  • Ofer Arieli
  • Instantiating Knowledge Bases in Abstract Dialectical Frameworks
  • Hannes Strass
  • Admissibility in the Abstract Dialectical Framework
  • Sylwia Polberg and Johannes Peter Wallner
  • Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation
  • Pierpaolo Dondio
  • Advanced SAT Techniques for Abstract Argumentation
  • Johannes Peter Wallner and Georg Weissenbacher
  • From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences
  • Web Based System for Weighted Defeasible Argumentation
  • Alsinet Teresa, Béjar Ramón and Francesc Guitart
  • Coalitional Responsibility in Strategic Settings
  • Nils Bulling and Mehdi Dastani
  • Symmetries and Epistemic Reasoning
  • Jeffrey Kane and Pavel Naumov
  • Accumulative Knowledge under Bounded Resources
  • Wojciech Jamroga and Masoud Tabatabaei
  • Time Is Up! -- Norms with Deadlines in Action Languages
  • Matthias Knorr and Alfredo Gabaldon
  • Elena Cabrio, Sara Tonelli and Serena Villata
  • External Transaction Logic with Automatic Compensations
  • Ana Sofia Gomes and José Júlio Alferes
  • Perceiving Rules under Incomplete and Inconsistent Information
  • Barbara Dunin-Kep̜licz and Alina Strachocka
  • Using Agent JPF to Build Models for Other Model Checkers
  • Louise A. Dennis and Michael Fisher
  • Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
  • Chitta Baral and Gregory Gelfond
  • A Temporal Argumentation Approach to Cooperative Planning Using Dialogues
  • Pere Pardo and Lluís Godo
  • Analyzing the Equivalence Zoo in Abstract Argumentation
  • Reconfiguration of Large-Scale Surveillance Systems
  • Peter Novák and Cees Witteveen
  • Ringo Baumann and Gerhard Brewka
  • On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks
  • Adam Wyner, Trevor Bench-Capon and Paul Dunne
  • Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System
  • Dionysios Kontarinis and Elise Bonzon
Control code
858939543
Dimensions
unknown
Extent
1 online resource (420 pages).
File format
unknown
Form of item
online
Isbn
9783642406232
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-40624-9
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)858939543

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...