Skip to main content
SpringerLink
Log in
Book cover

MICAI 2005: Advances in Artificial Intelligence

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Alexander Gelbukh

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Álvaro Albornoz

    1. Technológico de Monterrey (ITESM), Tlalpan, Mexico

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Hugo Terashima-Marín

    1. Center for Intelligent Systems, Tecnológico de Monterrey, Monterrey, Mexico

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: MICAI 2005.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (120 papers)

  1. Front Matter

    Download chapter PDF

  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. The Topological Effect of Improving Knowledge Acquisition

      • Bernhard Heinemann
      Pages 21-30

    4. Belief Revision Revisited

      • Ewa Madalińska-Bugaj, Witold Łukaszewicz
      Pages 31-40

    5. Knowledge and Reasoning Supported by Cognitive Maps

      • Alejandro Peña, Humberto Sossa, Agustin Gutiérrez
      Pages 41-50

    6. Temporal Reasoning on Chronological Annotation

      • Tiphaine Accary-Barbier, Sylvie Calabretto
      Pages 51-60

    7. EventNet: Inferring Temporal Relations Between Commonsense Events

      • Jose Espinosa, Henry Lieberman
      Pages 61-69

    8. Multi Agent Ontology Mapping Framework in the AQUA Question Answering System

      • Miklos Nagy, Maria Vargas-Vera, Enrico Motta
      Pages 70-79

    9. A Three-Level Approach to Ontology Merging

      • Agustina Buccella, Alejandra Cechich, Nieves Brisaboa
      Pages 80-89

    10. Domain and Competences Ontologies and Their Maintenance for an Intelligent Dissemination of Documents

      • Yassine Gargouri, Bernard Lefebvre, Jean-Guy Meunier
      Pages 90-97

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

    12. Application of ASP for Agent Modelling in CSCL Environments

      • Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio
      Pages 109-118

  3. Logic and Constraint Programming

    1. Deductive Systems’ Representation and an Incompleteness Result in the Situation Calculus

      • Pablo Sáez
      Pages 119-131

    2. Geometric Aspects Related to Solutions of #kSAT

      • Guillermo Morales-Luna
      Pages 132-141

    3. A Syntactical Approach to Belief Update

      • Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel
      Pages 142-151

    4. A Fuzzy Extension of Description Logic \(\mathcal{ALCH}\)

      • Yanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang, Jixiang Jiang
      Pages 152-161

    5. An Approach for Dynamic Split Strategies in Constraint Solving

      • Carlos Castro, Eric Monfroy, Christian Figueroa, Rafael Meneses
      Pages 162-174

    6. Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions

      • Tun Li, Yang Guo, SiKun Li, Dan Zhu
      Pages 175-184

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

Other volumes

  1. MICAI 2005: Advances in Artificial Intelligence

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation