[FOM] CFP Computation y Sistemas: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems

[Bruno Lopes]

----------------------------------------------------------------------------
                              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 in 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)


-- 
Bruno Lopes
http://www.ic.uff.br/~bruno
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150420/c2f1c22a/attachment.html>