9. AIMSA 2000: Varna, Bulgaria

Stefano A. Cerri, Danail Dochev (Eds.): Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings. Lecture Notes in Computer Science 1904 Springer 2000, ISBN 3-540-41044-9

Knowledge Construction

José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma:
Dynamic Knowledge Representation and Its Applications. 1-10
Ngoc Thanh Nguyen:
Using Consensus Methods for Determining the Representation of Expert Information in Distributed Systems. 11-20
Joost Breuker, Emil Petkov, Radboud Winkels:
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools. 21-33
Stefano A. Cerri, Jean Sallantin, Emmanuel Castro, Daniele Maraschi:
Steps towards C+C: A Language for Interactions. 34-48

Reasoning under Certainty

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Efficient Reasoning Using the Local Closed-World Assumption. 49-58
Svetla Boytcheva:
Least Generalization under Relative Implication. 59-68
Allan Ramsay:
Theorem Proving for Constructive lambda-Calculus. 69-79

Reasoning under Uncertainty

Zied Elouedi, Khaled Mellouli, Philippe Smets:
Classification with Belief Decision Trees. 80-90
Gonzalo Escalada-Imaz:
A Temporal Many-Valued Logic for Real Time Control Systems. 91-100
Christo Dichev, Trendafil Madarov:
Propositional Contexts. 101-110

Best Paper Award

Belarmino Pulido Junquera, Carlos Alonso González:
An Alternative Approach to Dependeny-Recording Engines in Consistency-Based Diagnosis. 111-121

Actors, Agents

Walter Balzano, Antonina Dattolo, Vincenzo Loia:
An Open Approach to Distribution, Awareness and Cooperative Work. 122-131
Khaled Ghédira, Meriem Ennigrou:
How to Schedule a Job Shop Problem through Agent Cooperation. 132-141
Hassen Kriaa, Guy Gouardères:
Revisable Analysis and Design throughout Actors Interaction. 142-151
Guy Gouardères, Anton Minko, Luc Richard:
Simulation and Multi-agent Environment for Aircraft Learning. 152-166

Web, Mining

D. Sramek, Petr Berka, Jirka Kosek, Vojtech Svátek:
Improving WWW Access-from Single-Purpose Systems to Agent Architectures? 167-178
Pierre-Alain Laur, Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire:
A General Architecture for Finding Structural Regularities on the Web. 179-188
Preslav Nakov:
Web Personalization Using Extended Boolean Operations with Latent Semantic Indexing. 189-198

Natural Language

Allan Ramsay, Helen Seville:
What Did He Mean by That? 199-209
Svetla Boytcheva, Ognian Kalaydjiev, Ani Nenkova, Galia Angelova:
Integration of Resources and Components in a Knowledge-Based Web-Environment for Terminology Learning. 210-220
Vania Dimitrova, John A. Self, Paul Brna:
Maintaining a Jointly Constructed Student Model. 221-231
Stefan Trausan-Matu:
Metaphor Processing for Learning Terminology on the Web. 232-241
Kamenka Staykova, Danail Dochev:
Development of Lexico-Grammar Resources for Natural Language Generation (Experience from AGILE Project). 242-251
P. Nagabhushan, Basavaraj S. Anami:
Handling Diphtong and Triphone Sysmbols: Useful in Automatic English Text Generation from Pitman Shorthand Language Document. 252-260

Complexity and Optimization

Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez:
Complexity Issues in the Davis and Putnam Scheme. 261-271
Nico Roos, Yongping Ran, H. Jaap van den Herik:
Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP. 272-282

Fuzzy, Neural

Francisco Botana:
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. 283-291
Ieroham S. Baruch, Jose Martín Flores, Juan Carlos Martínez, Boyka Nenkova:
Fuzzy-Neural Models for Real-Time Identification and Control of a Mechanical System. 292-300
Riccardo Rizzo, G. Munna:
A Neural Network Tool to Organize Large Document Sets. 301-309
Abdul Manan Ahmad, Nik Nailah Abdullah:
User Authentication via Neural Network. 310-320

Learning

Evgueni N. Smirnov, H. Jaap van den Herik:
Applying Preference Biases to Conjunctive and Disjunctive Version Spaces. 321-330
Zdravko Markov, Ivo Marinchev:
Coverage-Based Semi-distance between Horn Clauses. 331-339
Tony Y. T. Chan:
Supervised Classification for the Triple Parity Strings. 340-347
Shinyoung Lim, Kwanyong Lee, Okhwan Byeon, Taiyun Kim:
Effective Iris Recognition System by Optimized Feature Vectors and Classifier. 348-357

Invited Papers

Enrico Motta:
Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web. 358-361
Christian Queinnec:
Continuations and Conversations. 362-363

Last update Tue May 22 03:55:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page