Advances in Artificial Intelligence and Its Applications

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Some Properties of Logic N-GLukG
3. Altmetric Badge
   Chapter 2 Advances in Artificial Intelligence and Its Applications
4. Altmetric Badge
   Chapter 3 Advances in Artificial Intelligence and Its Applications
5. Altmetric Badge
   Chapter 4 Dalal’s Revision without Hamming Distance
6. Altmetric Badge
   Chapter 5 Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics
7. Altmetric Badge
   Chapter 6 Soft Constraints for Lexicographic Orders
8. Altmetric Badge
   Chapter 7 Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals
9. Altmetric Badge
   Chapter 8 Completion-Based Automated Theory Exploration
10. Altmetric Badge
    Chapter 9 Possibilistic Minimal Models for Possibilistic Normal Programs
11. Altmetric Badge
    Chapter 10 Estimating the Number of Test Cases for Active Rule Validation
12. Altmetric Badge
    Chapter 11 A Dynamic Multi-Expert Multi-Criteria Decision Making Model for Risk Analysis
13. Altmetric Badge
    Chapter 12 An Architecture for Cognitive Modeling to Support Real-Time Adaptation and Motivational Responses in Video Games
14. Altmetric Badge
    Chapter 13 Semantic Representation of CAD Models Based on the IGES Standard
15. Altmetric Badge
    Chapter 14 Complexity of Verification of Fuzzy Multi-Agent Systems
16. Altmetric Badge
    Chapter 15 Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human Activities
17. Altmetric Badge
    Chapter 16 Challenges in Ontology Alignment and Solution to the Contradictory Evidence Problem
18. Altmetric Badge
    Chapter 17 Simple Window Selection Strategies for the Simplified Lesk Algorithm for Word Sense Disambiguation
19. Altmetric Badge
    Chapter 18 Disambiguating Wikipedia Articles on the Basis of plWordNet Lexico-semantic Relations
20. Altmetric Badge
    Chapter 19 Recognising Compositionality of Multi-Word Expressions in the Wordnet Oriented Perspective
21. Altmetric Badge
    Chapter 20 Automatic Processing of Linguistic Data as a Feedback for Linguistic Theory
22. Altmetric Badge
    Chapter 21 Interval Semi-supervised LDA: Classifying Needles in a Haystack
23. Altmetric Badge
    Chapter 22 A Reverse Dictionary Based on Semantic Analysis Using WordNet
24. Altmetric Badge
    Chapter 23 Applying Rogerian Psychologist in Human-Computer Interaction: A Case Study
25. Altmetric Badge
    Chapter 24 HuLaPos 2.0 – Decoding Morphology
26. Altmetric Badge
    Chapter 25 Hybrid Text Segmentation for Hungarian Clinical Records
27. Altmetric Badge
    Chapter 26 Detection and Expansion of Abbreviations in Hungarian Clinical Notes
28. Altmetric Badge
    Chapter 27 Composite Event Indicator Processing in Event Extraction for Non-configurational Language
29. Altmetric Badge
    Chapter 28 Exploration of a Rich Feature Set for Automatic Term Extraction
30. Altmetric Badge
    Chapter 29 A Pseudo-Relevance Feedback Based Method to Find Comprehensive Web Documents
31. Altmetric Badge
    Chapter 30 Enhancing Sentence Ordering by Hierarchical Topic Modeling for Multi-document Summarization
32. Altmetric Badge
    Chapter 31 An Enhanced Arabic OCR Degraded Text Retrieval Model
33. Altmetric Badge
    Chapter 32 ELEXR: Automatic Evaluation of Machine Translation Using Lexical Relationships
34. Altmetric Badge
    Chapter 33 Modeling Persian Verb Morphology to Improve English-Persian Machine Translation
35. Altmetric Badge
    Chapter 34 An XML Based TBX Framework to Represent Multilingual SNOMED CT for Translation
36. Altmetric Badge
    Chapter 35 The Twin Hypotheses
37. Altmetric Badge
    Chapter 36 Predicting Metabolic Syndrome with Neural Networks
38. Altmetric Badge
    Chapter 37 Homogeneous Population Solving the Minimal Perturbation Problem in Dynamic Scheduling of Surgeries
39. Altmetric Badge
    Chapter 38 CUP Classification Based on a Tree Structure with MiRNA Feature Selection
40. Altmetric Badge
    Chapter 39 Machine Learning Techniques Applied to the Cleavage Site Prediction Problem
41. Altmetric Badge
    Chapter 40 Human Heart Segmentation Based on Differential Evolution and Active Contours with Shape Prior
42. Altmetric Badge
    Chapter 41 Detection of Human Retina Images Suspect of Glaucoma through the Vascular Bundle Displacement in the Optic Disc
43. Altmetric Badge
    Chapter 42 Blood Vessel Segmentation in Retinal Images Using Lattice Neural Networks
44. Altmetric Badge
    Chapter 43 A Bayesian and Minimum Variance Technique for Arterial Lumen Segmentation in Ultrasound Imaging
45. Altmetric Badge
    Chapter 44 Detection of Masses in Mammogram Images Using Morphological Operators and Markov Random Fields
46. Altmetric Badge
    Chapter 45 A New Collection of Preprocessed Digital Mammograms