9. ISMIS 1996: Zakopane, Poland

Invited Talks

• Michael L. Brodie:
  Putting Objects to Work on a Massive Scale. 1-18
  
• Didier Dubois, Henri Prade:
  Approximate and Commonsense Reasoning: From Theory to Practice. 19-33
  
• Matthias Jarke, Manfred A. Jeusfeld, Peter Peters, Peter Szczurko:
  Distributed Information Systems Engineering. 34-49
  
• Erik Sandewall:
  Towards a World-Wide Knowledge Base. 50-55
  
• Gregory Piatetsky-Shapiro:
  Data Mining and Knowledge Discovery in Business Databases. 56-67
  

Knowledge Representation

• Patrick Lambrix, Jalal Maleki:
  Learning Composite Concepts in Description Logics: A First Step. 68-77
  
• Rose Dieng:
  Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts. 78-87
  
• Yan Zhang:
  Semantical Considerations for Knowledge Base Updates. 88-97
  
• Agata Wrzos-Kaminska:
  Partial Evaluation in Constraint Logic Programming. 98-107
  

Learning and Discovery Systems

• Eric Bloedorn, Ryszard S. Michalski:
  The AQ17-DCI System for Data-Driven Constructive Induction and its Application to the Analysis of World Economics. 108-117
  
• Ning Shan, Howard J. Hamilton, Nick Cercone:
  Induction of Classification Rules from Imperfect Data. 118-127
  
• Shusaku Tsumoto, Hiroshi Tanaka:
  Induction of Expert System Rules from Databases Based on Rough Set Theory and Resampling Methods. 128-138
  
• Jan M. Zytkow, Robert Zembowicz:
  Search for Patterns at Each Scale in Massive Data. 139-148
  

Invited Session on Evolutionary Computation

• Kenneth DeJong:
  On Evolving Intelligence . 149-157
  
• Thomas Bäck, Martin Schütz:
  Intelligent Mutation Rate Control in Canonical Genetic Algorithms. 158-167
  
• Attilio Giordana, Filippo Neri, Lorenza Saitta:
  A Fine-Grained Parallel Evolutionary Program for Concept Induction. 168-177
  
• A. E. Eiben:
  Evolutionary Exploration of Search Spaces. 178-188
  
• Zbigniew Michalewicz, Jing Xiao, Krzysztof Trojanowski:
  Evolutionary Computation: One Project, Many Directions. 189-201
  

Logic for AI

• Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü:
  Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). 202-211
  
• Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam:
  Automating Proofs of Integrity Constraints in Situation Calculus. 212-222
  
• Pawel Cholewinski:
  Towards Programming in Default Logic. 223-232
  
• Jianhua Chen, Sukhamay Kundu:
  A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator. 233-242
  
• Frank Dignum, Hans Weigand, Egon Verharen:
  Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. 243-252
  

Intelligent Information Systems

• Robert Demolombe:
  Validity Queries and Completeness Queries. 253-263
  
• Michael Minock, Wesley W. Chu:
  Explanation for Cooperative Information Systems. 264-273
  
• Joseph D. Oldham, V. Wiktor Marek:
  Toward Intelligent Representation of Database Content. 274-284
  
• Marzena Kryszkiewicz, Henryk Rybinski:
  Reducing Information Systems with Uncertain Attributes. 285-294
  

Knowledge Representation

• Anne-Marie Dery, Stéphane Ducasse, Mireille Blay-Fornarino:
  Object and Dependency Oriented Programming in FLO. 295-304
  
• John K. Debenham:
  Knowledge Simplification. 305-314
  
• Stefan Brüning, Torsten Schaub:
  A Model-Based Approach to Consistency-Checking. 315-324
  
• Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani:
  Resource-Based vs. Task-Based Approaches for Scheduling Problems. 325-334
  

Approximate Reasoning

• François G. Pin:
  A Fuzzy Behaviorist Approach to Sensor-Based Robot Control. 335-345
  
• Les M. Sztandera:
  Knowledge-Based Fuzzy Neural Networks. 346-355
  

Evolutionary Computation

• Franciszek Seredynski:
  Coevolutionary Game-Theoretic Multi-Agent Systems. 356-365
  
