November 27, Wednesday - Morning

08:00-09:00

Registration

09:00‑09:30

Opening Ceremony

09:30‑10:30

Keynote talk:  NEW  Newton Howard, MIT, USA
Rethinking Artificial Intelligence

11:00-14:00

Parallel Session: Logic and Reasoning 1
Session Chair: Fabio Gadducci
* If a talk is cancelled, other talks will be moved up.

11:00-11:30

245

Mauricio Osorio, José Luis Carballido and Claudia Zepeda

Some properties of logic N-GLukG

11:30-12:00

261

Laura Kovacs, Andrei Mantsivoda and Andrei Voronkov

The Inverse Method for Many-Valued Logics

12:00-12:30

263

Laura Kovacs, Natasha Sharygina and Simone Fulvio Rollini

A Parametric Interpolation Framework for First-Order Theories

11:00-14:00

Parallel Session: Knowledge-based Systems and Multi-Agent Systems 1
Session Chair: Román Barták
* If a talk is cancelled, other talks will be moved up.

11:00-11:30

229

Lorena Chavarria-Baez, Xiaoou Li and Rosaura Palma-Orozco

Estimating the number of test cases for active rule-based systems validation

11:30-12:00

181

Yeleny Zulueta, Vladimir Martell, Luis Martinez and Juan Martinez

A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk Analysis

12:00-12:30

97

Juan Carlos Conde Ramirez, Abraham Sanchez Lopez and Abraham Sanchez Flores

An Architecture for Cognitive Modeling to Support Real-time Adaptation and Motivational Responses in Video Games

11:00-14:00

Parallel Session: Natural Language Processing 1
Session Chair: Alexander Gelbukh
* If a talk is cancelled, other talks will be moved up.

11:00-11:30

58

Melanie Neunerdt, Michael Reyer and Rudolf Mathar

A POS Tagger for Social Media Texts trained on Web Comments

11:30-12:00

115

Maciej Piasecki, Michal Kalinski and Agnieszka Indyka-Piasecka

Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations

12:00-12:30

118

Pawel Kedzia, Maciej Piasecki, Marek Maziarz and Micha l Marcinczuk

Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective

11:00-14:00

Parallel Session: Bioinformatics and Medical Applications 1
Session Chair: Juana Canul-Reich
* If a talk is cancelled, other talks will be moved up.

11:00-11:30

104

Sergio Rogelio Tinoco-Martinez and Felix Calderon

A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging

11:30-12:00

71

Miguel Murguia-Romero, Rafael Jimenez-Flores, A. Rene Mendez-Cruz and Rafael Villalobos-Molina

Predicting metabolic syndrome with neural networks

12:00-12:30

25

Adriana Rubi Perez-Lopez, Rosario Baltazar, Martin Carpio,
Hugo Terashima-Marin, Dulce J. Magaña-Lozano and Hector J. Puga

Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of Surgeries

November 27, Wednesday - Afternoon

14:00‑15:00

Keynote talk:  NEW  Maria Vargas-Vera, Universidad Adolfo Ibanez, Chile
Multi-Agent Ontology Mapping Framework for the Semantic Web

15:15-18:30

Parallel Session: Evolutionary and Nature-Inspired Metaheuristic Algorithms  1 & 2
Session Chair: Luis Alvarado Yáñez
* If a talk is cancelled, other talks will be moved up.

15:15-15:45

256

Angel Kuri-Morales and Edwin Aldana-Bobadilla

The Best Genetic Algorithm I: A Comparative Study of Structurally Diffferent Genetic Algorithms

15:45-16:15

257

Angel Fernando Kuri-Morales, Edwin Aldana-Bobadilla and Ignacio Lopez-Peña

The Best Genetic Algorithm II: A Comparative Study of Structurally Different Genetic Algorithms

16:15-16:45

23

Ruben Aguilar-Rivera, Manuel Valenzuela-Rendon and Jose Rodriguez-Ortiz

The Concept of Con dence for Inheritance-Based Genetic Algorithms

16:45-17:00

Break

17:00-17:30

14

Mauricio Guevara and Edgar Vallejo

WIGA:Wolbachia Infection Genetic Algorithm for Solving Multi-Objective Optimization Problems

17:30-18:00

103

G. Trejo-Caballero, C. H. Garcia-Capulin, O. G. Ibarra-Manzano, J. G. Avina-Cervantes,
L. M. Burgara-Lopez and H. Rostro-Gonzalez

B-spline surface approximation using hierarchical genetic algorithm

