|9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)|
|[Co-located with 11th European Conference on LOGICS IN ARTIFICIAL INTELLIGENCE (JELIA-08)]|
|Technische Universität Dresden, Germany 29th-30th September, 2008|
Note that the deadline for early registration is August 20th.
Justification Logic - Sergei N. Artemov
Does Complexity Matter? - Wojtek Jamroga
A study of computational complexity
is nowadays almost obligatory in a paper on logic in
MAS. Authors usually study the complexity of model
checking and/or satisfiability checking of their
logics in order to back the usefulness of the logics
with a formal argument. In my talk, I suggest that
the results are often removed from the ``practical''
complexity which is encountered when one tries to use
the formalisms in reality. Moreover, it is possible
to manipulate the context so that different
complexity results are obtained for the same
problem. I support the claim with a review of
complexity results for model checking of temporal and
strategic logics. I also briefly discuss some ideas
that might help to reduce the real complexity of
computation, at the expense of either generality or
- Laura Giordano and Alberto Martelli.
- Norihiro Kamide.
- Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira and Panagiota Tsintza.
- Phan Minh Dung and Phan Minh Thang.
- Stefania Costantini, Arianna Tocchio and Panagiota Tsintza.
- Phan Minh Dung, Phan Minh Thang and Nguyen Duy Hung.
- Emad Saad.
- Juan Manuel Serrano and Sergio Saugar.
Programming Multi-Agent Systems: Issues and Milestones - Mehdi Dastani
The development of multi-agent
systems requires programming languages that
facilitate the implementation of autonomous agents
and mechanisms that control and regulate agents'
behaviours. It also requires computational tools to
verify multi-agent programs. In this talk, I give a
brief overview of recent developments in this
research field and discuss concepts, tools and
techniques that are used in different multi-agent
programming approaches. In particular, I will focus
on a multi-agent programming language called 2APL (A
Practical Agent Programming Language) and explain
different approaches to verify 2APL programs.
- Marius Bujorianu and Manuela Luminita Bujorianu.
- Catalin Dima.
- Yoshitaka Suzuki.
- Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini and Brian Logan.
Call for Papers - HTML
Call for Papers - PDF
Call for Papers - TXT
Michael Fisher Liverpool, UK
Fariba Sadri London, UK
Michael Thielscher Dresden, Germany
See Call for Papers
This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.70)
Copyright © 1993, 1994, 1995, 1996,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -no_navigation -split 1 -no_subdir -t clima08cfp.html -address M.Fisher@csc.liv.ac.uk clima08cfp
The translation was initiated by Michael Fisher on 2007-12-20