Artificial intelligence: methodology, systems, and applications. 9th international conference, AIMSA 2000, Varna, Bulgaria, September 20--23, 2000. Proceedings (Q1582976)

The articles of mathematical interest will be reviewed individually. The preceding conference (8th, 1998) has been reviewed (see Zbl 0903.00073). Indexed articles: \textit{Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C.; Quaresma, Paulo}, Dynamic knowledge representation and its applications, 1-10 [Zbl 0973.68556] \textit{Nguyen, Ngoc Thanh}, Using consensus methods for determining the representation of expert information in distributed systems, 11-20 [Zbl 0973.68622] \textit{Breuker, Joost; Petkov, Emil; Winkels, Radboud}, Drafting and validating regulations: The inevitable use of intelligent tools, 21-33 [Zbl 0973.68597] \textit{Cerri, Stefano A.; Sallantin, Jean; Castro, Emmanuel; Maraschi, Daniele}, Steps towards C+C: A language for interactions, 34-48 [Zbl 0973.68613] \textit{Doherty, Patrick; Łukaszewicz, Witold; Szałas, Andrzej}, Efficient reasoning using the local closed-world assumption, 49-58 [Zbl 0973.68217] \textit{Boytcheva, Svetla}, Least generalization under relative implication, 59-68 [Zbl 0973.68539] \textit{Ramsay, Allan}, Theorem proving for constructive \(\lambda\)-calculus, 69-79 [Zbl 0973.68211] \textit{Elouedi, Zied; Mellouli, Khaled; Smets, Philippe}, Classification with belief decision trees, 80-90 [Zbl 0973.68538] \textit{Escalada-Imaz, Gonzalo}, A temporal many-valued logic for real time control systems, 91-100 [Zbl 0973.68562] \textit{Dichev, Christo; Madarov, Trendafil}, Propositional contexts, 101-110 [Zbl 0973.68226] \textit{Pulido, Belarmino; Alonso, Carlos}, An alternative approach to dependency-recording engines in consistency-based diagnosis, 111-121 [Zbl 0973.93500] \textit{Balzano, Walter; Dattolo, Antonia; Loia, Vincenzo}, An open approach to distribution, awareness and cooperative work, 122-131 [Zbl 0973.68588] \textit{Ghédia, Khaled; Ennigrou, Meriem}, How to schedule a job shop problem through agent cooperation, 132-141 [Zbl 0973.68601] \textit{Kriaa, Hassen; Gouarderes, Guy}, Revisable analysis and design throughout actors interaction, 142-151 [Zbl 0973.68609] \textit{Gouardères, G.; Minko, A.; Richard, L.}, Simulation and multi-agent environment for aircraft maintenance learning, 152-166 [Zbl 0973.68611] \textit{Sramek, D.; Berka, P.; Kosek, J.; Svatek, V.}, Improving WWW access -- from single-purpose systems to agent architectures?, 167-178 [Zbl 0973.68602] \textit{Laur, P. A.; Masseglia, F.; Poncelet, P.; Teisseire, M.}, A general architecture for finding structural regularities on the Web, 179-188 [Zbl 0973.68584] \textit{Nakov, Preslav}, Web personalization using extended Boolean operations with latent semantic indexing, 189-198 [Zbl 0973.68627] \textit{Ramsay, Allan; Seville, Helen}, What did he mean by that?, 199-209 [Zbl 0973.68621] \textit{Boytcheva, Svetla; Kalaydjiev, Ognian; Nenkova, Ani; Angelova, Galia}, Integration of resources and components in a knowledge-based Web-environment for terminology learning, 210-220 [Zbl 0973.68623] \textit{Dimitrova, Vania; Self, John; Brna, Paul}, Maintaining a jointly constructed student model, 221-231 [Zbl 0973.68603] \textit{Trausan-Matu, Stefan}, Metaphor processing for learning terminology on the Web, 232-241 [Zbl 0973.68605] \textit{Staykova, Kamenka; Dochev, Danail}, Development of lexico-grammar resources for natural language generation (experience from AGILE project), 242-251 [Zbl 0973.68625] \textit{Nagabhushan, P.; Anami, Basavaraj S.}, Handling diphthong and triphone symbols: Useful in automatic English text generation from Pitman Shorthand Language document, 252-260 [Zbl 0973.68634] \textit{Escalada-Imaz, G.; Torres Velázquez, R.}, Complexity issues in the Davis and Putnam scheme, 261-271 [Zbl 0973.68210] \textit{Roos, Nico; Ran, Yongping; van den Herik, Jaap}, Combining local search and constraint propagation to find a minimal change solution for a dynamic CSP, 272-282 [Zbl 0973.68547] \textit{Botana, Francisco}, Construction of efficient rulesets from fuzzy data through simulated annealing, 283-291 [Zbl 0973.68595] \textit{Baruch, Ieroham S.; Flores, J. Martín; Martínez, J. Carlos; Nenkova, Boyka}, Fuzzy-neural models for real-time identification and control of a mechanical system, 292-300 [Zbl 0973.93501] \textit{Rizzo, R.; Munna, E. G.}, A neural network tool to organize large document sets, 301-309 [Zbl 0973.68585] \textit{Ahmad, Abd Manan; Abdullah, Nik Nailah}, User authentication via neural network, 310-320 [Zbl 0973.68619] \textit{Smirnov, E. N.; van den Herik, H. J.}, Applying preference biases to conjunctive and disjunctive version spaces, 321-330 [Zbl 0973.68537] \textit{Markov, Zdravko; Marinchev, Ivo}, Coverage-based semi-distance between Horn clauses, 331-339 [Zbl 0973.68194] \textit{Chan, Tony Y. T.}, Supervised classification for the triple parity strings, 340-347 [Zbl 0973.68540] \textit{Lim, Shinyoung; Lee, Kwanyong; Byeon, Okhwan; Kim, Taiyun}, Effective iris recognition system by optimized feature vectors and classifier, 348-357 [Zbl 0973.68598] \textit{Motta, Enrico}, Enabling knowledge creation, sharing and reuse on the World-Wide-Web. (Extended abstract), 358-361 [Zbl 0973.68635] \textit{Queinnec, Christian}, Continuations and conversations, 362-363 [Zbl 0973.68596]