18:00-18:30

28

Rushil Raghavjee and Nelishia Pillay

A Study of Genetic Algorithms to Solve the School Timetabling Problem

15:15-18:30

Parallel Session: Neural Networks and Hybrid Intelligent Systems 1 & 2
Session Chair: Félix Castro
* If a talk is cancelled, other talks will be moved up.

15:15-15:45

98

Hongjian Wang, Naiyu Zhang and Jean-Charles Creput

A Massive Parallel Cellular GPU Implementation of Neural Network to Large Scale Euclidean TSP

15:45-16:15

212

Rogerio Santos, Luciana Campos, Rodrigo Weber Dos Santos and Luis Paulo Barra

Determination of Cardiac Ejection Fraction by Electrical Impedance Tomography using an Artificial Neural Network

16:15-16:45

38

Isis Bonet, Abdel Rodriguez and Isel Grau

Bidirectional Recurrent Neural Networks for Biological Sequences Prediction

16:45-17:00

Break

17:00-17:30

26

Juan Pablo Nieto Gonzalez and Pedro Perez Villanueva

Complete Diagnosis of Electrical Power Systems Using MDS and ANFIS

17:30-18:00

127

Moulay Rachid Douiri and Mohamed Cherkaoui

Intelligent Rotor Time Constant identification approach in Indirect Field Oriented Induction Motor Drive

18:00-18:30

165

Juan Carlos Gomez, Fernando Hernandez, Carlos Coello, Guillermo Ronquillo and Antonio Trejo

Flame Classification through the use of an Artificial Neural Network trained with a Genetic Algorithm

15:15-18:30

Parallel Session: Natural Language Processing 2 & 3
Session Chair: Grigori Sidorov y Alexander Gelbukh
* If a talk is cancelled, other talks will be moved up.

15:15-15:45

30

Vladislav Kubon, Marketa Lopatkova and Jiar Mrovsky

Automatic Processing of Linguistic Data as a Feedback for Linguistic Theory

15:45-16:15

182

Svetlana Bodrunova, Sergei Koltsov, Olessia Koltsova, Sergey Nikolenko and Anastasia Shimorina

Interval Semi-Supervised LDA: Classifying Needles in a Haystack

16:15-16:45

184

Oscar Mendez, Hiram Calvo and Marco A. Moreno-Armendariz

A Reverse Dictionary Based on Semantic Analysis Using WordNet

16:45-17:00

Break

17:00-17:30

81

Tomas Nestorovic and Vaclav Matousek

Rogerian Psychologist in Human-Computer Interaction: A Case Study

17:30-18:00

86

Laszlo Janos Laki, Gyorgy Orosz and Attila Noa

HuLaPos2 Decoding morphology

18:00-18:30

84

Gyorgy Orosz, Attila Noak and Gabor Poseky

Hybrid text segmentation for Hungarian clinical records

15:15-18:30

Parallel Session: Data Mining 1 / Bioinformatics and Medical Applications 1
Session Chair: Fernando Orduña
* If a talk is cancelled, other talks will be moved up.

15:15-15:45

87

Renan Padua, Fabiano Santos, Merley Conrado, Veronica Carvalhoand Solange Rezende

Subjective Evaluation of Labeling Methods for Association Rule Clustering

15:45-16:15

273

Piotr Kulczycki and Piotr A. Kowalski

An Algorithm of Classi cation for Nonstationary Case

16:15-16:45

272

Fernando Orduña Cabrera and Miquel Sanchez Marre

Using NIAR k-d Trees to Improve the Case-Based Reasoning Retrieval Step

16:45-17:00

Break

17:00-17:30

163

Roberto Vega, Elizabeth Guevara, Luis Eduardo Falcon-Morales, Gildardo Sanchez-Ante
and Humberto Sossa-Azuela

Blood Vessel Segmentation in Retinal Images using Lattice Neural Networks

17:30-18:00

274

Veronica Rodriguez-Lopez, Rosebet Miranda-Luna and Jose Anibal Arias-Aguilar

Detection of Masses in Mammogram Images using Morphological Operators and Markov Random Fields

18:00-18:30

144

Juana Canul-Reich and Omar Trinidad GutierrezMendez

A New Collection of Preprocessed Digital Mammograms

November 27, Wednesday - Evening

18:30‑19:30

Special session: short oral presentations

19:30‑21:30

Special session: poster presentations & welcome party

November 28, Thursday - Morning

09:00‑10:00

