Artificial Intelligence: Methodology, Systems, and Applications Book

	Dynamic Knowledge Representation and its Applications	1
	Using Consensus Methods for Determining the Representation of Expert Information in Distributed Systems	11
	Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools	21
	Steps towards C+C: A Language for Interactions	34
	Efficient Reasoning Using the Local Closed-World Assumption	49
	Least Generalization under Relative Implication	59
	Theorem Proving for Constructive [lambda]-Calculus	69
	Classification with Belief Decision Trees	80
	A Temporal Many-Valued Logic for Real Time Control Systems	91
	Propositional Contexts	101
	An Alternative Approach to Dependency-Recording Engines in Consistency-Based Diagnosis	111
	An Open Approach to Distribution, Awareness and Cooperative Work	122
	How to Schedule a Job Shop Problem through Agent Cooperation	132
	Revisable Analysis and Design throughout Actors Interaction	142
	Simulation and Multi-agent Environment for Aircraft Maintenance Learning	152
	Improving WWW Access - from Single-Purpose Systems to Agent Architectures?	167
	A General Architecture for Finding Structural Regularities on the Web	179
	Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing	189
	What Did He Mean by That?	199
	Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning	210
	Maintaining a Jointly Constructed Student Model	221
	Metaphor Processing for Learning Terminology on the Web	232
	Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project)	242
	Handling Diphthong and Triphone Symbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document	252
	Complexity Issues in the Davis and Putnam Scheme	261
	Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP	272
	Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing	283
	Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System	292
	A Neural Network Tool to Organize Large Document Sets	301
	User Authentication via Neural Network	310
	Applying Preference Biases to Conjunctive and Disjunctive Version Spaces	321
	Coverage-Based Semi-distance between Horn Clauses	331
	Supervised Classification for the Triple Parity Strings	340
	Effective Iris Recognition System by Optimized Feature Vectors and Classifier	348
	Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web	358
	Continuations and Conversations	362
	Author Index	365