Skip to main content
  • Conference proceedings
  • © 2005

MICAI 2005: Advances in Artificial Intelligence

4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings

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

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

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.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

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

Table of contents (120 papers)

  1. Front Matter

  2. Knowledge Representation and Management

    1. Modelling Human Intelligence: A Learning Mechanism

      • Enrique Carlos Segura, Robin Whitty
      Pages 1-10
    2. Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems

      • Vianey Guadalupe Cruz Sánchez, Gerardo Reyes Salgado, Osslan Osiris Vergara Villegas, Joaquín Perez Ortega, Azucena Montes Rendón
      Pages 11-20
    3. Belief Revision Revisited

      • Ewa Madalińska-Bugaj, Witold Łukaszewicz
      Pages 31-40
    4. Knowledge and Reasoning Supported by Cognitive Maps

      • Alejandro Peña, Humberto Sossa, Agustin Gutiérrez
      Pages 41-50
    5. Temporal Reasoning on Chronological Annotation

      • Tiphaine Accary-Barbier, Sylvie Calabretto
      Pages 51-60
    6. EventNet: Inferring Temporal Relations Between Commonsense Events

      • Jose Espinosa, Henry Lieberman
      Pages 61-69
    7. Multi Agent Ontology Mapping Framework in the AQUA Question Answering System

      • Miklos Nagy, Maria Vargas-Vera, Enrico Motta
      Pages 70-79
    8. A Three-Level Approach to Ontology Merging

      • Agustina Buccella, Alejandra Cechich, Nieves Brisaboa
      Pages 80-89
    9. Modelling Power and Trust for Knowledge Distribution: An Argumentative Approach

      • Carlos Iván Chesñevar, Ramón F. Brena, José Luis Aguirre
      Pages 98-108
    10. Application of ASP for Agent Modelling in CSCL Environments

      • Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
      Pages 109-118
  3. Logic and Constraint Programming

    1. Geometric Aspects Related to Solutions of #kSAT

      • Guillermo Morales-Luna
      Pages 132-141
    2. A Syntactical Approach to Belief Update

      • Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel
      Pages 142-151
    3. A Fuzzy Extension of Description Logic \(\mathcal{ALCH}\)

      • Yanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang, Jixiang Jiang
      Pages 152-161
    4. An Approach for Dynamic Split Strategies in Constraint Solving

      • Carlos Castro, Eric Monfroy, Christian Figueroa, Rafael Meneses
      Pages 162-174
    5. Scheduling Transportation Events with Grouping Genetic Algorithms and the Heuristic DJD

      • Hugo Terashima-Marín, Juan Manuel Tavernier-Deloya, Manuel Valenzuela-Rendón
      Pages 185-194

Other Volumes

  1. MICAI 2005: Advances in Artificial Intelligence

Editors and Affiliations

  • National Polytechnic Institute, Center for Computing Research, Mexico City, México

    Alexander Gelbukh

  • Technológico de Monterrey (ITESM), Tlalpan, Mexico

    Álvaro Albornoz

  • Center for Intelligent Systems, Tecnológico de Monterrey, Monterrey, Mexico

    Hugo Terashima-Marín

Bibliographic Information

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.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