WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/793196810

Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully selected from 33 submissions and went through at least two rounds of reviewing and improvement. The regular papers address topics such as interdependencies and co-ordination of task-based planning in multi-agent systems, interval temporal logic, game theoretic concepts for reasoning about rational agents, proof theory for multi-agent epistemic logic, transformational semantics for evolving logic programs (EVOLP), programming languages based on BDI models, agent oriented early requirements engineering framework, heuristic algorithms for agent negotiation, as well as argumentation.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "CLIMA V"
  • "CLIMA V"@en
  • "CLIMA seven"
  • "CLIMA seven"@en
  • "CLIMA 2004"
  • "CLIMA 5"
  • "CLIMA 5"@en
  • "CLIMA VIII"@en
  • "CLIMA 2008"
  • "CLIMA VIII"
  • "CLIMA X"
  • "CLIMA 8"
  • "CLIMA 8"@en
  • "CLIMA 7"
  • "CLIMA 7"@en
  • "CLIMA IX"@en
  • "CLIMA IX"
  • "CLIMA VII"
  • "CLIMA VII"@en
  • "CLIMA 2007"
  • "Computational logic in multi-agent systems"
  • "CLIMA eight"
  • "CLIMA eight"@en
  • "CLIMA 2009"
  • "CLIMA five"
  • "CLIMA five"@en
  • "CLIMA XI"

author

contributor

http://schema.org/contributor

creator

http://schema.org/creator

description

http://schema.org/description

  • "This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully selected from 33 submissions and went through at least two rounds of reviewing and improvement. The regular papers address topics such as interdependencies and co-ordination of task-based planning in multi-agent systems, interval temporal logic, game theoretic concepts for reasoning about rational agents, proof theory for multi-agent epistemic logic, transformational semantics for evolving logic programs (EVOLP), programming languages based on BDI models, agent oriented early requirements engineering framework, heuristic algorithms for agent negotiation, as well as argumentation."@en
  • "This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008. The 8 full papers, presented together with two invited papers, were carefull selected from 18 submissions and passed through two rounds of reviewing and revision. Topics addressed in the regular papers include the use of automata-based techniques for verifying agents' conformance with protocols, and an approach based on the C+ action description language to provide formal specifications of social processes such as those used in business processes and social networks. Other topics include casting reasoning as planning and thus providing an analysis of reasoning with resource bounds, a discussion of the formal properties of Computational Tree Logic (CTL) extended with knowledge operators, and the use of argumentation in multi-agent negotiation. The invited contributions discuss complexity results for model-checking temporal and strategic properties of multi-agent systems, and the challenges in design and development of programming languages for multi-agent systems."
  • "This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008. The 8 full papers, presented together with two invited papers, were carefull selected from 18 submissions and passed through two rounds of reviewing and revision. Topics addressed in the regular papers include the use of automata-based techniques for verifying agents' conformance with protocols, and an approach based on the C+ action description language to provide formal specifications of social processes such as those used in business processes and social networks. Other topics include casting reasoning as planning and thus providing an analysis of reasoning with resource bounds, a discussion of the formal properties of Computational Tree Logic (CTL) extended with knowledge operators, and the use of argumentation in multi-agent negotiation. The invited contributions discuss complexity results for model-checking temporal and strategic properties of multi-agent systems, and the challenges in design and development of programming languages for multi-agent systems."@en
  • ""The fifth edition of CLIMA was held Lisbon, Portugal, in September 29-30, 2004.""@en
  • "This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The series of workshops presents current work on application of general and declarative theories grounded on computational logic to multi-agent systems specification, semantics and procedures, and confronts ideas such as autonomy, deliberation, knowledge, commitment, openness, trust, with."@en

editor

genre

http://schema.org/genre

  • "Porto (Portugal, 2007)"
  • "Hakodate <2006&gt"
  • "Conference proceedings"
  • "Conference proceedings"@en
  • "Lissabon (2004)"@en
  • "Ressources Internet"
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Kongress"
  • "Kongress"@en
  • "Dresden (2008)"@en
  • "Electronic books"
  • "Electronic books"@en
  • "Online-Publikation"

name

http://schema.org/name

  • "Computational logic in multi-agent systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers"
  • "Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers"
  • "Computational logic in multi-agent systems 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers"@en
  • "Computational logic in multi-agent systems 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers"
  • "Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 ; revised selected and invited papers"
  • "Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 ; revised selected and invited papers"@en
  • "Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers"@en
  • "Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : Revised Selected and Invited Papers"
  • "Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers"
  • "Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems : 5th international workshop, CLIMA V Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers"
  • "Computational logic in multi-agent systems 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems"@en
  • "Computational logic in multi-agent systems"
  • "Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16 - 17, 2010 ; proceedings"
  • "Computational logic in multi-agent systems 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and Invited papers"@en
  • "Computational logic in multi-agent systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers"
  • "Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings"
  • "Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings"
  • "Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers"
  • "Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers"@en
  • "Computational logic in multi-agent systems 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers"
  • "Computational logic in multi-agent systems : 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers"
  • "Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 ; revised selected and invited papers"
  • "Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 ; revised selected and invited papers"@en
  • "Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers"
  • "Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers"@en
  • "Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers"
  • "Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers"
  • "Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers"
  • "Computational logic in multi-agent systems 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers"
  • "Computational logic in multi-agent systems : 10th international workshop, CLIMA X, Hamburg, Germany, September 9 - 10, 2009 ; revised selected and invited papers"
  • "Computational logic in multi agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 ; revised selected and invited papers"
  • "Computational logic in multi-agent systems 5th international workshop, CLIMA V Lisbon : Portugal, September 29-30, 2004 : revised selected and invited papers"
  • "Computational logic in multi-agent systems 9th international workshop ; revised selected and invited papers"
  • "Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers"@en
  • "Computational logic in multi-agent systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers"
  • "Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers"
  • "Computational Logic in Multi-Agent Systems"
  • "Computational logic in multi-agent systems 8th international workshop ; revised selected and invited papers"
  • "Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers"

workExample

http://schema.org/workExample