Petición de trabajos para el Taller sobre Lógica Computacional e Inteligencia Artificial CLAI 2009

puente de Triana

Reproduzco a continuación la petición de trabajos para el Workshop on Computational Logic and Artificial Intelligence (CLAI 2009) que estamos organizando con motivo del Congreso del 2009 de la Asociación Española de Inteligencia Artificial (CAEPIA 200):

CLAI 2009
Workshop on Computational Logic and Artificial Intelligence
(workshop program of the 13th Conference
of the Spanish Association for Artificial Intelligence
Sevilla, Spain, November 9, 2009

This workshop (associated to the main Spanish Conference on Artificial Intelligence CAEPIA’09, to be held in Sevilla, Spain, from November 9 to November 13, 2009), intends to be a forum where reserchers in these areas will present and discusss emerging work in those fields of Artificial Intelligence where Computational Logic plays an important role. It also intends to provide a framework where research groups in this field can interact

The following is a (non-exhaustive) list of topics of interest:

  • Logics for formal verification of systems
  • Non-classical logics (fuzzy, temporal, modal,…)
  • Theorem proving
  • Knowledge representation and reasoning
  • Knowledge engineering
  • Logic-based applications for the Semantic Web
  • Description logics
  • Logic-based ontology languages
  • Logic and constraint programming
  • Answer set programming
  • Logic-based planning and diagnosis
  • Logics and multi-agent systems
  • Foundations

We invite researchers to submit papers on Computational Logic and its relation to areas of Artificial Intelligence. We encourage to submit original research papers, as well as description of ongoing research. Papers must be sent in a PDF file, written in English or Spanish and not exceed 10 pages including figures, references, etc. Papers will be reviewed by at least two PC members, and accepted papers will be published only in the internal workshop proceedings. The papers must be formatted according to the Springer LNCS instructions for authors. Submission of papers and abstracts has to be be done using EasyChair (see the workshop web page).

We also plan to devote part of the workshop to a panel discussion on the Spanish research on Computational Logic. Thus, we invite members of Spanish research groups on the topics of interest of the workshop, Committees to submit a one page abstract describing the main research activities of the group, and expressing their interest in participating in this discussion.

Programme Committee

  • José Antonio Alonso (Universidad de Sevilla)
  • Joaquín Borrego (Universidad de Sevilla)
  • Pedro Cabalar (Universidad de La Coruña)
  • Carlos Viegas Damásio (Universidade Nova de Lisboa)
  • Luis María Laíta (Universidad Politécnica de Madrid)
  • Jesús Medina Moreno (Universidad de Cádiz)
  • Manuel Ojeda Aciego (Universidad de Málaga, co-chair)
  • David Pearce (Universidad Politécnica de Madrid)
  • Renaud Rioboo (ENSIIE Evry)
  • Julio Rubio (Universidad de La Rioja)
  • José Luis Ruiz Reina (Universidad de Sevilla, co-chair)
  • Umberto Straccia (ISTI-CNR Pisa)
  • Agustín Valverde (Universidad de Málaga)

Important Dates

  • Paper submission: July 31, 2009
  • Notification of acceptance/rejection: September 17, 2009
  • Camera-ready papers due: October 8, 2009
  • Workshop date: November 9, 2009