posted by organizer: BrunoLopes || 3328 views || tracked by 7 users: [display]

Computación y Sistemas: Thematic Issue 2015 : Computación y Sistemas: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems

FacebookTwitterLinkedInGoogle

Link: http://www.tecmf.inf.puc-rio.br/SIComputacionSistemas
 
When N/A
Where N/A
Submission Deadline Jul 31, 2015
Notification Due Sep 30, 2015
Final Version Due Nov 30, 2015
Categories    logic   intelligent systems   artificial intelligence   formal methods
 

Call For Papers

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

Related Resources

Narrativa y cine Latinoamericano 2018   The Louisville Conference on Literature and Culture since 1900: Nuevos derroteros de la narrativa y del cine Latinoamericano actual
ACML 2018   The 10th Asian Conference on Machine Learning
CIIISI 2018   IV Congreso Internacional de Ingeniería Informática y Sistemas de Información (CIIISI´18)
WI 2018   2018 IEEE/WIC/ACM International Conference on Web Intelligence
INFONOR-CHILE 2018   IX CONGRESO INTERNACIONAL DE COMPUTACION E INFORMATICA DEL NORTE DE CHILE INFONOR-CHILE 2018
ACII 2018   Advanced Computational Intelligence: An International Journal
ExRe(y) 2018   Exhaustion and Regeneration in Post-Millennial North-American Literature and Visual Culture (EXTENDED DEADLINE)
ICTAI 2018   International Conference on Tools with Artificial Intelligence
HCIS TI CFPs 2018   Call for Papers Thematic Issue of HCIS-Springer (indexed by SCIE)
PSUC 2018   AESOP Thematic Group for Public Spaces and Urban Cultures Series UNSTABLE GEOGRAPHIES – DISLOCATED PUBLICS