Table of Contents

• Case Studies on Invariant Generation Using a Saturation Theorem ProverKrystof Hoder, Laura Kovács, Andrei Voronkov. 1-15 [doi]
• Characterization of Argumentation Semantics in Terms of the MM r SemanticsMauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz. 16-27 [doi]
• Learning Probabilistic Description Logics: A Framework and AlgorithmsJosé Eduardo Ochoa Luna, Kate Revoredo, Fabio Gagliardi Cozman. 28-39 [doi]
• Belief Merging Using Normal FormsPilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin. 40-51 [doi]
• Toward Justifying Actions with Logically and Socially Acceptable ReasonsHiroyuki Kido, Katsumi Nitta. 52-64 [doi]
• A Complex Social System Simulation Using Type-2 Fuzzy Logic and Multiagent SystemDora-Luz Flores, Manuel Castañón-Puga, Carelia Gaxiola-Pacheco. 65-75 [doi]
• Computing Mobile Agent Routes with Node-Wise Constraints in Distributed Communication SystemsAmir Elalouf, Eugene Levner, T. C. Edwin Cheng. 76-87 [doi]
• Collaborative Redundant Agents: Modeling the Dependences in the Diversity of the Agents' ErrorsRosa Laura Zavala Gutierrez, Michael N. Huhns, Angelica Garcia-Vega. 88-100 [doi]
• Strategy Patterns Prediction Model (SPPM)Aram B. González, Jorge A. Ramírez Uresti. 101-112 [doi]
• Fuzzy Case-Based Reasoning for Managing Strategic and Tactical Reasoning in StarCraftPedro Cadena, Leonardo Garrido. 113-124 [doi]
• Variable and Value Ordering Decision Matrix Hyper-heuristics: A Local Improvement ApproachJosé Carlos Ortiz-Bayliss, Hugo Terashima-Marín, Ender Özcan, Andrew J. Parkes, Santiago Enrique Conant-Pablos. 125-136 [doi]
• Improving the Performance of Heuristic Algorithms Based on Causal InferenceMarcela Quiroz-Castellanos, Laura Cruz Reyes, José Torres Jiménez, Claudia Gómez Santillán, Mario César López Locés, Jesús Eduardo Carrillo Ibarra, Guadalupe Castilla Valdez. 137-148 [doi]
• Fuzzified Tree Search in Real Domain GamesDmitrijs Rutko. 149-161 [doi]
• On Generating Templates for Hypothesis in Inductive Logic ProgrammingAndrej Chovanec, Roman Barták. 162-173 [doi]
• Towards Building a Masquerade Detection Method Based on User File System NavigationBenito Camiña, Raul Monroy, Luis A. Trejo, Erika Sánchez. 174-186 [doi]
• A Fast SVM Training Algorithm Based on a Decision Tree Data FilterJair Cervantes, Asdrúbal López Chau, Farid García, Adrián Trueba. 187-197 [doi]
• Optimal Shortening of Covering ArraysOscar Carrizales-Turrubiates, Nelson Rangel-Valdez, José Torres Jiménez. 198-209 [doi]
• An Exact Approach to Maximize the Number of Wild Cards in a Covering ArrayLoreto Gonzalez-Hernandez, José Torres Jiménez, Nelson Rangel-Valdez. 210-221 [doi]
• Intelligent Learning System Based on SCORM Learning ObjectsLiliana Argotte, Julieta Noguez, Gustavo Arroyo. 222-231 [doi]
• A Weighted Profile Intersection Measure for Profile-Based Authorship AttributionHugo Jair Escalante, Manuel Montes-y-Gómez, Thamar Solorio. 232-243 [doi]
• A New General Grammar Formalism for ParsingGabriel G. Infante López, Martín Ariel Domínguez. 244-257 [doi]
• Contextual Semantic Processing for a Spanish Dialogue System Using Markov LogicAldo Fabian, Manuel Hernandez, Luis Alberto Pineda, Iván V. Meza. 258-266 [doi]
• A Statistics-Based Semantic Textual Entailment SystemPartha Pakray, Utsab Barman, Sivaji Bandyopadhyay, Alexander F. Gelbukh. 267-276 [doi]
• Semantic Model for Improving the Performance of Natural Language Interfaces to DatabasesRodolfo A. Pazos Rangel, Juan J. Gonzalez B., Marco Antonio Aguirre Lam. 277-290 [doi]
• Modular Natural Language Processing Using Declarative Attribute GrammarsRahmatullah Hafiz, Richard A. Frost. 291-304 [doi]
• EM Clustering Algorithm for Automatic Text SummarizationYulia Ledeneva, René Arnulfo García-Hernández, Romyna Montiel Soto, Rafael Cruz Reyes, Alexander F. Gelbukh. 305-315 [doi]
• Discourse Segmentation for Sentence CompressionAlejandro Molina, Juan Manuel Torres Moreno, Eric SanJuan, Iria da Cunha, Gerardo Sierra, Patricia Velázquez-Morales. 316-327 [doi]
• Heuristic Algorithm for Extraction of Facts Using Relational Model and Syntactic DataGrigori Sidorov, Juve Andrea Herrera-de-la-Cruz, Sofía N. Galicia-Haro, Juan Pablo Posadas-Durán, Liliana Chanona-Hernández. 328-337 [doi]
• MFSRank: An Unsupervised Method to Extract Keyphrases Using Semantic InformationRoque Enrique López, Dennis Barreda, Javier Tejada, Ernesto Cuadros. 338-344 [doi]
• Content Determination through Planning for Flexible Game TutorialsLuciana Benotti, Nicolás Bertoa. 345-356 [doi]
• Instance Selection in Text Classification Using the Silhouette Coefficient MeasureDebangana Dey, Thamar Solorio, Manuel Montes-y-Gómez, Hugo Jair Escalante. 357-369 [doi]
• Age-Related Temporal Phrases in Spanish and FrenchSofía N. Galicia-Haro, Alexander F. Gelbukh. 370-381 [doi]
• Sentiment Analysis of Urdu Language: Handling Phrase-Level NegationAfraz Zahra Syed, Aslam Muhammad, Ana María Martínez Enríquez. 382-393 [doi]
• Unsupervised Identification of Persian Compound VerbsMohammad Sadegh Rasooli, Heshaam Faili, Behrouz Minaei-Bidgoli. 394-406 [doi]
• Testing a Theory of Perceptual Mapping Using RobotsMd. Zulfikar Hossain, Wai K. Yeap, Olaf Diegel. 407-414 [doi]
• A POMDP Model for Guiding Taxi Cruising in a Congested Urban CityLucas Agussurja, Hoong Chuin Lau. 415-428 [doi]
• Next-Best-View Planning for 3D Object Reconstruction under Positioning ErrorJuan Irving Vasquez-Gomez, Luis Enrique Sucar. 429-442 [doi]
• Stochastic Learning Automata for Self-coordination in Heterogeneous Multi-Tasks Selection in Multi-Robot SystemsYadira Quiñonez, Darío Maravall, Javier de Lope Asiaín. 443-453 [doi]
• Stochastic Abstract Policies for Knowledge Transfer in Robotic Navigation TasksTiago Matos, Yannick Plaino Bergamo, Valdinei Freire da Silva, Anna Helena Reali Costa. 454-465 [doi]
• The Evolution of Signal Communication for the e-puck RobotFernando Montes-Gonzalez, Fernando Aldana-Franco. 466-477 [doi]
• An Hybrid Expert Model to Support Tutoring Services in Robotic Arm ManipulationsPhilippe Fournier-Viger, Roger Nkambou, André Mayers, Engelbert Mephu Nguifo, Usef Faghihi. 478-489 [doi]
• Inverse Kinematics Solution for Robotic Manipulators Using a CUDA-Based Parallel Genetic AlgorithmOmar Alejandro Aguilar, Joel Carlos Huegel. 490-503 [doi]
• MFCA: Matched Filters with Cellular Automata for Retinal Vessel DetectionOscar Dalmau Cedeño, Teresa Alarcón. 504-514 [doi]
• Computer Assisted Diagnosis of Microcalcifications in Mammograms: A Scale-Space ApproachAlberto Pastrana Palma, Juan Francisco Reyes Muñoz, Luis Rodrigo Valencia Pérez, Juan Manuel Peña Aguilar, Alberto Lamadrid Álvarez. 515-523 [doi]
• Diagnosis in Sonogram of Gall BladderSaad Tanveer, Omer Jamshaid, Abdul Mannan, Aslam Muhammad, Ana Maria Martinez-Enriquez, Afraz Zahra Syed, Gonzalo Escalada-Imaz. 524-536 [doi]
• Genetic Selection of Fuzzy Model for Acute Leukemia ClassificationAlejandro Rosales-Pérez, Carlos A. Reyes García, Pilar Gómez-Gil, Jesus A. Gonzalez, Leopoldo Altamirano Robles. 537-548 [doi]
• An Ontology for Computer-Based Decision Support in RehabilitationLaia Subirats, Luigi Ceccaroni. 549-559 [doi]
• Heuristic Search of Cut-Off Points for Clinical Parameters: Defining the Limits of ObesityMiguel Murguía-Romero, Rafael Villalobos-Molina, René Méndez-Cruz, Rafael Jiménez-Flores. 560-571 [doi]
• Development of a System of Electrodes for Reading Consents-Activity of an Amputated Leg (above the knee) and Its Prosthesis ApplicationEmilio Soto, Jorge Antonio Ascencio, Manuel Gonzalez, Jorge Arturo Hernandez. 572-582 [doi]
• Predicting the Behavior of the Interaction of Acetylthiocholine, pH and Temperature of an Acetylcholinesterase SensorEdwin R. García, Larysa Burtseva, Margarita Stoytcheva, Félix F. González. 583-591 [doi]