[agents] CfP: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems

[Juan Carlos Nieves]

Dear Colleagues,

Apologies if you receive multiple copies of this CfP.

----------------------------------------------------------------------------
                               Call for Papers

                          Computación y Sistemas

Thematic Issue on Developments on Logic-based Methods for Intelligent 
Systems

          http://www.tecmf.inf.puc-rio.br/SIComputacionSistemas
-----------------------------------------------------------------------------


OVERVIEW AND SCOPE

Nowadays, logic-based methods are playing an important role on the new
generation of intelligent systems. Formal methods for capturing 
different sort
of data are a premier requirement for implementing intelligent systems in
different real applications, e.g., medical diagnosis, provision of 
services in
smart-environments, etc. In this setting, logic-based theories have been 
shown
to be sound theories for modelling and implementing intelligent systems.

This thematic issue invites contributions from researchers who share a
common interest in logic-based methods such as computational logic, formal
languages, algorithms, and Knowledge Representation.

Specific topics include:

  *   Non-monotonic reasoning
  *   Logic programming in Artificial Intelligence
  *   Logic-related algorithms
  *   Answer set programming
  *   Knowledge representation
  *   Belief representation
  *   Non-Classical logics
  *   Deduction techniques
  *   Automated reasoning
  *   Reasoning about situations and actions
  *   Preferences
  *   Default and abductive reasoning
  *   Argumentation
  *   Ontologies


PAPER SUBMISSION

We solicit high-quality submissions, related to the topics mentioned.

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission at EasyChair
at https://easychair.org/conferences/?conf=sics15, .
Papers must be formatted according to the author guidelines for 
Computación y
Sistemas papers, available at
http://cys.cic.ipn.mx/ojs/index.php/CyS/about/submissions#authorGuidelines


IMPORTANT DATES

Deadline for submission: June 30, 2015
First decision date: September 30, 2015
First revision date: November 15, 2015
Final decision date: December 15, 2015


GUEST EDITORS

Edward Hermann Haeusler (DI/Pontifícia Universidade Católica do Rio de 
Janeiro)
Bruno Lopes (DCC/Universidade Federal Fluminense)
Juan Carlos Nieves (DCC/Umeå University)