========================================================================== ISMIS'96 - The (Final) Program - possibly subject to minor changes ========================================================================== Ninth International Symposium on METHODOLOGIES FOR INTELLIGENT SYSTEMS Recreation Center "Koscielisko" Zakopane, Poland, 9-13 June, 1996 PROGRAM Sunday, June 9 17:00-20:00 Registration 19:00-21:00 WELCOME RECEPTION Monday, June 10 8:00-17:00 Registration 8:00-8:40 BREAKFAST 8:45-9:00 Opening Session (Salon 1) Chair: Z.W. Ras (UNC-Charlotte, USA & Acad. of Sci., Poland) Opening address P. Dembinski (Acad. of Sci., Poland) 9:00-10:00 Invited Talk (Salon 1) Chair: Z. Pawlak (Warsaw U. Tech., Poland) Data Mining and Knowledge Discovery in Business Databases G. Piatetsky-Shapiro (GTE Lab., USA) 10:00-10:20 BREAK Session 1A Knowledge Representation (Salon 1) Chair: J. Calmet (U. Karlsruhe, Germany) 10:20-10:45 Learning composite concepts in description logics: a first step P. Lambrix, J. Maleki (Linkoping Univ., Sweden) 10:45-11:10 Comparison of Conceptual Graphs for Modelling Knowledge of Multiple Experts Rose Dieng (INRIA, France) 11:10-11:35 Semantical considerations for knowledge base updates Y. Zhang (Western Sydney, Australia) 11:35-12:00 Partial Evaluation in Constraint Logic Programming A. Wrzos-Kaminska (Trondheim, Norway) Session 1B Learning and Discovery Systems (Salon 2) Chair: W. Kloesgen (GMD, Germany) 10:20-10:45 The AQ17-DCI System for data-driven constructive induction and its application to the analysis of world economics E. Bloedorn, R. Michalski (George Mason U., USA) 10:45-11:10 Induction of classification rules from imperfect data N. Shan, H. Hamilton, N. Cercone (Univ. Regina, Canada) 11:10-11:35 Induction of expert system rules from databases based on rough set theory and resampling methods S. Tsumoto, H. Tanaka (Tokyo Medical Univ., Japan) 11:35-12:00 Search for Patterns at Each Scale in Massive Data J. Zytkow, R. Zembowicz (Wichita State, USA) 12:15-13:15 LUNCH 13:30-14:30 Invited Talk (Salon 1) Chair: R. Michalski (George Mason U., USA) Distributed information systems engineering Matthias Jarke, Manfred Jeusfeld, Peter Peters, Peter Szczurko (RWTH Aachen, Germany) 14:30-14:50 BREAK Session 2A Invited Session on Evolutionary Computation (Salon 1) Chair: Z. Michalewicz (UNC-Charlotte, USA) 14:50-15:15 On evolving intelligence K. DeJong (George Mason, USA) 15:15-15:45 Intelligent mutation rate control in canonical genetic algorithms T. Baeck, Martin Schutz (Univ. Dortmund, Germany) 15:45-16:10 A fine-grained parallel evolutionary program for concept induction A. Giordana, F. Neri, L. Saitta (Univ. Torino, Italy) 16:10-16:35 Evolutionary exploration of search spaces A.E. Eiben (Leiden Univ., The Netherlands) 16:35-17:00 Evolutionary computation: one project, many directions Z. Michalewicz, J. Xiao (UNC-Charlotte, USA) K. Trojanowski (Acad. of Sci., Poland) Session 2B Logic for AI (Salon 2) Chair: W. Marek, U. Kentucky, USA 14:50-15:15 Signed formula logic programming: operational semantics and applications J. Calmet (U. Karlsruhe, Germany) J. Lu, M. Rodriguez (Bucknell Univ., USA) J. Schu (U. Karlsruhe, Germany) 15:15-15:45 Automating Proofs of Integrity Constraints in Situation Calculus L. Bertossi, J. Pinto, P. Saez (Santiago, Chile) D. Kapur, M. Subramaniam (SUNY at Albany, USA) 15:45-16:10 Towards programming in default logic P. Cholewinski (U. Kentucky, USA) 16:10-16:35 A sound and complete fuzzy logic system using Zadeh's implication operator J. Chen, S. Kundu (LSU, USA) 16:35-17:00 Meeting the deadline: on the formal specification of temporal deontic constraints F. Dignum (Eindhoven, The Netherlands) H. Weigand, E. Verharen (Tilburg, The Netherlands) 17:30-18:30 DINNER 19:00-21:00 Poster session Chairs: A. Skowron (U. Warsaw, Poland) J.M. Zytkow (Wichita State U., USA) (see Poster Session Program below) - - Tuesday, June 11 8:15-16:30 Registration 8:30-9:00 BREAKFAST 9:00-10:00 Invited Talk (Salon 1) Chair: R. Demolombe (Toulouse, France) Putting objects to work on a massive scale M. Brodie (GTE Lab., USA) 10:00-10:20 BREAK Session 3A Intelligent Information Systems (Salon 1) Chair: M. Jarke (RWTH Aachen, Germany) 10:20-10:45 Validity queries and completeness queries R. Demolombe (Toulouse, France) 10:45-11:10 Explanation for Cooperative Information Systems M.J. Minock, W.W. Chu (UCLA, USA) 11:10-11:35 Toward intelligent representation of database content J. Oldham, V. Marek (Univ. Kentucky, USA) 11:35-12:00 Reducing Information Systems with Uncertain Attributes M. Kryszkiewicz, H. Rybinski (Warsaw Univ. Tech., Poland) Session 3B Knowledge Representation (Salon 2) Chair: J. Komorowski (Trondheim, Norway) 10:20-10:45 Object and dependency oriented programming in FLO A.M. Dery, S. Ducasse, M. Fornarino, (Univ. Nice, France) 10:45-11:10 Knowledge simplification J. Debenham (Sydney, Australia) 11:10-11:35 A model-based approach to consistency-checking S. Bruning (Darmstadt, Germany), T. Schaub (Angers, France) 11:35-12:00 Resource-based vs task-based approaches for scheduling problems V. Brusoni, L. Console (Torino, Italy), E. Lamma (Bologna, Italy), P. Mello (Bari, Italy) , M. Milano (Bologna, Italy), P. Terenziani (Torino, Italy) 12:30-13:30 LUNCH Session 4A Approximate Reasoning (Salon 1) Chair: M. Michalewicz (Acad. of Sci., Poland) 14:00-14:25 A fuzzy behaviorist approach to sensor-based robot control F.G. Pin (ORNL, USA) 14:25-14:50 Knowledge-based fuzzy neural networks L. Sztandera (Philadelphia College, USA) Session 4B Evolutionary Computation (Salon 2) Chair: A. Giordana (U. Torino, Italy) 14:00-14:25 Coevolutionary game-theoretic multi-agent systems F. Seredynski (Acad. of Sci., Poland) 14:25-14:50 Searching for features defined by hyperplanes N. Son, N. Hoa, A. Skowron (U. Warsaw, Poland) 14:50-15:10 BREAK Session 5A Intelligent Information Systems (Salon 1) Chair: D. Hislop (US Army Res. Office, USA) 15:10-15:35 Inductive Database Design H. Blockeel, L. De Raedt (Katholieke U. Leuven, Belgium) 15:35-16:00 Enhancing query processing of information systems G.S. Loo (Auckland, New Zealand), T. Dillon, J. Zeleznikow (Melbourne, Australia), K. Lee (Auckland, New Zealand) 16:00-16:25 Structuring and Retrieval of the Complex Predicate Arguments Proper to the NKRL Conceptual Language G.P. Zarri (CNRS, France), L. Gilardoni (Milano, Italy) 16:25-16:50 On the handling of imperfect data in relational database systems - from null values to possibility distributions P. Bosc, O. Pivert (ENSSAT, France) 16:50- 17:15 Modified component valuations in valuation based systems as a way to optimize query processing S. Wierzchon, M. Klopotek (Acad. of Sci., Poland) Session 5B Learning and Discovery Systems (Salon 2) Chair: L. Saitta (Torino, Italy) 15:10-15:35 Learning for Decision Making: the FRD Approach and a Comparative Study I.F. Imam, R.S. Michalski (George Mason U., USA) 15:35-16:00 The application of rough sets-based data mining technique to differential diagnosis of meningoenchepahlitis S. Tsumoto (U. Tokyo, Japan), W. Ziarko (U. Regina, Canada) 16:00-16:25 A rough set framework for data mining of propositional default rules T. Mollestad (U. Trondheim, Norway), A. Skowron (U. Warsaw, Poland) 16:25-16:50 An Empirical Study on The Incompetence of Attribute Selection Criteria I.F. Imam (George Mason U., USA) 16:50-17:15 Locally Finite, Proper and Complete Operators for Refining Datalog Programs F. Esposito, A. Laterza, D. Malerba, G. Semeraro (U. Bari, Italy) 18:00-19:30 BANQUET - - Wednesday, June 12 8:15-17:00 Registration/Information 8:30-9:00 BREAKFAST 9:00-10:00 Invited Talk (Salon 1) Chair: L. De Raedt (Katholieke U. Leuven, Belgium) Towards a world-wide knowledge base E. Sandewall (Linkoping U., Sweden) 10:00-10:20 BREAK Session 6A Intelligent Information Systems (Salon 1) Chair: Henri Prade (U. Toulouse, France) 10:20-10:45 Forest Fire Management with Negoplan S.J. Noronha (Carleton U., Canada), S. Szpakowicz (U. Ottawa, Canada) 10:45-11:10 An architecture for a deductive fuzzy relational database O. Pons, J. Medina, J. Cubero, M. Vila (U. Granada, Spain) 11:10-11:35 "A process for discovering, managing and refining strong 11:10-11:35 A process for discovering, managing and refining strong functional relations hidden in databases N. Zhong (Univ. Tokyo, Japan), S. Ohsuga (Waseda Univ., Japan) 11:35-12:00 An architecture and methodology for the design and development of technical information systems R. Capobianchi, M. Mautref (Marcoussis, France), M. van Keulen, H. Balsters (U. Twente, The Netherlands) Session 6B Logic for Artificial Intelligence (Salon 2) Chair: J. Chen (LSU, USA) 10:20-10:45 Explaining explanation closure P. Doherty (Linkoping U., Sweden), W. Lukasiewicz, A. Szalas (Warsaw Univ., Poland) 10:45-11:10 PAC-learning logic programs under closed world assumption L. De Raedt (Katholieke U. Leuven, Belgium) 11:10-11:35 Planning, truth criteria and the systematic approach to action and change L. Karlsson (Linkoping U., Sweden) 11:35-12:00 Automated Inductive Reasoning as a support of deductive reasoning in a user-independent automation of Inductive Theorem Proving M. Franova (Univ. Paris Sud., France) 12:15-13:15 LUNCH 13:30-14:30 Invited Talk (Salon 1) Chair: E. Sandewall (Linkoping U., Sweden) Approximate and commonsense reasoning: From theory to practice D. Dubois, H. Prade (U. Toulouse, France) 14:30-14:50 BREAK Session 7A Intelligent Information Systems (Salon 1) Chair: G.P. Zarri (CNRS, France) 14:50-15:15 Semantic query optimization for bottom-up evaluation P. Godfrey, J. Gryz, J. Minker (Univ. Maryland, USA) 15:15-15:40 Dynamically changing behavior: an agent-oriented view to modeling intelligent information systems C. Turker, S. Conrad, G. Saake (U. Magdeburg, Germany) 15:40-16:05 A multi-layer architecture for knowledge-based system synthesis J. Eusterbrock (GMD Darmstadt, Germany) 16:05-16:30 MuRaLi: an architecture for multiple reasoning M. Ravindranathan, R. Leitch (Edinburgh, Scotland) 16:30-16:55 Heterogeneous view integration via sketches and equations Z. Diskin, B. Cadish (Riga, Latvia) Session 7B Learning and Discovery Systems (Salon 2) Chair: J. Zytkow (Wichita State U., USA & Acad. of Sci., Poland) 14:50-15:15 DLAB, a declarative language bias formalism L. Dehaspe, L. De Raedt (Katholieke Univ. Leuven, Belgium) 15:15-15:40 Knowledge discovery in databases and data mining W. Kloesgen (GMD, Germany) 15:40-16:05 Learning with noise in engineering domains J. Bala, P. Pachowicz, H. Wechsler (George Mason U., USA) 16:05-16:30 Hierarchical conceptual clustering in a first order representation C. Vrain (Univ. d'Orleans, France) 16:30-16:55 Rule discovery from databases with decision matrices W. Ziarko , N. Cercone, (U. Regina, Canada), X. Hu (Ottawa, Canada) 17:30-18:30 DINNER - - Thursday, June 13 8:30-9:00 BREAKFAST 9:15-9:30 Closing Session (Salon 1) Session Chair: Z.W. Ras (UNC-Charlotte, USA & Acad. of Sci., Poland) Closing Address: P. Dembinski (Acad. of Sci., Poland) POSTER SESSION PROGRAM - June 10 Co-Chairs: A. Skowron (U. Warsaw, Poland) and J.M. Zytkow (Wichita State U., USA) Evolutionary computation Improving fitness function for CSP in an evolutionary algorithm M. Riff Rojas (INRIA, France) Intelligent information systems A reactive object model for concurrent engineering platforms G.T. Nguyen, R. Guetari (INRIA, France) On convergence of asynchronous nonlinear fractal operators W. Skarbek (Acad. of Sci. & FRP RIKEN, Japan) MIM formalism: an approach to marketing modelling and IMS development M. Daneva (U. Saarland, Germany) Knowledge discovery in organelle genomes - the GOBASE system M. Korab-Laskowska, F. Lang, G. Burger, M. Gray, T. Littlejohn (U. Montreal, Canada) Modeling expert search of virtual/digital libraries B. Desai, R. Shinghal (Concordia Univ., Canada) Knowledge representation and integration Consistency-driven Approach to Knowledge Acquisition for Expert Systems R. Janicki (McMaster U., Canada), W. Koczkodaj (Laurentian U., Canada) A symbolic probability theory and its application to qualitative reasoning under the uncertain statements of the natural language D. Pacholczyk, G. Hunault (Univ. d'Angers, France), J.-M. Pacholczyk (Univ. Paris VI, France) Towards a transition from the crisp rough set theory to a fuzzy one M. Quafafou (Univ. Nantes, France), C.-C. Chan (U. Akron, USA) Learning and discovery systems Truncated temporal differences and sequential replay: comparison, integration, and experiments P. Cichosz (Warsaw Tech., Poland) KDD tools for mining associations in textual databases R. Feldman, I. Dagan (Bar-Ilan Univ., Israel), W. Kloesgen (GMD, Germany) Consistent predictions for categorical data V. Cho, B. Wuthrich (Hong Kong U., Hong Kong) Approximation of multivariate functions by generalized adaptive fuzzy inference network M. Weigl, W. Kosinski (Polish Acad. Sci., Poland) Discovery of numerical dependencies in form of rational expressions M. Kiselev (Moscow, Russia) Knowledge discovery with the Hong Kong Stock Market L. Sham, A. Wu, L. Yiu (Hong Kong Polytechnic, Hong Kong) An invariant method of the rough classifier construction A. Lenarcik, Z. Piasta (Kielce U., Poland) An algorithm performing incremental hierarchical conceptual clustering J.-L. Segapeli, A. Cavarero (Univ. Nice, France) Selection of objects and attributes, a tolerance rough set approach M. Kretowski, J. Stepaniuk (Tech. U. Bialystok, Poland) Logic for artificial intelligence Mechanizing local reasoning with contexts P. Bouquet, A. Cimatti (Trento, Italy) Parallel inductive logic programming L. Dehaspe, L. De Raedt (Katholieke U. Leuven, Belgium) Induction, deduction, and abduction for program design and maintenance A. Guessoum, J. Komorowski (Trondheim, Norway) Compositional Validation in Inductive Logic Programming A. Lallouet, L. Martin (Univ. d'Orl ans, France) Domain-independent similarity relations for case-based reasoning in a logical framework J. Lieber, P. Marquis (CNRS-INRIA, France) From knowing how to knowing that G. Ndjatou (William Paterson College of New Jersey, USA) Polynomial representation of logical formulas X. Nie (Wichita State Univ., USA) - -