MICAI 2011: Puebla, Mexico

Automated Reasoning and Multi-Agent Systems

• Krystof Hoder, Laura Kovács, Andrei Voronkov:
  Case Studies on Invariant Generation Using a Saturation Theorem Prover. 1-15
  
• Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz:
  Characterization of Argumentation Semantics in Terms of the MM r Semantics. 16-27
  
• José Eduardo Ochoa Luna, Kate Revoredo, Fabio Gagliardi Cozman:
  Learning Probabilistic Description Logics: A Framework and Algorithms. 28-39
  
• Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin:
  Belief Merging Using Normal Forms. 40-51
  
• Hiroyuki Kido, Katsumi Nitta:
  Toward Justifying Actions with Logically and Socially Acceptable Reasons. 52-64
  
• Dora-Luz Flores, Manuel Castañón-Puga, Carelia Gaxiola-Pacheco:
  A Complex Social System Simulation Using Type-2 Fuzzy Logic and Multiagent System. 65-75
  
• Amir Elalouf, Eugene Levner, T. C. Edwin Cheng:
  Computing Mobile Agent Routes with Node-Wise Constraints in Distributed Communication Systems. 76-87
  
• Rosa Laura Zavala Gutierrez, Michael N. Huhns, Angelica Garcia-Vega:
  Collaborative Redundant Agents: Modeling the Dependences in the Diversity of the Agents' Errors. 88-100
  
• Aram B. González, Jorge A. Ramírez Uresti:
  Strategy Patterns Prediction Model (SPPM). 101-112
  
• Pedro Cadena, Leonardo Garrido:
  Fuzzy Case-Based Reasoning for Managing Strategic and Tactical Reasoning in StarCraft. 113-124
  

Problem Solving and Machine Learning

• José Carlos Ortiz-Bayliss, Hugo Terashima-Marín, Ender Özcan, Andrew J. Parkes, Santiago Enrique Conant-Pablos:
  Variable and Value Ordering Decision Matrix Hyper-heuristics: A Local Improvement Approach. 125-136
  
• Marcela 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:
  Improving the Performance of Heuristic Algorithms Based on Causal Inference. 137-148
  
• Dmitrijs Rutko:
  Fuzzified Tree Search in Real Domain Games. 149-161
  
• Andrej Chovanec, Roman Barták:
  On Generating Templates for Hypothesis in Inductive Logic Programming. 162-173
  
• Benito Camiña, Raul Monroy, Luis A. Trejo, Erika Sánchez:
  Towards Building a Masquerade Detection Method Based on User File System Navigation. 174-186
  
• Jair Cervantes, Asdrúbal López Chau, Farid García, Adrián Trueba:
  A Fast SVM Training Algorithm Based on a Decision Tree Data Filter. 187-197
  
• Oscar Carrizales-Turrubiates, Nelson Rangel-Valdez, José Torres-Jiménez:
  Optimal Shortening of Covering Arrays. 198-209
  
• Loreto Gonzalez-Hernandez, José Torres-Jiménez, Nelson Rangel-Valdez:
  An Exact Approach to Maximize the Number of Wild Cards in a Covering Array. 210-221
  
• Liliana Argotte, Julieta Noguez, Gustavo Arroyo:
  Intelligent Learning System Based on SCORM Learning Objects. 222-231
  

Natural Language Processing

• Hugo Jair Escalante, Manuel Montes-y-Gómez, Thamar Solorio:
  A Weighted Profile Intersection Measure for Profile-Based Authorship Attribution. 232-243
  
• Gabriel G. Infante López, Martín Ariel Domínguez:
  A New General Grammar Formalism for Parsing. 244-257
  
• Aldo Fabian, Manuel Hernandez, Luis Alberto Pineda, Iván V. Meza:
  Contextual Semantic Processing for a Spanish Dialogue System Using Markov Logic. 258-266
  
• Partha Pakray, Utsab Barman, Sivaji Bandyopadhyay, Alexander F. Gelbukh:
  A Statistics-Based Semantic Textual Entailment System. 267-276
  
• Rodolfo A. Pazos Rangel, Juan J. Gonzalez B., Marco A. Aguirre L.:
  Semantic Model for Improving the Performance of Natural Language Interfaces to Databases. 277-290
  
• Rahmatullah Hafiz, Richard A. Frost:
  Modular Natural Language Processing Using Declarative Attribute Grammars. 291-304
  
• Yulia Ledeneva, René Arnulfo García-Hernández, Romyna Montiel Soto, Rafael Cruz Reyes, Alexander F. Gelbukh:
  EM Clustering Algorithm for Automatic Text Summarization. 305-315
  
• Alejandro Molina, Juan Manuel Torres Moreno, Eric SanJuan, Iria da Cunha, Gerardo Sierra, Patricia Velázquez-Morales:
  Discourse Segmentation for Sentence Compression. 316-327
  
