Table of Contents

• Some Properties of Logic N-GLukGMauricio Osorio, José Luis Carballido, Claudia Zepeda. 1-11 [doi]
• The Inverse Method for Many-Valued LogicsLaura Kovács, Andrei Mantsivoda, Andrei Voronkov. 12-23 [doi]
• A Parametric Interpolation Framework for First-Order TheoriesLaura Kovács, Simone Fulvio Rollini, Natasha Sharygina. 24-40 [doi]
• Dalal's Revision without Hamming DistancePilar Pozos Parra, Weiru Liu, Laurent Perrussel. 41-53 [doi]
• Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic LogicsFrederik Van De Putte. 54-67 [doi]
• Soft Constraints for Lexicographic OrdersFabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing. 68-79 [doi]
• Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and NominalsEverardo Bárcenas, Jesús Lavalle. 80-91 [doi]
• Completion-Based Automated Theory ExplorationOmar Montano-Rivas. 92-109 [doi]
• Possibilistic Minimal Models for Possibilistic Normal ProgramsRubén Octavio Vélez Salazar, José Arrazola Ramírez, Ivan Martínez Ruiz. 110-119 [doi]
• Estimating the Number of Test Cases for Active Rule ValidationLorena Chavarría-Báez, Xiaoou Li, Rosaura Palma-Orozco. 120-131 [doi]
• A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk AnalysisYeleny Zulueta, Vladimir Martell, Juan Carlos Martínez, Luis Martínez. 132-143 [doi]
• An Architecture for Cognitive Modeling to Support Real-Time Adaptation and Motivational Responses in Video GamesJuan Carlos Conde Ramírez, Abraham Sánchez López, Abraham Sánchez Flores. 144-156 [doi]
• Semantic Representation of CAD Models Based on the IGES StandardNestor Velasco Bermeo, Miguel González-Mendoza, Alexander García Castro. 157-168 [doi]
• Complexity of Verification of Fuzzy Multi-Agent SystemsMichael I. Dekhtyar, Mars K. Valiev. 169-184 [doi]
• Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human ActivitiesHector G. Ceballos, Juan-Pablo García-Vázquez, Ramón F. Brena. 185-198 [doi]
• Challenges in Ontology Alignment and Solution to the Contradictory Evidence ProblemMaria Vargas-Vera, Miklos Nagy. 199-216 [doi]
• Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense DisambiguationFrancisco Viveros Jiménez, Alexander F. Gelbukh, Grigori Sidorov. 217-227 [doi]
• Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic RelationsMaciej Piasecki, Michal Kalinski, Agnieszka Indyka-Piasecka. 228-239 [doi]
• Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented PerspectivePawel Kedzia, Maciej Piasecki, Marek Maziarz, Michal Marcinczuk. 240-251 [doi]
• Automatic Processing of Linguistic Data as a Feedback for Linguistic TheoryVladislav Kubon, Markéta Lopatková, Jirí Mírovský. 252-264 [doi]
• Interval Semi-supervised LDA: Classifying Needles in a HaystackSvetlana Bodrunova, Sergei Koltsov, Olessia Koltsova, Sergey I. Nikolenko, Anastasia Shimorina. 265-274 [doi]
• A Reverse Dictionary Based on Semantic Analysis Using WordNetOscar Méndez, Hiram Calvo, Marco A. Moreno-Armendariz. 275-285 [doi]
• Applying Rogerian Psychologist in Human-Computer Interaction: A Case StudyTomás Nestorovic, Václav Matousek. 286-293 [doi]
• HuLaPos 2.0 - Decoding MorphologyLászló János Laki, György Orosz, Attila Novák. 294-305 [doi]
• Hybrid Text Segmentation for Hungarian Clinical RecordsGyörgy Orosz, Attila Novák, Gábor Prószéky. 306-317 [doi]
• Detection and Expansion of Abbreviations in Hungarian Clinical NotesBorbála Siklósi, Attila Novák. 318-328 [doi]
• Composite Event Indicator Processing in Event Extraction for Non-configurational LanguageValery Solovyev, Vladimir Ivanov. 329-341 [doi]
• Exploration of a Rich Feature Set for Automatic Term ExtractionMerley S. Conrado, Thiago Alexandre Salgueiro Pardo, Solange Oliveira Rezende. 342-354 [doi]
• A Pseudo-Relevance Feedback Based Method to Find Comprehensive Web DocumentsR. Rajendra Prasath, Sudeshna Sarkar. 355-366 [doi]
• Enhancing Sentence Ordering by Hierarchical Topic Modeling for Multi-document SummarizationGuangbing Yang, Kinshuk, Dunwei Wen, Erkki Sutinen. 367-379 [doi]
• An Enhanced Arabic OCR Degraded Text Retrieval ModelMostafa Ezzat, Tarek Elghazaly, Mervat Gheith. 380-393 [doi]
• ELEXR: Automatic Evaluation of Machine Translation Using Lexical RelationshipsAlireza Mahmoudi, Heshaam Faili, Mohammad Hossein Dehghan, Jalal Maleki. 394-405 [doi]
• Modeling Persian Verb Morphology to Improve English-Persian Machine TranslationAlireza Mahmoudi, Heshaam Faili, Mohsen Arabsorkhi. 406-418 [doi]
• An XML Based TBX Framework to Represent Multilingual SNOMED CT for TranslationOlatz Perez-de-Viñaspre, Maite Oronoz. 419-429 [doi]
• The Twin Hypotheses - Brain Code and the Fundamental Code Unit: Towards Understanding the Computational Primitive Elements of Cortical ComputingNewton Howard. 430-463 [doi]
• Predicting Metabolic Syndrome with Neural NetworksMiguel Murguía-Romero, Rafael Jiménez-Flores, Adolfo René Méndez-Cruz, Rafael Villalobos-Molina. 464-472 [doi]
• Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of SurgeriesAdriana Perez-Lopez, Rosario Baltazar, Juan Martín Carpio, Hugo Terashima-Marín, Dulce J. Magaña-Lozano, Héctor J. Puga. 473-484 [doi]
• CUP Classification Based on a Tree Structure with MiRNA Feature SelectionXiaoxue Zhang, Dunwei Wen, Ke Wang, Yinan Yang. 485-496 [doi]
• Machine Learning Techniques Applied to the Cleavage Site Prediction ProblemGloria Inés Alvarez, Enrique Bravo, Diego Linares, Jheyson Faride Vargas, Jairo Andrés Velasco. 497-507 [doi]
• Human Heart Segmentation Based on Differential Evolution and Active Contours with Shape PriorIvan Cruz-Aceves, Juan Gabriel Aviña-Cervantes, Juan Manuel Lopez-Hernandez, Ma. de Guadalupe García-Hernández, Sheila Esmeralda González-Reyna, Miguel Torres-Cisneros. 508-519 [doi]
• Detection of Human Retina Images Suspect of Glaucoma through the Vascular Bundle Displacement in the Optic DiscJosé Abel de la Fuente-Arriaga, Edgardo Manuel Felipe Riverón, Eduardo Garduño-Calderón. 520-531 [doi]
• Blood Vessel Segmentation in Retinal Images Using Lattice Neural NetworksRoberto Vega, Elizabeth Guevara, Luis Eduardo Falcón, Gildardo Sánchez-Ante, Humberto Sossa. 532-544 [doi]
• A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound ImagingSergio Rogelio Tinoco-Martínez, Félix Calderón, Carlos Lara-Alvarez, Jaime Carranza-Madrigal. 545-557 [doi]
• Detection of Masses in Mammogram Images Using Morphological Operators and Markov Random FieldsVerónica Rodríguez-López, Rosebet Miranda-Luna, José Anibal Arias-Aguilar. 558-569 [doi]
• A New Collection of Preprocessed Digital MammogramsJuana Canul-Reich, Omar Trinidad Gutiérrez Méndez. 570-581 [doi]