Artificial Intelligence: Methodology, Systems, and Applications

Least Generalization under Relative Implication

Boytcheva, Svetla

Pages 59-68

Theorem Proving for Constructive λ-Calculus

Ramsay, Allan

Pages 69-79

Classification with Belief Decision Trees

Elouedi1, Zied (et al.)

Pages 80-90

A Temporal Many-Valued Logic for Real Time Control Systems

Escalada-Imaz, Gonzalo

Pages 91-100

Propositional Contexts

Dichev, Christo (et al.)

Pages 101-110

An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis

Pulido, Belarmino (et al.)

Pages 111-121

An Open Approach to Distribution, Awareness and Cooperative Work

Balzano, Walter (et al.)

Pages 122-131

How to Schedule a Job Shop Problem through Agent Cooperation

Ghédira, Khaled (et al.)

Pages 132-141

Revisable Analysis and Design throughout Actors Interaction

Kriaa, Hassen (et al.)

Pages 142-151

Simulation and Multi-agent Environment for Aircraft Maintenance Learning

Gouarderes, G. (et al.)

Pages 152-166

Improving WWW Access - from Single-Purpose Systems to Agent Architectures?

Sramek, D. (et al.)

Pages 167-178

A General Architecture for Finding Structural Regularities on the Web

Laur, P. A. (et al.)

Pages 179-188

Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing

Nakov, Preslav

Pages 189-198

What Did He Mean by That?

Ramsay, Allan (et al.)

Pages 199-209

Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning

Boytcheva, Svetla (et al.)

Pages 210-220

Maintaining a Jointly Constructed Student Model

Dimitrova, Vania (et al.)

Pages 221-231

Metaphor Processing for Learning Terminology on the Web

Trausan-Matu, Stefan

Pages 232-241

Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project)

Staykova, Kamenka (et al.)

Pages 242-251

Handling Diphthong and Triphone Symbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document

Nagabhushan, P. (et al.)

Pages 252-260

Complexity Issues in the Davis and Putnam Scheme

Escalada-Imaz, G. (et al.)

Pages 261-271

Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP

Roos, Nico (et al.)

Pages 272-282

Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing

Botana, Francisco

Pages 283-291

Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System

Baruch, Ieroham S. (et al.)

Pages 292-300

A Neural Network Tool to Organize Large Document Sets

Rizzo, R. (et al.)

Pages 301-309

User Authentication via Neural Network

Ahmad, Abd Manan (et al.)

Pages 310-320

Applying Preference Biases to Conjunctive and Disjunctive Version Spaces

Smirnov, E. N. (et al.)

Pages 321-331

Coverage-Based Semi-distance between Horn Clauses

Markov, Zdravko (et al.)

Pages 331-339

Supervised Classification for the Triple Parity Strings

Chan, Tony Y. T.

Pages 340-347

Effective Iris Recognition System by Optimized Feature Vectors and Classifier

Lim, Shinyoung (et al.)

Pages 348-357

Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web

Motta, Enrico

Pages 358-361

Continuations and Conversations

Queinnec, Christian

Pages 362-363