Distributed Earth Science Validation Centers for Mission to Planet Earth

Causal understanding in reasoning about the world p. 13 How to make intelligent digital libraries p. 27 Some methodology and representation problems for the semantics of prosaic application domains p. 39 Recognizing credible experts in inaccurate databases p. 46 Fuzzy logic or Lukasiewicz logic: a clarification p. 56 Logic systems for approximate reasoning: via rough sets and topology p. 65 Signed formulas and fuzzy operator logics p. 75 Rough mereology p. 85 A new rule for updating evidence p. 95 A global measure of ambiguity for classification p. 105 Meta-level control of approximate reasoning: a decision theoretic approach p. 114 Formal models of selection in genetic algorithms p. 124 Genetic algorithms for the 0/1 knapsack problem p. 134 On the weakening of fuzzy relational queries p. 144 Transforming queries from a relational schema to an object schema: a prototype based on F-logic p. 154 Knowledge discovery in databases: a rule-based attribute-oriented approach p. 164 Case-based reasoning applied to a force generation decision aid p. 174 A case-based reasoning approach for associative query answering p. 183 Efficient execution of recursive queries through controlled binding propagation p. 193 Towards a dynamic multi-agent organization p. 203 parcPlan: a planning architecture with parallel actions, resources and constraints p. 213 GAITS II: an intelligent system for computer-aided education p. 223 The GLS discovery system: its goal, architecture and current results p. 233 Declarative semantics for contradictory modular logic programs p. 245 LaTeR: a general purpose manager of temporal information p. 255 Understanding a story with causal relationships p. 265 Dealing with qualitative and quantitative temporal information concerning periodic events p. 275 Distributed multi-agent probabilistic reasoning with Bayesian networks p. 285 Building bridges between knowledge representation and algebraic specification p. 295 Turning an action formalism into a planner-Essentials of a case study p. 305 Towards refinement of definite logic programs p. 315 AMPHION: automatic programming for scientific subroutine libraries p. 326 RUTH: an ILP theory revision system p. 336 Dynamic reducts as a tool for extracting laws from decisions tables p. 346 Learning first order theories p. 356 Evaluation and enhancement of Bayesian rule-sets in a genetic algorithm learning environment for classification tasks p. 366 Traps and pitfalls when learning logical definitions from relations p. 376