ISBN: 3-540-41044-9
TITLE: Artificial Intelligence: Methodology, Systems, and Applications
AUTHOR: Cerri, Stefano A.; Dochev, Danail (Eds.)
TOC:

Knowledge Construction 
Dynamic Knowledge Representation and Its Applications 1 
Jos Jlio Alferes, Lus Moniz Pereira, Halina Przymusinska, 
Teodor C. Przymusinski and Paulo Quaresma 
Using Consensus Methods for Determining the Representation 
of Expert Information in Distributed Systems 11 
Ngoc Thanh Nguyen 
Drafting and Validating Regulations: 
The Inevitable Use of Intelligent Tools 21 
Joost Breuker, Emil Petkov and Radboud Winkels 
Steps towards C+C: A Language for Interactions 34 
Stefano A. Cerri, Jean Sallantin, Emmanuel Castro and Daniele Maraschi 
Reasoning under Certainty 
Efficient Reasoning Using the Local Closed-World Assumption 49 
Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas 
Least Generalization under Relative Implication 59 
Svetla Boytcheva 
Theorem Proving for Constructive lambda-Calculus 69 
Allan Ramsay 
Reasoning under Uncertainty 
Classification with Belief Decision Trees 80 
Zied Elouedi, Khaled Mellouli and Philippe Smets 
A Temporal Many-Valued Logic for Real Time Control Systems 91 
Gonzalo Escalada-Imaz 
Propositional Contexts 101 
Christo Dichev and Trendafil Madarov 
Best Paper Award 
An Alternative Approach to Dependency-Recording Engines 
in Consistency-Based Diagnosis 111 
Belarmino Pulido and Carlos Alonso 
Actors, Agents 
An Open Approach to Distribution, Awareness and Cooperative Work 122 
Walter Balzano, Antonina Dattolo and Vincenzo Loia 
How to Schedule a Job Shop Problem through Agent Cooperation 132 
Khaled Ghdira and Meriem Ennigrou 
Revisable Analysis and Design throughout Actors Interaction 142 
Hassen Kriaa and Guy Gouardres 
Simulation and Multi-agent Environment for Aircraft Maintenance Learning 152 
G. Gouardres, A. Minko and L. Richard 
Web, Mining 
Improving WWW Access - from Single-Purpose Systems 
to Agent Architectures? 167 
D. Sramek, P. Berka, J. Kosek and V. Svatek 
A General Architecture for Finding Structural Regularities on the Web 179 
P. A. Laur, F. Masseglia, P. Poncelet and M. Teisseire 
Web Personalization Using Extended Boolean Operations 
with Latent Semantic Indexing 189 
Preslav Nakov 
Natural Language 
What Did He Mean by That? 199 
Allan Ramsay and Helen Seville 
Integration of Resources and Components in 
a Knowledge-Based Web-Environment for Terminology Learning 210 
Svetla Boytcheva, Ognian Kalaydjiev, Ani Nenkova and Galia Angelova 
Maintaining a Jointly Constructed Student Model 221 
Vania Dimitrova, John Self and Paul Brna 
Metaphor Processing for Learning Terminology on the Web 232 
Stefan Trausan-Matu 
Development of Lexico-Grammar Resources 
for Natural Language Generation (Experience from AGILE Project) 242 
Kamenka Staykova and Danail Dochev 
Handling Diphthong and Triphone Symbols: Useful in Automatic 
English Text Generation from Pitman Shorthand Language Document 252 
P. Nagabhushan and Basavaraj S. Anami 
Complexity and Optimization 
Complexity Issues in the Davis and Putnam Scheme 261 
G. Escalada-Imaz and R. Torres Velzquez 
Combining Local Search and Constraint Propagation 
to Find a Minimal Change Solution for a Dynamic CSP 272 
Nico Roos, Yongping Ran and Jaap van den Herik 
Fuzzy, Neural 
Construction of Efficient Rulesets from Fuzzy Data 
through Simulated Annealing 283 
Francisco Botana 
Fuzzy-Neural Models for Real-Time Identification and Control 
of a Mechanical System 292 
Ieroham S. Baruch, J. Martn Flores, J. Carlos Martnez 
and Boyka Nenkova 
A Neural Network Tool to Organize Large Document Sets 301 
R. Rizzo and E. G. Munna 
User Authentication via Neural Network 310 
Abd Manan Ahmad and Nik Nailah Abdullah 
Learning 
Applying Preference Biases to Conjunctive and 
Disjunctive Version Spaces 321 
E. N. Smirnov and H. J. van den Herik 
Coverage-Based Semi-distance between Horn Clauses 331 
Zdravko Markov and Ivo Marinchev 
Supervised Classification for the Triple Parity Strings 340 
Tony Y. T. Chan 
Effective Iris Recognition System 
by Optimized Feature Vectors and Classifier 348 
Shinyoung Lim, Kwanyong Lee, Okhwan Byeon and Taiyun Kim 
Invited Papers 
Enabling Knowledge Creation, Sharing and Reuse on 
the World-Wide-Web 358 
Enrico Motta 
Continuations and Conversations 362 
Christian Queinnec 
Author Index 365 
END
