Skip to main content
SpringerLink
Log in
Book cover

Advances in Artificial Intelligence

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Ildar Batyrshin

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grigori Sidorov

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: MICAI 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (50 papers)

  1. Front Matter

    Download chapter PDF

  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. Toward Justifying Actions with Logically and Socially Acceptable Reasons

      • Hiroyuki Kido, Katsumi Nitta
      Pages 52-64

    6. 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

    7. Computing Mobile Agent Routes with Node-Wise Constraints in Distributed Communication Systems

      • Amir Elalouf, Eugene Levner, T. C. Edwin Cheng
      Pages 76-87

    8. 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

    9. Strategy Patterns Prediction Model (SPPM)

      • Aram B. González, Jorge A. Ramírez Uresti
      Pages 101-112

    10. Fuzzy Case-Based Reasoning for Managing Strategic and Tactical Reasoning in StarCraft

      • Pedro Cadena, Leonardo Garrido
      Pages 113-124

  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
Back to top

Other volumes

  1. Advances in Artificial Intelligence

  2. Advances in Soft Computing

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation