default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. AIMSA 2000: Varna, Bulgaria
- Stefano A. Cerri, Danail Dochev:
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, José 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-09-02 23:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
