Coverart for item
The Resource Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, Michael Fisher [and others] (eds.)

Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, Michael Fisher [and others] (eds.)

Label
Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Title
Computational logic in multi-agent systems
Title remainder
13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Statement of responsibility
Michael Fisher [and others] (eds.)
Title variation
CLIMA XIII
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. 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
Member of
Is part of
Cataloging source
GW5XE
Dewey number
006.3
Index
index present
Language note
English
LC call number
QA76.76.I58
LC item number
C55 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
CLIMA (Workshop)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
Fisher, Michael
Series statement
  • Lecture notes in artificial intelligence
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
7486
http://library.link/vocab/subjectName
  • Multiagent systems
  • Computational intelligence
  • Informatique
  • Computational intelligence
  • Multiagent systems
Label
Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, Michael Fisher [and others] (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and 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
  • Distributed Defeasible Speculative Reasoning in Ambient Environment
  • Ho-Pun Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
  • A Formal Semantics for Agent (Re)Organization
  • Frank Dignum and Virginia Dignum
  • Epistemic ATL with Perfect Recall, Past and Strategy Contexts
  • Dimitar P. Guelev and Catalin Dima
  • Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters
  • Matei Popovici
  • Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach
  • Isabelle Mirbel and Serena Villata
  • Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
  • A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks
  • Nils Bulling, Michael Köster and Matei Popovici
  • MKNF Knowledge Bases in Multi-Context Systems
  • Martin Homola, Matthias Knorr, João Leite and Martin Slota
  • Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning
  • Ben Wright, Enrico Pontelli and Tran Cao Son
  • Full Hybrid [mu]-Calculus, Its Bisimulation Invariance and Application to Argumentation
  • Cristian Gratie, Adina Magda Florea and John-Jules Ch. Meyer
  • A Numerical Approach to the Merging of Argumentation Networks
  • Dov Gabbay and Odinaldo Rodrigues
  • Dov Gabbay
  • Multi-agent Only-Knowing
  • Gerhard Lakemeyer
  • Logics for Reasoning about Agents' Attitudes in Strategic Contexts
  • Emiliano Lorini
  • A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents
  • Isaac Pinyol
Control code
808125732
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642328961
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-32897-8
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)808125732
Label
Computational logic in multi-agent systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, Michael Fisher [and others] (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and 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
  • Distributed Defeasible Speculative Reasoning in Ambient Environment
  • Ho-Pun Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
  • A Formal Semantics for Agent (Re)Organization
  • Frank Dignum and Virginia Dignum
  • Epistemic ATL with Perfect Recall, Past and Strategy Contexts
  • Dimitar P. Guelev and Catalin Dima
  • Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters
  • Matei Popovici
  • Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach
  • Isabelle Mirbel and Serena Villata
  • Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
  • A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks
  • Nils Bulling, Michael Köster and Matei Popovici
  • MKNF Knowledge Bases in Multi-Context Systems
  • Martin Homola, Matthias Knorr, João Leite and Martin Slota
  • Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning
  • Ben Wright, Enrico Pontelli and Tran Cao Son
  • Full Hybrid [mu]-Calculus, Its Bisimulation Invariance and Application to Argumentation
  • Cristian Gratie, Adina Magda Florea and John-Jules Ch. Meyer
  • A Numerical Approach to the Merging of Argumentation Networks
  • Dov Gabbay and Odinaldo Rodrigues
  • Dov Gabbay
  • Multi-agent Only-Knowing
  • Gerhard Lakemeyer
  • Logics for Reasoning about Agents' Attitudes in Strategic Contexts
  • Emiliano Lorini
  • A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents
  • Isaac Pinyol
Control code
808125732
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642328961
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-32897-8
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)808125732

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 ...