Advances in Artificial Intelligence and Its Applications: 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I

Front Matter....Pages -
Some Properties of Logic N-GLukG....Pages 1-11
The Inverse Method for Many-Valued Logics....Pages 12-23
A Parametric Interpolation Framework for First-Order Theories....Pages 24-40
Dalal’s Revision without Hamming Distance....Pages 41-53
Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics....Pages 54-67
Soft Constraints for Lexicographic Orders....Pages 68-79
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals....Pages 80-91
Completion-Based Automated Theory Exploration....Pages 92-109
Possibilistic Minimal Models for Possibilistic Normal Programs....Pages 110-119
Estimating the Number of Test Cases for Active Rule Validation....Pages 120-131
A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk Analysis....Pages 132-143
An Architecture for Cognitive Modeling to Support Real-Time Adaptation and Motivational Responses in Video Games....Pages 144-156
Semantic Representation of CAD Models Based on the IGES Standard....Pages 157-168
Complexity of Verification of Fuzzy Multi-Agent Systems....Pages 169-184
Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human Activities....Pages 185-198
Challenges in Ontology Alignment and Solution to the Contradictory Evidence Problem....Pages 199-216
Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation....Pages 217-227
Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations....Pages 228-239
Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective....Pages 240-251
Automatic Processing of Linguistic Data as a Feedback for Linguistic Theory....Pages 252-264
Interval Semi-supervised LDA: Classifying Needles in a Haystack....Pages 265-274
A Reverse Dictionary Based on Semantic Analysis Using WordNet....Pages 275-285
Applying Rogerian Psychologist in Human-Computer Interaction: A Case Study....Pages 286-293
HuLaPos 2.0 – Decoding Morphology....Pages 294-305
Hybrid Text Segmentation for Hungarian Clinical Records....Pages 306-317
Detection and Expansion of Abbreviations in Hungarian Clinical Notes....Pages 318-328
Composite Event Indicator Processing in Event Extraction for Non-configurational Language....Pages 329-341
Exploration of a Rich Feature Set for Automatic Term Extraction....Pages 342-354
A Pseudo-Relevance Feedback Based Method to Find Comprehensive Web Documents....Pages 355-366
Enhancing Sentence Ordering by Hierarchical Topic Modeling for Multi-document Summarization....Pages 367-379
An Enhanced Arabic OCR Degraded Text Retrieval Model....Pages 380-393
ELEXR: Automatic Evaluation of Machine Translation Using Lexical Relationships....Pages 394-405
Modeling Persian Verb Morphology to Improve English-Persian Machine Translation....Pages 406-418
An XML Based TBX Framework to Represent Multilingual SNOMED CT for Translation....Pages 419-429
The Twin Hypotheses....Pages 430-463
Predicting Metabolic Syndrome with Neural Networks....Pages 464-472
Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of Surgeries....Pages 473-484
CUP Classification Based on a Tree Structure with MiRNA Feature Selection....Pages 485-496
Machine Learning Techniques Applied to the Cleavage Site Prediction Problem....Pages 497-507
Human Heart Segmentation Based on Differential Evolution and Active Contours with Shape Prior....Pages 508-519
Detection of Human Retina Images Suspect of Glaucoma through the Vascular Bundle Displacement in the Optic Disc....Pages 520-531
Blood Vessel Segmentation in Retinal Images Using Lattice Neural Networks....Pages 532-544
A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging....Pages 545-557
Detection of Masses in Mammogram Images Using Morphological Operators and Markov Random Fields....Pages 558-569
A New Collection of Preprocessed Digital Mammograms....Pages 570-581
Back Matter....Pages -