text_combined: clima vi jxcznygdeisuniboitcsorstedu apologies crosspostings please send interested colleagues students first call papers clima vi sixth international workshop computational logic multiagent systems city university london uk june 2729 2005 httpclimadeisuniboit aims scope multiagent systems communities problemsolving entities perceive act upon environments achieve individual goals well joint goals work systems integrates many technologies concepts artificial intelligence areas computing well disciplines recent years agent paradigm gained popularity due applicability full spectrum domains search engines educational aids electronic commerce trade eprocurement recommendation systems simulation routing cite although commonly implemented means imperative languages mainly reasons efficiency agentrelated concepts recently increased influence research development computational logic based systems computational logic provides welldefined general rigorous framework studying syntax semantics procedures various tasks individual agents well interaction amongst agents multiagent systems attending implementations environments tools standards linking together specification verification properties individual agents multiagent systems purpose workshop discuss techniques based computational logic representing programming reasoning agents multiagent systems formal way solicit unpublished papers present formal approaches multiagent systems based upon relating computational logic approaches must make significant contribution practice multiagent systems topics relevant topics include limited following logical foundations multiagent systems knowledge belief representation updates multiagent systems agent multiagent hypothetical reasoning learning extensions logic programming multiagent systems nonmonotonic reasoning multiagent systems theory practice argumentation agent reasoning interaction operational semantics execution agent models model checking algorithms tools applications multiagent logics semantics interaction agent communication languages distributed constraint satisfaction multiagent systems temporal reasoning multiagent systems modal logic approaches multiagent systems logic based programming languages multiagent systems distributed theorem proving multiagent systems logic based implementations multiagent systems decision theory multiagent systems specification verification formal properties agent systems submissions welcome encourage submission high quality original papers simultaneously submitted publication elsewhere papers written english formatted according springer lncs style obtained httpwwwspringeronlinecom exceed 16 pages including figures references etc important dates submission april 7 2005 notification may 6 2005 cameraready may 27 2005 clima vi june 2729 2005 proceedings postworkshop publications printed volume proceedings available workshop past editions clima published journal special issues electronic notes theoretical computer science vol 705 2002 annals mathematics artificial intelligence vol 3712 2003 vol 4213 2004 book series recent vol 3259 springerverlag lecture notes artificial intelligence clima iv forthcoming issue series featuring postproceedings clima v organising committee workshop chairs francesca toni department computing imperial college london uk paolo torroni deis university bologna italy local organisation chair kostas stathis department computing city university london uk web support federico chesani deis university bologna italy fabio bucciarelli deis university bologna italy programme committee josé júlio alfers new university lisbon portugal rafael h bordini university durham uk gerhard brewka university leipzig germany jürgen dix technical university clausthal germany thomas eiter vienna university technology austria klaus fischer dfki germany michael fisher university manchester uk james harland rmit australia katsumi inoue national institute informatics japan antonis kakas university cyprus evelina lamma university ferrara italy joão leite new university lisbon portugal paolo mancarella university pisa italy paola mello university bologna italy john jules ch meyer utrecht university netherlands leora morgenstern ibm tj watson research center usa wojciech penczek polish academy sciences poland jeremy pitt imperial college london uk enrico pontelli new mexico state university usa fariba sadri imperial college london uk ken satoh national institute informatics japan renate schmidt university manchester uk trao son new mexico state university usa kostas stathis city university london uk wiebe van der hoek university manchester uk cees witteveen delft university technology netherlands tue 05 aug 2008 185026 0800 uai clima vi first call papers