Keynote talk:  NEW  Ildar Batyrshin, IMP, Mexico
Time Series Shape Association Measure

10:15-12:15

Parallel Session: Fuzzy Systems 1 (note also Fuzzy Systems 2 below)
Session Chair: Ildar Batyrshin
* If a talk is cancelled, other talks will be moved up.

10:15-10:45

122

Manuel Castañon-Puga, Juan Ramon Castro, Josue Miguel Flores-Parra,
Carelia Guadalupe Gaxiola-Pacheco, Luis-Guillermo Martinez-Mendez and Luis Enrique Palafox-Maestre

JT2FIS, A Java Type-2 Fuzzy Inference Systems Class Library for Building Object-Oriented Intelligent Applications

10:45-11:15

33

Cesar Octavio Hernandez Morales and Juan Pablo Nieto Gonzalez

Fault Detection and Diagnosis of Electrical Networks Using a Fuzzy System and Euclidian Distance

11:15–11:45

72

Michal Wozniak and Piotr Cal

Weighed Aging Ensemble of Heterogenous Classiers for Incremental Drift Classi cation

11:45-12:15

10

David Sundgren and Alexander Karlsson

Uncertainty Levels of Second-Order Probability

10:15-12:15

Parallel Session: Computer Vision and Image Processing
Session Chair: Antonio Marín
* If a talk is cancelled, other talks will be moved up.

10:15-10:45

5

Chaman Sabharwal and Jennifer Leopold

Identification of Relations in Region Connection Calculus: 9-Intersection Reduced to 3+-Intersection Predicates

10:45-11:15

102

Rafael Orozco-Lopez and Andres Mendez-Vazquez

Fast and Robust Object Recognition Based on Reduced Shock-Graphs and Pruned-SIFT

11:15-11:45

258

Malumbo Chipofya, Angela Schwering and Talakisew Binor

Matching Qualitative Spatial Scene Descriptions  a la Tabu

11:45-12:15

29

Farid Garcia-Lamont, Jair Cervantes, Asdrubal Lopez and Lisbeth Rodriguez

Classification of Mexican Paper Currency Denomination by Extracting Their Discriminative Colors

10:15-12:15

Parallel Session: Robotics, Planning and Scheduling
Session Chair: Román Barták
* If a talk is cancelled, other talks will be moved up.

10:15-10:45

134

Ivan Vladimir Meza Ruiz, Caleb Rascon and Luis Pineda

Practical Speech Recognition for Contextualized Service Robots

10:45-11:15

270

Otakar Trunda and Roman Bartak

Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains

11:15-11:45

279

Alejandra Duenas, Christine Di Martinelly and Isabelle Fagnot

An approach based on an Interactive Procedure for Multiple Objective Optimisation Problems

11:45-12:15

149

Roman Bartak and Neng-Fa Zhou

On Modeling Planning Problems: Experience From The Petrobras Challenge

10:15-12:15

Parallel Session: (1) Emotion Detection, Sentiment Analysis, and Opinion Mining; (2) Fuzzy Systems 2 (note also Fuzzy Systems 1 above)
 NEW  First paper added
Session Chair: Juana Canul-Reich
* If a talk is cancelled, other talks will be moved up.

10:15-10:45

241

Michael Dekhtyar and Mars Valiev

Complexity of verification of fuzzy multi-agent systems

10:45-11:15

114

Luis G. Martinez, Juan R. Castro, Antonio R. Diaz, Guillermo Licea and Reynaldo Salas

Implementing Fuzzy Subtractive Clustering to Build a Personality Fuzzy Model Based on Big Five Patterns for Engineers

11:15-11:45

248

Soujanya Poria, Alexander Gelbukh, Basant Agarwal, Erik Cambria and Newton Howard.

Common Sense Knowledge Based Personality Recognition from Text.

11:45-12:15

138

Toaki Esau Villareal Olvera, Caleb Rascon and Ivan Vladimir Meza Ruiz

Emotion based features of bird singing for 'Turdus Migratorious' identification

12:30‑13:30

Keynote talk:  NEW  Erik Cambria, National U. of Singapore
SenticNet: Helping Machines to Learn, Leverage, Love

November 28, Thursday -  Afternoon

13:30-20:00

Academic activities / cultural program
(Box lunch)

November 28, Thursday -  Evening

20:00-23:00

Conference Dinner

November 29, Friday - Morning

09:00‑10:00

Keynote talk:  NEW  Andrei Voronkov, University of Manchester, UK
First-Order Theorem Proving and Vampire