• Grigori Sidorov, Juve Andrea Herrera-de-la-Cruz, Sofía N. Galicia-Haro, Juan Pablo Posadas-Durán, Liliana Chanona-Hernández:
  Heuristic Algorithm for Extraction of Facts Using Relational Model and Syntactic Data. 328-337
  
• Roque Enrique López, Dennis Barreda, Javier Tejada, Ernesto Cuadros:
  MFSRank: An Unsupervised Method to Extract Keyphrases Using Semantic Information. 338-344
  
• Luciana Benotti, Nicolás Bertoa:
  Content Determination through Planning for Flexible Game Tutorials. 345-356
  
• Debangana Dey, Thamar Solorio, Manuel Montes-y-Gómez, Hugo Jair Escalante:
  Instance Selection in Text Classification Using the Silhouette Coefficient Measure. 357-369
  
• Sofía N. Galicia-Haro, Alexander F. Gelbukh:
  Age-Related Temporal Phrases in Spanish and French. 370-381
  
• Afraz Zahra Syed, Aslam Muhammad, Ana María Martínez Enríquez:
  Sentiment Analysis of Urdu Language: Handling Phrase-Level Negation. 382-393
  
• Mohammad Sadegh Rasooli, Heshaam Faili, Behrouz Minaei-Bidgoli:
  Unsupervised Identification of Persian Compound Verbs. 394-406
  

Robotics, Planning and Scheduling

• Md. Zulfikar Hossain, Wai Yeap, Olaf Diegel:
  Testing a Theory of Perceptual Mapping Using Robots. 407-414
  
• Lucas Agussurja, Hoong Chuin Lau:
  A POMDP Model for Guiding Taxi Cruising in a Congested Urban City. 415-428
  
• Juan Irving Vasquez-Gomez, Luis Enrique Sucar:
  Next-Best-View Planning for 3D Object Reconstruction under Positioning Error. 429-442
  
• Yadira Quiñonez, Darío Maravall, Javier de Lope Asiaín:
  Stochastic Learning Automata for Self-coordination in Heterogeneous Multi-Tasks Selection in Multi-Robot Systems. 443-453
  
• Tiago Matos, Yannick Plaino Bergamo, Valdinei Freire da Silva, Anna Helena Reali Costa:
  Stochastic Abstract Policies for Knowledge Transfer in Robotic Navigation Tasks. 454-465
  
• Fernando Montes-Gonzalez, Fernando Aldana-Franco:
  The Evolution of Signal Communication for the e-puck Robot. 466-477
  
• Philippe Fournier-Viger, Roger Nkambou, André Mayers, Engelbert Mephu Nguifo, Usef Faghihi:
  An Hybrid Expert Model to Support Tutoring Services in Robotic Arm Manipulations. 478-489
  
• Omar Alejandro Aguilar, Joel Carlos Huegel:
  Inverse Kinematics Solution for Robotic Manipulators Using a CUDA-Based Parallel Genetic Algorithm. 490-503
  

Medical Applications of Artificial Intelligence

• Oscar Dalmau Cedeño, Teresa Alarcón:
  MFCA: Matched Filters with Cellular Automata for Retinal Vessel Detection. 504-514
  
• Alberto Pastrana Palma, Juan Francisco Reyes Muñoz, Luis Rodrigo Valencia Pérez, Juan Manuel Peña Aguilar, Alberto Lamadrid Álvarez:
  Computer Assisted Diagnosis of Microcalcifications in Mammograms: A Scale-Space Approach. 515-523
  
• Saad Tanveer, Omer Jamshaid, Abdul Mannan, Aslam Muhammad, Ana Maria Martinez-Enriquez, Afraz Zahra Syed, Gonzalo Escalada-Imaz:
  Diagnosis in Sonogram of Gall Bladder. 524-536
  
• Alejandro Rosales-Pérez, Carlos A. Reyes García, Pilar Gómez-Gil, Jesus A. Gonzalez, Leopoldo Altamirano Robles:
  Genetic Selection of Fuzzy Model for Acute Leukemia Classification. 537-548
  
• Laia Subirats, Luigi Ceccaroni:
  An Ontology for Computer-Based Decision Support in Rehabilitation. 549-559
  
• Miguel Murguía-Romero, Rafael Villalobos-Molina, René Méndez-Cruz, Rafael Jiménez-Flores:
  Heuristic Search of Cut-Off Points for Clinical Parameters: Defining the Limits of Obesity. 560-571
  
• Emilio Soto, Jorge Antonio Ascencio, Manuel Gonzalez, Jorge Arturo Hernandez:
  Development of a System of Electrodes for Reading Consents-Activity of an Amputated Leg (above the knee) and Its Prosthesis Application. 572-582
  
• Edwin R. García, Larysa Burtseva, Margarita Stoytcheva, Félix F. González:
  Predicting the Behavior of the Interaction of Acetylthiocholine, pH and Temperature of an Acetylcholinesterase Sensor. 583-591
  

Last update Fri May 25 08:26:39 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page