↓ Skip to main content

PRICAI 2004: Trends in Artificial Intelligence

Overview of attention for book
Cover of 'PRICAI 2004: Trends in Artificial Intelligence'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Biomedical Artificial Intelligence
  3. Altmetric Badge
    Chapter 2 Electronics Institutions: Methodology of Multi-agent Systems Development
  4. Altmetric Badge
    Chapter 3 The Happy Searcher: Challenges in Web Information Retrieval
  5. Altmetric Badge
    Chapter 4 On the Intended Interpretations of Actions
  6. Altmetric Badge
    Chapter 5 Temporal Linear Logic for Symbolic Agent Negotiation
  7. Altmetric Badge
    Chapter 6 Dealing with Inconsistent Secure Messages
  8. Altmetric Badge
    Chapter 7 Answer Set Computation Based on a Minimal Model Generation Theorem Prover
  9. Altmetric Badge
    Chapter 8 What Is a Qualitative Calculus? A General Framework
  10. Altmetric Badge
    Chapter 9 Qualitative Direction Calculi with Arbitrary Granularity
  11. Altmetric Badge
    Chapter 10 Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation
  12. Altmetric Badge
    Chapter 11 Ontology Services-Based Information Integration in Mining Telecom Business Intelligence
  13. Altmetric Badge
    Chapter 12 Indexing Approach for Delivery Demands with Time Constraints
  14. Altmetric Badge
    Chapter 13 An Hierarchical Terrain Representation for Approximately Shortest Paths
  15. Altmetric Badge
    Chapter 14 MSIP: Agents Embodying a Category-Based Learning Process for the ITS Tutor to Self-improve Its Instructional Plans
  16. Altmetric Badge
    Chapter 15 Circuit Consistencies
  17. Altmetric Badge
    Chapter 16 Solving Over-Constrained Temporal Reasoning Problems Using Local Search
  18. Altmetric Badge
    Chapter 17 Methods of Automatic Algorithm Generation
  19. Altmetric Badge
    Chapter 18 A Novel Heuristic to Solve IA Network by Convex Approximation and Weights
  20. Altmetric Badge
    Chapter 19 Applying An Improved Heuristic Based Optimiser to Solve a Set of Challenging University Timetabling Problems: An Experience Report
  21. Altmetric Badge
    Chapter 20 Extending Unit Propagation Look-Ahead of DPLL Procedure
  22. Altmetric Badge
    Chapter 21 Extended Nearest Feature Line Classifier
  23. Altmetric Badge
    Chapter 22 Sifting the Margin – An Iterative Empirical Classification Scheme
  24. Altmetric Badge
    Chapter 23 Accelerating Linear Causal Model Discovery Using Hoeffding Bounds
  25. Altmetric Badge
    Chapter 24 Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Data
  26. Altmetric Badge
    Chapter 25 Fast Incremental Learning of Linear Model Trees
  27. Altmetric Badge
    Chapter 26 A Modified Incremental Principal Component Analysis for On-Line Learning of Feature Space and Classifier
  28. Altmetric Badge
    Chapter 27 An Evolutionary Approach to the Design of Cellular Automata Architecture for Multiplication in Elliptic Curve Cryptography over Finite Fields
  29. Altmetric Badge
    Chapter 28 Probability Based Genetic Programming for Multiclass Object Classification
  30. Altmetric Badge
    Chapter 29 Design of Nearest Neighbor Classifiers Using an Intelligent Multi-objective Evolutionary Algorithm
  31. Altmetric Badge
    Chapter 30 Elastic Learning Rate on Error Backpropagation of Online Update
  32. Altmetric Badge
    Chapter 31 Learning Dynamics of Neural Networks with Singularity – Standard Gradient vs. Natural Gradient
  33. Altmetric Badge
    Chapter 32 Feature Selection for Multi-class Problems Using Support Vector Machines
  34. Altmetric Badge
    Chapter 33 Beyond Learners’ Interest: Personalized Paper Recommendation Based on Their Pedagogical Features for an e-Learning System
  35. Altmetric Badge
    Chapter 34 An Anytime Algorithm for Interpreting Arguments
  36. Altmetric Badge
    Chapter 35 Varieties of Causal Intervention
  37. Altmetric Badge
    Chapter 36 Species Merging and Splitting for Efficient Search in Coevolutionary Algorithm
  38. Altmetric Badge
    Chapter 37 Exploiting Unexpressed Genes for Solving Large-Scaled Maximal Covering Problems
  39. Altmetric Badge
    Chapter 38 Combining Extension Matrix and Integer Programming for Optimal Concept Learning
  40. Altmetric Badge
    Chapter 39 HeurEAKA – A New Approach for Adapting GAs to the Problem Domain
  41. Altmetric Badge
    Chapter 40 A Modified Integer-Coding Genetic Algorithm for Job Shop Scheduling Problem
  42. Altmetric Badge
    Chapter 41 Using Evolutionary Learning of Behavior to Find Weaknesses in Operating Systems
  43. Altmetric Badge
    Chapter 42 Creative 3D Designs Using Interactive Genetic Algorithm with Structured Directed Graph
  44. Altmetric Badge
    Chapter 43 Spatiotemporal Parameter Adaptation in Genetic Algorithm-Based Video Segmentation
  45. Altmetric Badge
    Chapter 44 Object Detection and Removal Using Genetic Algorithms
  46. Altmetric Badge
    Chapter 45 Elman’s Recurrent Neural Networks Using Resilient Back Propagation for Harmonic Detection
  47. Altmetric Badge
    Chapter 46 Neural Based Steganography
  48. Altmetric Badge
    Chapter 47 Neural Network Combines with a Rotational Invariant Feature Set in Texture Classification
  49. Altmetric Badge
    Chapter 48 What Concrete Things Does Fuzzy Propositional Logic Describe?
  50. Altmetric Badge
    Chapter 49 A Framework for Fuzzy Rule-Based Cognitive Maps
  51. Altmetric Badge
    Chapter 50 Discontinuity Enhancement Using Fuzziness in DCT Blocks
  52. Altmetric Badge
    Chapter 51 Is Minimum-Support Appropriate to Identifying Large Itemsets?
  53. Altmetric Badge
    Chapter 52 An Efficient Approach for Mining Periodic Sequential Access Patterns
  54. Altmetric Badge
    Chapter 53 A New Collaborative Recommender System Addressing Three Problems
  55. Altmetric Badge
    Chapter 54 A GA-Based Fuzzy Decision Tree Approach for Corporate Bond Rating
  56. Altmetric Badge
    Chapter 55 Text Classification Using Belief Augmented Frames
  57. Altmetric Badge
    Chapter 56 A Feature Selection for Text Categorization on Research Support System Papits
  58. Altmetric Badge
    Chapter 57 Constrained Ant Colony Optimization for Data Clustering
  59. Altmetric Badge
    Chapter 58 A Kernel-Based Case Retrieval Algorithm with Application to Bioinformatics
  60. Altmetric Badge
    Chapter 59 Building a Case-Based Reasoner for Clinical Decision Support
  61. Altmetric Badge
    Chapter 60 Association-Rule Based Information Source Selection
  62. Altmetric Badge
    Chapter 61 Distributional Character Clustering for Chinese Text Categorization
  63. Altmetric Badge
    Chapter 62 Approximately Repetitive Structure Detection for Wrapper Induction
  64. Altmetric Badge
    Chapter 63 Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
  65. Altmetric Badge
    Chapter 64 Towards Belief Revision Logic Based Adaptive and Persuasive Negotiation Agents
  66. Altmetric Badge
    Chapter 65 Agents and Web Services Supported Business Exception Management
  67. Altmetric Badge
    Chapter 66 Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments
  68. Altmetric Badge
    Chapter 67 $\mathcal{K}_\mathit{2}$ : Animated Agents that Understand Speech Commands and Perform Actions
  69. Altmetric Badge
    Chapter 68 InCA: A Mobile Conversational Agent
  70. Altmetric Badge
    Chapter 69 Determination of Usenet News Groups by Fuzzy Inference and Kohonen Network
  71. Altmetric Badge
    Chapter 70 Using Context to Solve the Correspondence Problem in Simultaneous Localisation and Mapping
  72. Altmetric Badge
    Chapter 71 Knowledge-Based Interactive Robot: System Architecture and Dialogue Manager
  73. Altmetric Badge
    Chapter 72 Complete Coverage by Mobile Robots Using Slice Decomposition Based on Natural Landmarks
  74. Altmetric Badge
    Chapter 73 Shape Matching for Robot Mapping
  75. Altmetric Badge
    Chapter 74 Covisibility-Based Map Learning Method for Mobile Robots
  76. Altmetric Badge
    Chapter 75 Optimal Gene Selection for Cancer Classification with Partial Correlation and k -Nearest Neighbor Classifier
  77. Altmetric Badge
    Chapter 76 Prediction of the Risk Types of Human Papillomaviruses by Support Vector Machines
  78. Altmetric Badge
    Chapter 77 Computational Methods for Identification of Human microRNA Precursors
  79. Altmetric Badge
    Chapter 78 Multi-objective Evolutionary Probe Design Based on Thermodynamic Criteria for HPV Detection
  80. Altmetric Badge
    Chapter 79 Synergism in Color Image Segmentation
  81. Altmetric Badge
    Chapter 80 Face Recognition Using Direct-Weighted LDA
  82. Altmetric Badge
    Chapter 81 Face Recognition Using Enhanced Fisher Linear Discriminant Model with Facial Combined Feature
  83. Altmetric Badge
    Chapter 82 Gradient Vector Flow Snake with Embedded Edge Confidence
  84. Altmetric Badge
    Chapter 83 Object Boundary Edge Selection for Human Body Tracking Using Level-of-Detail Canny Edges
  85. Altmetric Badge
    Chapter 84 Unsupervised Multiscale Image Segmentation Using Wavelet Domain Hidden Markov Tree
  86. Altmetric Badge
    Chapter 85 Adaptive Model for Foreground Extraction in Adverse Lighting Conditions
  87. Altmetric Badge
    Chapter 86 Improvement of Binarization Method Using a Water Flow Model for Document Images with Complex Backgrounds
  88. Altmetric Badge
    Chapter 87 Learning and Integrating Semantics for Image Indexing
  89. Altmetric Badge
    Chapter 88 PDA-Based Text Localization System Using Client/Server Architecture
  90. Altmetric Badge
    Chapter 89 Vision Technique for the Recognition of Billet Characters in the Steel Plant
  91. Altmetric Badge
    Chapter 90 Tagging Medical Documents with High Accuracy
  92. Altmetric Badge
    Chapter 91 Pronominal Anaphora Resolution Using a Shallow Meaning Representation of Sentences
  93. Altmetric Badge
    Chapter 92 Multi-agent Human-Machine Dialogue: Issues in Dialogue Management and Referring Expression Semantics
  94. Altmetric Badge
    Chapter 93 Coherent Arrangement of Sentences Extracted from Multiple Newspaper Articles
  95. Altmetric Badge
    Chapter 94 Improvement of Language Models Using Dual-Source Backoff
  96. Altmetric Badge
    Chapter 95 Speaker Identification Based on Log Area Ratio and Gaussian Mixture Models in Narrow-Band Speech
  97. Altmetric Badge
    Chapter 96 Automatic Sound-Imitation Word Recognition from Environmental Sounds Focusing on Ambiguity Problem in Determining Phonemes
  98. Altmetric Badge
    Chapter 97 Statistical Pitch Conversion Approaches Based on Korean Accentual Phrases
  99. Altmetric Badge
    Chapter 98 On the Stability of a Dynamic Stochastic Capacity Pricing Scheme for Resource Allocation in a Multi-agent Environment
  100. Altmetric Badge
    Chapter 99 Part-of-Speech Tagging and PP Attachment Disambiguation Using a Boosted Maximum Entropy Model
  101. Altmetric Badge
    Chapter 100 Solving Pickup and Delivery Problems with Refined Construction and Repair Heuristics
  102. Altmetric Badge
    Chapter 101 Mining Multi-dimensional Data with Visualization Techniques
  103. Altmetric Badge
    Chapter 102 Believability Based Iterated Belief Revision
  104. Altmetric Badge
    Chapter 103 On Designing a Reduced-Order Fuzzy Observer
  105. Altmetric Badge
    Chapter 104 Using Factorization Algorithm for 3D Reconstruction over Long Un-calibrated Sequences
  106. Altmetric Badge
    Chapter 105 A Hybrid Algorithm for Combining Forecasting Based on AFTER-PSO
  107. Altmetric Badge
    Chapter 106 A Multi-strategy Approach for Catalog Integration
  108. Altmetric Badge
    Chapter 107 Some Game Theory of Pit
  109. Altmetric Badge
    Chapter 108 Dynamically Determining Affect During Scripted Dialogue
  110. Altmetric Badge
    Chapter 109 Knowledge and Argument Transformation for Arguing Mobile Agents
  111. Altmetric Badge
    Chapter 110 Improving Newsgroup Clustering by Filtering Author-Specific Words
  112. Altmetric Badge
    Chapter 111 Evolving Artificial Ant Systems to Improve Layouts of Graphical Objects
  113. Altmetric Badge
    Chapter 112 MASCONTROL: A MAS for System Identification and Process Control
  114. Altmetric Badge
    Chapter 113 Vision Based Acquisition of Mouth Actions for Human-Computer Interaction
  115. Altmetric Badge
    Chapter 114 Unsupervised Image Segmentation with Fuzzy Connectedness
  116. Altmetric Badge
    Chapter 115 Personalized Image Recommendation in the Mobile Internet
  117. Altmetric Badge
    Chapter 116 Clustering IP Addresses Using Longest Prefix Matching and Nearest Neighbor Algorithms
  118. Altmetric Badge
    Chapter 117 A Fuzzy Clustering Algorithm for Analysis of Gene Expression Profiles
  119. Altmetric Badge
    Chapter 118 Evaluation of a Boosted Cascade of Haar-Like Features in the Presence of Partial Occlusions and Shadows for Real Time Face Detection
  120. Altmetric Badge
    Chapter 119 Classifying Human Actions Using an Incomplete Real-Time Pose Skeleton
  121. Altmetric Badge
    Chapter 120 Multiclass Support Vector Machines Using Balanced Dichotomization
  122. Altmetric Badge
    Chapter 121 Time Series Pattern Discovery by Segmental Gaussian Models
  123. Altmetric Badge
    Chapter 122 A Model for Identifying the Underlying Logical Structure of Natural Language
  124. Altmetric Badge
    Chapter 123 A Reputation-Based Trust Model for Agent Societies
  125. Altmetric Badge
    Chapter 124 A Model of Rhetorical Structure Analysis of Japanese Texts and Its Application to Intelligent Text Processing: A Case for a Smart Help System
  126. Altmetric Badge
    Chapter 125 Explicit State Duration HMM for Abnormality Detection in Sequences of Human Activity
  127. Altmetric Badge
    Chapter 126 An Augmentation Hybrid System for Document Classification and Rating
  128. Altmetric Badge
    Chapter 127 Study and Comparison of 3D Face Generation
  129. Altmetric Badge
    Chapter 128 Stable Solutions Dealing with Dynamics in Scheduling Based on Dynamic Constraint Satisfaction Problems
  130. Altmetric Badge
    Chapter 129 Analyzing Emotional Space in Sensitivity Communication Robot “Ifbot”
  131. Altmetric Badge
    Chapter 130 Human-Centric Approach for Human-Robot Interaction
  132. Altmetric Badge
    Chapter 131 Complexity of Coordinating Autonomous Planning Agents
  133. Altmetric Badge
    Chapter 132 An Approach for Multirelational Ontology Modelling
  134. Altmetric Badge
    Chapter 133 SNR-Invariant Normalization of the Covariance Measure for Template Matching
  135. Altmetric Badge
    Chapter 134 Brain Emotional Learning Based Intelligent Controller Applied to Gas Metal Arc Welding System
  136. Altmetric Badge
    Chapter 135 Qualitative Spatial Arrangements and Natural Object Categories as a Link Between 3D-Perception and Speech
  137. Altmetric Badge
    Chapter 136 Integrating Feature Information for Improving Accuracy of Collaborative Filtering
  138. Altmetric Badge
    Chapter 137 An Ordered Preprocessing Scheme for Data Mining
  139. Altmetric Badge
    Chapter 138 Spatial Function Representation and Retrieval
  140. Altmetric Badge
    Chapter 139 Fuzzy Project Scheduling with Multiple Objectives
  141. Altmetric Badge
    Chapter 140 A New Approach for Applying Support Vector Machines in Multiclass Problems Using Class Groupings and Truth Tables
  142. Altmetric Badge
    Chapter 141 Imitation of Bee Reproduction as a Crossover Operator in Genetic Algorithms
  143. Altmetric Badge
    Chapter 142 An Intelligent Robot Navigation System Based on Neuro-Fuzzy Control
Attention for Chapter 5: Temporal Linear Logic for Symbolic Agent Negotiation
Altmetric Badge

Mentioned by

q&a
1 Q&A thread

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Temporal Linear Logic for Symbolic Agent Negotiation
Chapter number 5
Book title
PRICAI 2004: Trends in Artificial Intelligence
Published by
Springer Berlin Heidelberg, January 2004
DOI 10.1007/978-3-540-28633-2_5
Book ISBNs
978-3-54-022817-2, 978-3-54-028633-2
Authors

Peep Küngas, Küngas, Peep

Editors

Chengqi Zhang, Hans W. Guesgen, Wai-Kiang Yeap