AI*IA 99:Advances in Artificial Intelligence

Knowledge Representation.- Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled.- A Description Logic for Image Retrieval.- Certainty-factor-like Structures in Bayesian Networks.- Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks.- Automated Reasoning.- Abduction with Negation as Failure for Active and Reactive Rules.- An Implementation for Abductive Logic Agents.- Solving the Satisfiability Problem Through Boolean Networks.- Applying the Davis-Putnam procedure to non-clausal formulas.- The SAT-Based Approach for Classical Modal Logics.- Local Search Techniques for Disjunctive Logic Programs.- Labelled Tableaux for Non-Normal Modal Logics.- Temporal and Qualitative Reasoning.- Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events.- TimeNetManager - A Software Tool for Generating Random Temporal Networks.- A fuzzy extension of Allen's Interval Algebra.- Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems.- Machine Learning, Data Mining and Theory Revision.- Relational Learning: Hard Problems and Phase Transitions.- A Machine Learning Approach to Web Mining.- Experiences with a Logic-based Knowledge Discovery Support Environment.- Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process.- Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the "Hidden" Activation Functions.- Natural Language and WWW Interfaces.- XIG: Generating from Interchange Format using Mixed Representations.- Natural Language Access to Public Administration Data: the TAMIC-P System.- On the application of personalization techniques to news servers on the WWW.- Multi-agentSystems.- Levels of Delegation and Levels of Adoption as the basis for Adjustable Autonomy.- Notes on formalizing coordination?.- Autonomous Spacecraft Resource Management: A Multi-Agent Approach.- Multi-Agent