10:15-13:30

Parallel Session: Machine Learning 1 & 2
Session Chair: Néstor Velázco
* If a talk is cancelled, other talks will be moved up.

10:15–10:45

50

Igor Braga, Las Pessine Do Carmo, Caio Cesar Benatti and Maria

A Note on Parameter Selection for Support Vector Machines

10:45–11:15

146

Jonathan Arriaga Gonzalez and Manuel Valenzuela-Rendon

Reinforcement Learning Method for Portfolio Optimal Frontier Search

11:15-11:45

132

Luis A. Alvarado-Yañez, Luis Torres Trevimo and Angel Rodriguez-Liñan

An embedded fuzzy agent for online tuning of a PID controller for position control of a DC motor

11:45–12:00

Break

12:00-12:30

191

Michal Prlepok, Jan Platos and Vaclav Snasel

Similarity based on Data Compression

12:30-13:00

53

Israel Tabarez Paz, Neil Hernandez Gress and Miguel Gonzalez Mendoza

Pattern recognition with Spiking Neural Networks

13:00-13:30

170

Nibaldo Rodriguez

Multiscale RBF neural network for forecasting of monthly hake catches off southern Chile

10:15-13:30

Parallel Session: Natural Language Processing 4 & 5
Session Chair: Grigori Sidorov and Alexander Gelbukh
* If a talk is cancelled, other talks will be moved up.

10:15–10:45

27

Borbala Siklosi and Attila Novak

Detection and expansion of abbreviations in Hungarian clinical notes

10:45–11:15

80

Valery Solovyev and Vladimir Ivanov

Composite Event Indicator Processing in Event Extraction for Non-congurational Language

11:15–11:45

244

Merley Conrado, Thiago Pardo, and Solange Rezende

Exploration of a Rich Feature Set for Automatic Term Extraction

11:45–12:00

Break

12:00-12:30

253

Rajendra Prasath and Sudeshna Sarkar

A pseudo-relevance feedback based method to and comprehensive web documents

12:30-13:00

133

Guangbing Yang, Kinshuk Kinshuk, Dunwei Wen and Erkki Sutinen

Enhancing Sentence Ordering by Hierarchical Topic Modeling for Multi-document Summarization

13:00-13:30

20

Francisco Viveros Jimenez, Alexander Gelbukh and Grigori Sidorov

Simple Window Selection Strategies for the Simplied Lesk Algorithm for Word Sense Disambiguation

10:15-13:30

Parallel Session: Datamining 2 & 3
Session Chair: Marco Palomino
* If a talk is cancelled, other talks will be moved up.

10:15 – 10:45

99

Rajendra Prasath, Philip O'Reilly and Aidan Duane

Weighting Query Terms Towards Multi-Faceted Information Fusion of Market Data

10:45 – 11:15

63

Xavier Limon, Alejandro Guerra-Hernandez, Nicandro Cruz-Ramirez and Francisco Grimaldo

An Agents & Artifacts approach to Distributed Data Mining

11:15 – 11:45

59

Marco Palomino, Tim Taylor and Richard Owen

Evaluating Business Intelligence Gathering Techniques for Horizon Scanning Applications

11:45 – 12:00

Break

12:00-12:30

110

Sheila Esmeralda Gonzalez-Reyna, Juan Gabriel Avina-Cervantes,
Sergio Eduardo Ledesma-Orozco, Ivan Cruz-Aceves and M. De Guadalupe Garcia-Hernandez

Traffic Sign Recognition Based on Linear Discriminant Analysis

12:30-13:00

201

Xiaoxue Zhang, Dunwei Wen, Ke Wang and Yinan Yang

CUP Classification Based on a Tree Structure with MiRNA Feature Selection

13:00-13:30

1

Chaman Sabharwal, Jennifer Leopold and Douglas McGeehan

Triangle-Triangle Intersection Determination and Classification for Supporting Qualitative Spatial Reasoning

10:15-13:30

Parallel Session: Bioinformatics and Medical Applications 2 & 3
Session Chair: Omar Montaño
 timing of the presentations changed  * If a talk is cancelled, other talks will be moved up.

10:15 – 10:45

71

Miguel Murguia-Romero, Rafael Jimenez-Flores, A. Rene Mendez-Cruz and Rafael Villalobos-Molina

Predicting metabolic syndrome with neural networks

10:45 – 11:15

199

Gloria Ines Alvarez, Diego Linares, Jairo Andres Velasco, Enrique Bravo and Jheyson Vargas

