[FOM] Deadline Extension [CyS]: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems
Bruno Lopes
blopesvieira at gmail.com
Fri Jul 3 17:26:04 EDT 2015
[Apologies for multiple copies]
New deadline for submissions: July 31th, 2015
----------------------------------------------------------------------------
Call for Papers
Computación y Sistemas
Thematic Issue on Developments on Logic-based Methods for Intelligent
Systems
http://www.ic.uff.br/~bruno/TIComputacionSistemas2015/
-----------------------------------------------------------------------------
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: July 31, 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/20150703/ebb02e0d/attachment.html>
More information about the FOM
mailing list