Skip to main content
Springer Nature Link
Log in

Advances in Artificial Intelligence and Its Applications

12th Mexican International Conference, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Félix Castro

    1. Universidad Autónoma del Estado de Hidalgo, Ciudad Universitaria,, Hidalgo, Mexico

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander Gelbukh

    1. Centro de Investigación en Computación, Instituto Politécnico Nacional, Mexico City, Mexico

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Miguel González

    1. Tecnológico de Monterrey, Campus Estado de México,, Estado de México, 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 8265)

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

Included in the following conference series:

Conference proceedings info: MICAI 2013.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

The two-volume set LNAI 8265 and LNAI 8266 constitutes the proceedings of the 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, held in Mexico City, Mexico, in November 2013. The total of 85 papers presented in these proceedings were carefully reviewed and selected from 284 submissions. The first volume deals with advances in artificial intelligence and its applications and is structured in the following five sections: logic and reasoning; knowledge-based systems and multi-agent systems; natural language processing; machine translation; and bioinformatics and medical applications. The second volume deals with advances in soft computing and its applications and is structured in the following eight sections: evolutionary and nature-inspired metaheuristic algorithms; neural networks and hybrid intelligent systems; fuzzy systems; machine learning and pattern recognition; data mining; computer vision and image processing; robotics, planning and scheduling and emotion detection, sentiment analysis and opinion mining.

Similar content being viewed by others

Keywords

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Logic and Reasoning

    1. Some Properties of Logic N-GLukG

      • Mauricio Osorio, José Luis Carballido, Claudia Zepeda
      Pages 1-11

    2. The Inverse Method for Many-Valued Logics

      • Laura Kovács, Andrei Mantsivoda, Andrei Voronkov
      Pages 12-23

    3. A Parametric Interpolation Framework for First-Order Theories

      • Laura Kovács, Simone Fulvio Rollini, Natasha Sharygina
      Pages 24-40

    4. Dalal’s Revision without Hamming Distance

      • Pilar Pozos-Parra, Weiru Liu, Laurent Perrussel
      Pages 41-53

    5. Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics

      • Frederik Van De Putte
      Pages 54-67

    6. Soft Constraints for Lexicographic Orders

      • Fabio Gadducci, Mattias Hölzl, Giacoma V. Monreale, Martin Wirsing
      Pages 68-79

    7. Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals

      • Everardo Bárcenas, Jesús Lavalle
      Pages 80-91

    8. Completion-Based Automated Theory Exploration

      • Omar Montano-Rivas
      Pages 92-109

    9. Possibilistic Minimal Models for Possibilistic Normal Programs

      • Rubén Octavio Vélez Salazar, José Arrazola Ramírez, Ivan Martínez Ruiz
      Pages 110-119

  3. Knowledge-Based Systems and Multi-Agent Systems

    1. Estimating the Number of Test Cases for Active Rule Validation

      • Lorena Chavarría-Báez, Xiaoou Li, Rosaura Palma-Orozco
      Pages 120-131

    2. A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk Analysis

      • Yeleny Zulueta, Vladimir Martell, Juan Martínez, Luis Martínez
      Pages 132-143

    3. An Architecture for Cognitive Modeling to Support Real-Time Adaptation and Motivational Responses in Video Games

      • Juan Carlos Conde Ramírez, Abraham Sánchez López, Abraham Sánchez Flores
      Pages 144-156

    4. Semantic Representation of CAD Models Based on the IGES Standard

      • Nestor Velasco Bermeo, Miguel González Mendoza, Alexander García Castro
      Pages 157-168

    5. Complexity of Verification of Fuzzy Multi-Agent Systems

      • Michael I. Dekhtyar, Mars K. Valiev
      Pages 169-184

    6. Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human Activities

      • Héctor Ceballos, Juan Pablo García-Vázquez, Ramón Brena
      Pages 185-198

  4. Natural Language Processing

    1. Invited Paper:

      1. Challenges in Ontology Alignment and Solution to the Contradictory Evidence Problem
        • Maria Vargas-Vera, Miklos Nagy
        Pages 199-216
      2. Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation
        • Francisco Viveros-Jiménez, Alexander Gelbukh, Grigori Sidorov
        Pages 217-227
      3. Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations
        • Maciej Piasecki, Michał Kaliński, Agnieszka Indyka-Piasecka
        Pages 228-239
      4. Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective
        • Paweł Kędzia, Maciej Piasecki, Marek Maziarz, Michał Marcińczuk
        Pages 240-251
Back to top

Other volumes

  1. Advances in Artificial Intelligence and Its Applications

  2. Advances in Soft Computing and Its Applications

Editors and Affiliations

  • Universidad Autónoma del Estado de Hidalgo, Ciudad Universitaria,, Hidalgo, Mexico

    Félix Castro

  • Centro de Investigación en Computación, Instituto Politécnico Nacional, Mexico City, Mexico

    Alexander Gelbukh

  • Tecnológico de Monterrey, Campus Estado de México,, Estado de México, Mexico

    Miguel González

Bibliographic Information

Publish with us

Policies and ethics

Back to top