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 BibTeX

@proceedings{DBLP:conf/aimsa/2000,
  editor    = {Stefano A. Cerri and
               Danail Dochev},
  title     = {Artificial Intelligence: Methodology, Systems, and Applications,
               9th International Conference, AIMSA 2000, Varna, Bulgaria, September
               20-23, 2000, Proceedings},
  booktitle = {AIMSA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1904},
  year      = {2000},
  isbn      = {3-540-41044-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
Electronic Edition (Springer LINK) BibTeX
Ngoc Thanh Nguyen:
Using Consensus Methods for Determining the Representation of Expert Information in Distributed Systems. 11-20
Electronic Edition (Springer LINK) BibTeX
Joost Breuker, Emil Petkov, Radboud Winkels:
Drafting and Validating Regulations: The Inevitable Use of Intelligent Tools. 21-33
Electronic Edition (Springer LINK) BibTeX
Stefano A. Cerri, Jean Sallantin, Emmanuel Castro, Daniele Maraschi:
Steps towards C+C: A Language for Interactions. 34-48
Electronic Edition (Springer LINK) BibTeX

Reasoning under Certainty

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

Reasoning under Uncertainty

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

Best Paper Award

Belarmino Pulido Junquera, Carlos Alonso González:
An Alternative Approach to Dependeny-Recording Engines in Consistency-Based Diagnosis. 111-121
Electronic Edition (Springer LINK) BibTeX

Actors, Agents

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

Web, Mining

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

Natural Language

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

Complexity and Optimization

Gonzalo Escalada-Imaz, Rodolfo Torres-Velázquez:
Complexity Issues in the Davis and Putnam Scheme. 261-271
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX

Fuzzy, Neural

Francisco Botana:
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. 283-291
Electronic Edition (Springer LINK) BibTeX
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
Electronic Edition (Springer LINK) BibTeX
Riccardo Rizzo, G. Munna:
A Neural Network Tool to Organize Large Document Sets. 301-309
Electronic Edition (Springer LINK) BibTeX
Abdul Manan Ahmad, Nik Nailah Abdullah:
User Authentication via Neural Network. 310-320
Electronic Edition (Springer LINK) BibTeX

Learning

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

Invited Papers

Enrico Motta:
Enabling Knowledge Creation, Sharing and Reuse on the World-Wide-Web. 358-361
Electronic Edition (Springer LINK) BibTeX
Christian Queinnec:
Continuations and Conversations. 362-363
Electronic Edition (Springer LINK) BibTeX