Machine Learning techniques applied to the cleavage site prediction problem

11:15 – 11:45

139

Ivan Cruz-Aceves, Juan Gabriel Avina-Cervantes, Juan Manuel Lopez-Hernandez,
Ma. De Guadalupe Garcia-Hernandez, Sheila Esmeralda Gonzalez-Reyna and Miguel Torres-Cisneros

Human Heart Segmentation based on Differential Evolution and Activ Contours with Shape Prior

11:45 – 12:00

Break

12:00-12:30

255

Jose Abel De La Fuente-Arriaga, Edgardo Manuel Felipe-Riveron and Eduardo Garduño-Calderon

Detection of Human Retina Images Suspect of Glaucoma through the Vascular Bundle Displacement in the Optic Disc

12:30-13:00

13:00-13:30

November 29, Friday - Afternoon

15:15-18:30

Parallel Session: Logic and Reasoning 2 & 3
Session Chair: Fabio Gadducci
* If a talk is cancelled, other talks will be moved up.

15:15-15:45

42

Pilar Pozos Parra, Weiru Liu and Laurent Perrussel

Dalal's Revision without Hamming Distance

15:45-16:15

82

Frederik Van De Putte

Default Assumptions and Selection Functions: A Generic Approach

16:15-16:45

189

Fabio Gadducci, Matthias Hoelzl, Giacoma Monreale and Martin Wirsing

Soft Constraints for Lexicographic Orders

16:45-17:00

Break

17:00-17:30

197

Everardo Barcenas and Jose-De-Jesus Lavalle-Martinez

Expressive reasoning on tree structures: recursion, inverse programs, Presburger constraints and nominals

17:30-18:00

105

Omar Montano-Rivas

Completion-based automated theory exploration

18:00-18:30

17

Ruben Octavio Velez, Jose Arrazola and Ivan Martinez Ruiz

Possibilistic Minimal Models for Possibilistic Normal Programs

15:15-18:30

Parallel Session: Knowledge-based Systems and Multi-Agent Systems 2 / Evolutionary and Nature-Inspired Metaheuristic Algorithms 3
 NEW  Some papers shifted up, please note new schedule
Session Chair: Néstor Velasco
* If a talk is cancelled, other talks will be moved up.

15:15-15:45

277

Nestor Velasco-Bermeo, Miguel Gonzalez-Mendoza and Alexander Garcia Castro

Semantic representation of CAD models based on the IGES standard

15:45-16:15

111

Hector Ceballos, Juan Pablo Garcia-Vazquez and Ramon Brena

Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems that Assist Human Activities

16:15-16:45

145

Rogelio Salinas-Gutierrez, Angel Eduardo Muñoz-Zavala,
Arturo Hernandez-Aguirre and Manuel Alonso Castillo-Galvan

Explicit Exploration in Estimation of Distribution Algorithms

16:45-17:00

Break

17:00-17:30

157

Paula Hernandez Hernandez and Laura Cruz Reyes

An Ant Colony Algorithm for Improving Ship Stability in the Container-ship Stowage Problem

17:30-18:00

259

Maria Cristina Riff and Nicolas Rojas

Including Modal Improvisation and Music-inspired Components to Improve Harmony Search

15:15-18:30

Parallel Session: Machine Translation / Natural Language Processing 6
Session Chair: Grigori Sidorov and Alexander Gelbukh
* If a talk is cancelled, other talks will be moved up.

15:15-15:45

79

Alireza Mahmoudi, Heshaam Faili, Mohammad Hossein Dehghan and Jalal Maleki

ELEXR: Automatic Evaluation of Machine Translation Using Lexical Relationships

15:45-16:15

226

Alireza Mahmoudi, Heshaam Faili and Mohsen Arabsorkhi

Modeling Persian Verb Morphology to Improve English-Persian Machine Translation

16:15-16:45

60

Olatz Perez-De-Viñaspre and Maite Oronoz Anchordoqui

An XML Based TBX Framework to Represent Multilingual SNOMED CT for Translation

16:45-17:00

Break

17:00-17:30

57

Mostafa Ezzat, Tarek Elghazaly and Mervat Gheith

AN ENHANCED ARABIC OCR DEGRADED TEXT RETRIEVAL MODEL

17:30-18:00

45

István Endrédy and Attila Novák

More effective boilerplate removal – the GoldMiner algorithm

Saturday, November 30

08:00-18:00

Academic activities / cultural program (details to be announced)