• Hung Son Nguyen, Nguyen Sinh Hoa, Andrzej Skowron:
  Searching for Features Defined by Hyperplanes. 366-375
  

Intelligent Information Systems

• Hendrik Blockeel, Luc De Raedt:
  Inductive Database Design. 376-385
  
• Grace SauLan Loo, Tharam S. Dillon, John Zeleznikow, Kok-Huat Lee:
  Enhancing Query Processing of Information Systems. 386-397
  
• Gian Piero Zarri, Luca Gilardoni:
  Structuring and Retrieval of the Complex Predicate Arguments Proper to the NKRL Conceptual Language. 398-407
  
• Patrick Bosc, Olivier Pivert:
  On the Handling of Imperfect Data in Relational Database Systems - From Null Values to Possibility Distributions. 408-417
  
• Slawomir T. Wierzchon, Mieczyslaw A. Klopotek:
  Modified Component Valuations in Valuation Based Systems as a Way to Optimize Query Processing. 418-427
  

Learning and Discovery Systems

• Ibrahim F. Imam, Ryszard S. Michalski:
  Learning for Decision Making: the FRD Approach and a Comparative Study. 428-437
  
• Shusaku Tsumoto, Wojciech Ziarko:
  The Application of Rough Sets-Based Data Mining Technique to Differential Diagnosis of Meningoenchepahlitis. 438-447
  
• Torulf Mollestad, Andrzej Skowron:
  A Rough Set Framework for Data Mining of Propositional Default Rules. 448-457
  
• Ibrahim F. Imam:
  An Empirical Study on The Incompetence of Attribute Selection Criteria. 458-467
  
• Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro:
  Locally Finite, Proper and Complete Operators for Refining Datalog Programs. 468-478
  

Intelligent Information Systems

• Sunil J. Noronha, Stan Szpakowicz:
  Forest Fire Management with Negoplan. 479-490
  
• Olga Pons, Juan Miguel Medina, Juan C. Cubero, María Amparo Vila Miranda:
  An Architecture for a Deductive Fuzzy Relational Database. 491-500
  
• Ning Zhong, Setsuo Ohsuga:
  A Multi-Step Process for Discovering, Managing and Refining Strong Functional Relations Hidden in Databases. 501-510
  
• R. Capobianchi, M. Mautref, Maurice van Keulen, Herman Balsters:
  An Architecture and Methodology for the Design and Development of Technical Information Systems. 511-520
  

Logic for Artificial Intelligence

• Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
  Explaining Explanation Closure. 521-530
  
• Luc De Raedt:
  PAC-Learning Logic Programs under the Closed-World Assumption. 531-540
  
• Lars Karlsson:
  Planning, Truth Criteria and the Systematic Approach to Action and Change. 541-550
  
• Marta Franová:
  Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. 551-560
  

Intelligent Information Systems

• Parke Godfrey, Jarek Gryz, Jack Minker:
  Semantic Query Optimization for Bottom-Up Evaluation. 561-571
  
• Can Türker, Stefan Conrad, Gunter Saake:
  Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems. 572-581
  
• Jutta Eusterbrock:
  A Multi-Layer Architecture for Knowledge-Based System Synthesis. 582-592
  
• Mohan Ravindranathan, Roy Leitch:
  MuRaLi: An Architecture for Multiple Reasoning. 593-602
  
• Boris Cadish, Zinovy Diskin:
  Heterogeneous View Integration via Sketches and Equations. 603-612
  

Learning and Discovery Systems

• Luc Dehaspe, Luc De Raedt:
  DLAB: A Declarative Language Bias Formalism. 613-622
  
• Willi Klösgen:
  Knowledge Discovery in Databases and Data Mining. 623-632
  
• Jerzy W. Bala, Peter Pachowicz, Harry Wechsler:
  Learning with Noise in Engineering Domains. 633-642
  
• Christel Vrain:
  Hierarchical Conceptual Clustering in a First Order Representation. 643-652
  
• Wojciech Ziarko, Nick Cercone, Xiaohua Hu:
  Rule Discovery from Databases with Decision Matrices. 653-662