Skip to main content
  • Conference proceedings
  • © 2011

Advances in Artificial Intelligence

10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I

  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7094)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): MICAI: Mexican International Conference on Artificial Intelligence

Conference proceedings info: MICAI 2011.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (50 papers)

  1. Front Matter

  2. Automated Reasoning and Multi-Agent Systems

    1. Case Studies on Invariant Generation Using a Saturation Theorem Prover

      • KryÅ¡tof Hoder, Laura Kovács, Andrei Voronkov
      Pages 1-15
    2. Characterization of Argumentation Semantics in Terms of the MM r Semantics

      • Mauricio Osorio, José Luis Carballido, Claudia Zepeda, Zenaida Cruz
      Pages 16-27
    3. Learning Probabilistic Description Logics: A Framework and Algorithms

      • José Eduardo Ochoa-Luna, Kate Revoredo, Fábio Gagliardi Cozman
      Pages 28-39
    4. Belief Merging Using Normal Forms

      • Pilar Pozos-Parra, Laurent Perrussel, Jean Marc Thevenin
      Pages 40-51
    5. A Complex Social System Simulation Using Type-2 Fuzzy Logic and Multiagent System

      • Dora-Luz Flores, Manuel Castañón-Puga, Carelia Gaxiola-Pacheco
      Pages 65-75
    6. Collaborative Redundant Agents: Modeling the Dependences in the Diversity of the Agents’ Errors

      • Laura Zavala, Michael Huhns, Angélica García-Vega
      Pages 88-100
    7. Strategy Patterns Prediction Model (SPPM)

      • Aram B. González, Jorge A. Ramírez Uresti
      Pages 101-112
  3. Problem Solving and Machine Learning

    1. Variable and Value Ordering Decision Matrix Hyper-heuristics: A Local Improvement Approach

      • José Carlos Ortiz-Bayliss, Hugo Terashima-Marín, Ender Özcan, Andrew J. Parkes, Santiago Enrique Conant-Pablos
      Pages 125-136
    2. Improving the Performance of Heuristic Algorithms Based on Causal Inference

      • 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 et al.
      Pages 137-148
    3. Fuzzified Tree Search in Real Domain Games

      • Dmitrijs Rutko
      Pages 149-161
    4. On Generating Templates for Hypothesis in Inductive Logic Programming

      • Andrej Chovanec, Roman Barták
      Pages 162-173
    5. Towards Building a Masquerade Detection Method Based on User File System Navigation

      • Benito Camiña, Raúl Monroy, Luis A. Trejo, Erika Sánchez
      Pages 174-186
    6. A Fast SVM Training Algorithm Based on a Decision Tree Data Filter

      • Jair Cervantes, Asdrúbal López, Farid García, Adrián Trueba
      Pages 187-197
    7. Optimal Shortening of Covering Arrays

      • Oscar Carrizales-Turrubiates, Nelson Rangel-Valdez, José Torres-Jiménez
      Pages 198-209
    8. An Exact Approach to Maximize the Number of Wild Cards in a Covering Array

      • Loreto Gonzalez-Hernandez, José Torres-Jiménez, Nelson Rangel-Valdez
      Pages 210-221
    9. Intelligent Learning System Based on SCORM Learning Objects

      • Liliana Argotte, Julieta Noguez, Gustavo Arroyo
      Pages 222-231

Other Volumes

  1. Advances in Artificial Intelligence

About this book

The two-volume set LNAI 7094 and LNAI 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in November/December 2011. The 96 revised papers presented were carefully reviewed and selected from numerous submissions. The first volume includes 50 papers representing the current main topics of interest for the AI community and their applications. The papers are organized in the following topical sections: automated reasoning and multi-agent systems; problem solving and machine learning; natural language processing; robotics, planning and scheduling; and medical applications of artificial intelligence.

Keywords

  • Web crawling
  • granular computing
  • hybrid intelligent systems
  • multi-agent distributed systems
  • relational databases

Editors and Affiliations

  • Mexican Petroleum Institute (IMP), Eje Central Lazaro Cardenas Norte, Mexico DF,, Mexico

    Ildar Batyrshin

  • National Polytechnic Institute (IPN), Center for Computing Research (CIC), Mexico D.F., Mexico

    Grigori Sidorov

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions