Artificial Intelligence: Methodology, Systems, and Applications

Least Generalization under Relative Implication

Pages 59-68

Boytcheva, Svetla

Theorem Proving for Constructive λ-Calculus

Pages 69-79

Ramsay, Allan

Classification with Belief Decision Trees

Pages 80-90

Elouedi1, Zied (et al.)

A Temporal Many-Valued Logic for Real Time Control Systems

Pages 91-100

Escalada-Imaz, Gonzalo

Propositional Contexts

Pages 101-110

Dichev, Christo (et al.)

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

Pages 111-121

Pulido, Belarmino (et al.)

An Open Approach to Distribution, Awareness and Cooperative Work

Pages 122-131

Balzano, Walter (et al.)

How to Schedule a Job Shop Problem through Agent Cooperation

Pages 132-141

Ghédira, Khaled (et al.)

Revisable Analysis and Design throughout Actors Interaction

Pages 142-151

Kriaa, Hassen (et al.)

Simulation and Multi-agent Environment for Aircraft Maintenance Learning

Pages 152-166

Gouarderes, G. (et al.)

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

Pages 167-178

Sramek, D. (et al.)

A General Architecture for Finding Structural Regularities on the Web

Pages 179-188

Laur, P. A. (et al.)

Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing

Pages 189-198

Nakov, Preslav

What Did He Mean by That?

Pages 199-209

Ramsay, Allan (et al.)

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

Pages 210-220

Boytcheva, Svetla (et al.)

Maintaining a Jointly Constructed Student Model

Pages 221-231

Dimitrova, Vania (et al.)

Metaphor Processing for Learning Terminology on the Web

Pages 232-241

Trausan-Matu, Stefan

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

Pages 242-251

Staykova, Kamenka (et al.)

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

Pages 252-260

Nagabhushan, P. (et al.)

Complexity Issues in the Davis and Putnam Scheme

Pages 261-271

Escalada-Imaz, G. (et al.)

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

Pages 272-282

Roos, Nico (et al.)

Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing

Pages 283-291

Botana, Francisco

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

Pages 292-300

Baruch, Ieroham S. (et al.)

A Neural Network Tool to Organize Large Document Sets

Pages 301-309

Rizzo, R. (et al.)

User Authentication via Neural Network

Pages 310-320

Ahmad, Abd Manan (et al.)

Applying Preference Biases to Conjunctive and Disjunctive Version Spaces

Pages 321-331

Smirnov, E. N. (et al.)

Coverage-Based Semi-distance between Horn Clauses

Pages 331-339

Markov, Zdravko (et al.)

Supervised Classification for the Triple Parity Strings

Pages 340-347

Chan, Tony Y. T.

Effective Iris Recognition System by Optimized Feature Vectors and Classifier

Pages 348-357

Lim, Shinyoung (et al.)

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

Pages 358-361

Motta, Enrico

Continuations and Conversations

Pages 362-363

Queinnec, Christian