Table of Contents

• Putting Objects to Work on a Massive ScaleMichael L. Brodie. 1-18
• Approximate and Commonsense Reasoning: From Theory to PracticeDidier Dubois, Henri Prade. 19-33
• Distributed Information Systems EngineeringMatthias Jarke, Manfred A. Jeusfeld, Peter Peters, Peter Szczurko. 34-49
• Towards a World-Wide Knowledge BaseErik Sandewall. 50-55
• Data Mining and Knowledge Discovery in Business DatabasesGregory Piatetsky-Shapiro. 56-67
• Learning Composite Concepts in Description Logics: A First StepPatrick Lambrix, Jalal Maleki. 68-77
• Comparison of Conceptual Graphs for Modelling Knowledge of Multiple ExpertsRose Dieng. 78-87
• Semantical Considerations for Knowledge Base UpdatesYan Zhang. 88-97
• Partial Evaluation in Constraint Logic ProgrammingAgata Wrzos-Kaminska. 98-107
• The AQ17-DCI System for Data-Driven Constructive Induction and its Application to the Analysis of World EconomicsEric Bloedorn, Ryszard S. Michalski. 108-117
• Induction of Classification Rules from Imperfect DataNing Shan, Howard J. Hamilton, Nick Cercone. 118-127
• Induction of Expert System Rules from Databases Based on Rough Set Theory and Resampling MethodsShusaku Tsumoto, Hiroshi Tanaka. 128-138
• Search for Patterns at Each Scale in Massive DataJan M. Zytkow, Robert Zembowicz. 139-148
• On Evolving Intelligence Kenneth DeJong. 149-157
• Intelligent Mutation Rate Control in Canonical Genetic AlgorithmsThomas Bäck, Martin Schütz. 158-167
• A Fine-Grained Parallel Evolutionary Program for Concept InductionAttilio Giordana, Filippo Neri, Lorenza Saitta. 168-177
• Evolutionary Exploration of Search SpacesA. E. Eiben. 178-188
• Evolutionary Computation: One Project, Many DirectionsZbigniew Michalewicz, Jing Xiao, Krzysztof Trojanowski. 189-201
• Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract)Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü. 202-211
• Automating Proofs of Integrity Constraints in Situation CalculusLeopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam. 212-222
• Towards Programming in Default LogicPawel Cholewinski. 223-232
• A Sound and Complete Fuzzy Logic System Using Zadeh s Implication OperatorJianhua Chen, Sukhamay Kundu. 233-242
• Meeting the Deadline: On the Formal Specification of Temporal Deontic ConstraintsFrank Dignum, Hans Weigand, Egon Verharen. 243-252
• Validity Queries and Completeness QueriesRobert Demolombe. 253-263
• Explanation for Cooperative Information SystemsMichael Minock, Wesley W. Chu. 264-273
• Toward Intelligent Representation of Database ContentJoseph D. Oldham, V. Wiktor Marek. 274-284
• Reducing Information Systems with Uncertain AttributesMarzena Kryszkiewicz, Henryk Rybinski. 285-294
• Object and Dependency Oriented Programming in FLOAnne-Marie Dery, Stéphane Ducasse, Mireille Blay-Fornarino. 295-304
• Knowledge SimplificationJohn K. Debenham. 305-314
• A Model-Based Approach to Consistency-CheckingStefan Brüning, Torsten Schaub. 315-324
• Resource-Based vs. Task-Based Approaches for Scheduling ProblemsVittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani. 325-334
• A Fuzzy Behaviorist Approach to Sensor-Based Robot ControlFrançois G. Pin. 335-345
• Knowledge-Based Fuzzy Neural NetworksLes M. Sztandera. 346-355
• Coevolutionary Game-Theoretic Multi-Agent SystemsFranciszek Seredynski. 356-365
• Searching for Features Defined by HyperplanesHung Son Nguyen, Nguyen Sinh Hoa, Andrzej Skowron. 366-375
• Inductive Database DesignHendrik Blockeel, Luc De Raedt. 376-385
• Enhancing Query Processing of Information SystemsGrace SauLan Loo, Tharam S. Dillon, John Zeleznikow, Kok-Huat Lee. 386-397
• Structuring and Retrieval of the Complex Predicate Arguments Proper to the NKRL Conceptual LanguageGian Piero Zarri, Luca Gilardoni. 398-407
• On the Handling of Imperfect Data in Relational Database Systems - From Null Values to Possibility DistributionsPatrick Bosc, Olivier Pivert. 408-417
• Modified Component Valuations in Valuation Based Systems as a Way to Optimize Query ProcessingSlawomir T. Wierzchon, Mieczyslaw A. Klopotek. 418-427
• Learning for Decision Making: the FRD Approach and a Comparative StudyIbrahim F. Imam, Ryszard S. Michalski. 428-437
• The Application of Rough Sets-Based Data Mining Technique to Differential Diagnosis of MeningoenchepahlitisShusaku Tsumoto, Wojciech Ziarko. 438-447
• A Rough Set Framework for Data Mining of Propositional Default RulesTorulf Mollestad, Andrzej Skowron. 448-457
• An Empirical Study on The Incompetence of Attribute Selection CriteriaIbrahim F. Imam. 458-467
• Locally Finite, Proper and Complete Operators for Refining Datalog ProgramsFloriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro. 468-478
• Forest Fire Management with NegoplanSunil J. Noronha, Stan Szpakowicz. 479-490
• An Architecture for a Deductive Fuzzy Relational DatabaseOlga Pons, Juan Miguel Medina, Juan C. Cubero, María Amparo Vila Miranda. 491-500
• A Multi-Step Process for Discovering, Managing and Refining Strong Functional Relations Hidden in DatabasesNing Zhong, Setsuo Ohsuga. 501-510
• An Architecture and Methodology for the Design and Development of Technical Information SystemsR. Capobianchi, M. Mautref, Maurice van Keulen, Herman Balsters. 511-520
• Explaining Explanation ClosurePatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. 521-530
• PAC-Learning Logic Programs under the Closed-World AssumptionLuc De Raedt. 531-540
• Planning, Truth Criteria and the Systematic Approach to Action and ChangeLars Karlsson. 541-550
• Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem ProvingMarta Franová. 551-560
• Semantic Query Optimization for Bottom-Up EvaluationParke Godfrey, Jarek Gryz, Jack Minker. 561-571
• Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information SystemsCan Türker, Stefan Conrad, Gunter Saake. 572-581
• A Multi-Layer Architecture for Knowledge-Based System SynthesisJutta Eusterbrock. 582-592
• MuRaLi: An Architecture for Multiple ReasoningMohan Ravindranathan, Roy Leitch. 593-602
• Heterogeneous View Integration via Sketches and EquationsBoris Cadish, Zinovy Diskin. 603-612
• DLAB: A Declarative Language Bias FormalismLuc Dehaspe, Luc De Raedt. 613-622
• Knowledge Discovery in Databases and Data MiningWilli Klösgen. 623-632
• Learning with Noise in Engineering DomainsJerzy W. Bala, Peter Pachowicz, Harry Wechsler. 633-642
• Hierarchical Conceptual Clustering in a First Order RepresentationChristel Vrain. 643-652
• Rule Discovery from Databases with Decision MatricesWojciech Ziarko, Nick Cercone, Xiaohua Hu. 653-662