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

Front Matter....Pages -
Case Studies on Invariant Generation Using a Saturation Theorem Prover....Pages 1-15
Characterization of Argumentation Semantics in Terms of the MM r Semantics....Pages 16-27
Learning Probabilistic Description Logics: A Framework and Algorithms....Pages 28-39
Belief Merging Using Normal Forms....Pages 40-51
Toward Justifying Actions with Logically and Socially Acceptable Reasons....Pages 52-64
A Complex Social System Simulation Using Type-2 Fuzzy Logic and Multiagent System....Pages 65-75
Computing Mobile Agent Routes with Node-Wise Constraints in Distributed Communication Systems....Pages 76-87
Collaborative Redundant Agents: Modeling the Dependences in the Diversity of the Agents’ Errors....Pages 88-100
Strategy Patterns Prediction Model (SPPM)....Pages 101-112
Fuzzy Case-Based Reasoning for Managing Strategic and Tactical Reasoning in StarCraft....Pages 113-124
Variable and Value Ordering Decision Matrix Hyper-heuristics: A Local Improvement Approach....Pages 125-136
Improving the Performance of Heuristic Algorithms Based on Causal Inference....Pages 137-148
Fuzzified Tree Search in Real Domain Games....Pages 149-161
On Generating Templates for Hypothesis in Inductive Logic Programming....Pages 162-173
Towards Building a Masquerade Detection Method Based on User File System Navigation....Pages 174-186
A Fast SVM Training Algorithm Based on a Decision Tree Data Filter....Pages 187-197
Optimal Shortening of Covering Arrays....Pages 198-209
An Exact Approach to Maximize the Number of Wild Cards in a Covering Array....Pages 210-221
Intelligent Learning System Based on SCORM Learning Objects....Pages 222-231
A Weighted Profile Intersection Measure for Profile-Based Authorship Attribution....Pages 232-243
A New General Grammar Formalism for Parsing....Pages 244-257
Contextual Semantic Processing for a Spanish Dialogue System Using Markov Logic....Pages 258-266
A Statistics-Based Semantic Textual Entailment System....Pages 267-276
Semantic Model for Improving the Performance of Natural Language Interfaces to Databases....Pages 277-290
Modular Natural Language Processing Using Declarative Attribute Grammars....Pages 291-304
EM Clustering Algorithm for Automatic Text Summarization....Pages 305-315
Discourse Segmentation for Sentence Compression....Pages 316-327
Heuristic Algorithm for Extraction of Facts Using Relational Model and Syntactic Data....Pages 328-337
MFSRank: An Unsupervised Method to Extract Keyphrases Using Semantic Information....Pages 338-344
Content Determination through Planning for Flexible Game Tutorials....Pages 345-356
Instance Selection in Text Classification Using the Silhouette Coefficient Measure....Pages 357-369
Age-Related Temporal Phrases in Spanish and French....Pages 370-381
Sentiment Analysis of Urdu Language: Handling Phrase-Level Negation....Pages 382-393
Unsupervised Identification of Persian Compound Verbs....Pages 394-406
Testing a Theory of Perceptual Mapping Using Robots....Pages 407-414
A POMDP Model for Guiding Taxi Cruising in a Congested Urban City....Pages 415-428
Next-Best-View Planning for 3D Object Reconstruction under Positioning Error....Pages 429-442
Stochastic Learning Automata for Self-coordination in Heterogeneous Multi-Tasks Selection in Multi-Robot Systems....Pages 443-453
Stochastic Abstract Policies for Knowledge Transfer in Robotic Navigation Tasks....Pages 454-465
The Evolution of Signal Communication for the e-puck Robot....Pages 466-477
An Hybrid Expert Model to Support Tutoring Services in Robotic Arm Manipulations....Pages 478-489
Inverse Kinematics Solution for Robotic Manipulators Using a CUDA-Based Parallel Genetic Algorithm....Pages 490-503
MFCA: Matched Filters with Cellular Automata for Retinal Vessel Detection....Pages 504-514
Computer Assisted Diagnosis of Microcalcifications in Mammograms: A Scale-Space Approach....Pages 515-523
Diagnosis in Sonogram of Gall Bladder....Pages 524-536
Genetic Selection of Fuzzy Model for Acute Leukemia Classification....Pages 537-548
An Ontology for Computer-Based Decision Support in Rehabilitation....Pages 549-559
Heuristic Search of Cut-Off Points for Clinical Parameters: Defining the Limits of Obesity....Pages 560-571
Development of a System of Electrodes for Reading Consents-Activity of an Amputated Leg (above the knee) and Its Prosthesis Application....Pages 572-582
Predicting the Behavior of the Interaction of Acetylthiocholine, pH and Temperature of an Acetylcholinesterase Sensor....Pages 583-591
Back Matter....Pages -