7. ISMIS 1993: Trondheim, Norway

Invited Talk I

• Jack Minker, Carolina Ruiz:
  On Extended Disjunctive Logic Programs. 1-18
  

Logic for Artificial Intelligence I

• Heng Chu, David A. Plaisted:
  Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. 19-28
  
• Douglas R. Busch:
  An Expressive Three-valued Logic with Two Negations. 29-38
  
• Joachim Posegga:
  Compiling Proof Search in Semantic Tableaux. 39-48
  
• Reiner Hähnle:
  Short CNF in Finitely-Valued Logics. 49-58
  
• Laura Giordano:
  Defining Variants of Default Logic: a Modal Approach. 59-68
  

Expert Systems

• Li-Yen Shue, Reza Zamani:
  An Admissible Heuristic Search Algorithm. 69-75
  
• Shie-Jue Lee, Chih-Hung Wu:
  Building an Expert System Language Interpreter with the Rule Network Technique. 76-85
  
• Gabriel Valiente:
  Input-Driven Control of Rule-Based Expert Systems. 86-95
  
• Beatriz López, Enric Plaza:
  Case-Based Planning for Medical Diagnosis. 96-105
  
• J. P. Klut, Jan H. P. Eloff:
  MethoDex: A Methodology for Expert Systems Development. 106-115
  

Invited Talk II

• François Bry:
  Towards Intelligent Databases. 116-131
  

Logic for Artificial Intelligence II

• Lin Padgham, Bernhard Nebel:
  Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step. 132-141
  
• Helena Rasiowa, V. Wiktor Marek:
  Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). 142-151
  
• Jianhua Chen:
  The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. 152-161
  
• Patrick Lambrix, Ralph Rönnquist:
  Terminological Logic Involving Time and Evolution: A Preliminary Report. 162-171
  

Intelligent Databases

• Levent V. Orman:
  Knowledge Management by Example. 172-185
  
• Hasanat M. Dewan, Salvatore J. Stolfo:
  System Reorganization and Load Balancing of Parallel Database Rule Processing. 186-197
  
• Terry Gaasterland, Jorge Lobo:
  Using Semantic Information for Processing Negation and Disjunction in Logic Programs. 198-208
  
• Patrick Bosc, Ludovic Lietard, Olivier Pivert:
  On the Interpretation of Set-Oriented Fuzzy Quantified Queries and Their Evaluation in a Database Management System. 209-218
  

Invited Talk III

• Michael R. Lowry:
  Methodologies for Knowledge-Based Software Engineering. 219-234
  

Logic for Artificial Intelligence III

• Nicola Leone, Luigi Palopoli, Massimo Romeo:
  Updating Logic Programs. 235-244
  
• David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy:
  Expressing Program Requirements Using Refinement Lattices. 245-254
  
• Ritu Chadha, David A. Plaisted:
  Finding Logical Consequences Using Unskolemization. 255-264
  
• Arcot Rajasekar:
  Controlled Explanation Systems. 265-274
  
• Neil V. Murray, Erik Rosenthal:
  Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. 275-284
  

Approximate Reasoning

• Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani:
  New Design Concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-centered Architectures. 285-294
  
• Andrzej Skowron:
  Boolean Reasoning for Decision Rules Generation. 295-305
  
• C. W. R. Chau, Pawan Lingras, S. K. Michael Wong:
  Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions. 306-315
  
• Churn-Jung Liau, Bertrand I-Peng Lin:
  Reasoning about Higher Order Uncertainty in Possiblistic Logic. 316-325
  
• Cecylia Rauszer:
  Approximation Methods for Knowledge Representation Systems. 326-337
  

Invited Talk IV

• Lennart Ljung:
  Modelling of Industrial Systems. 338-349
  

Constraint Programming

• Jean-Francois Puget:
  On the Satisfiability of Symmetrical Constrained Satisfaction Problems. 350-361
  
• Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama:
  A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming. 362-374
  
• Pierre Berlandier:
  A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks. 375-384
  
• Manfred Meyer, Jörg P. Müller:
  Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning. 385-394
  

Learning and Adaptive Systems I

• Ibrahim F. Imam, Ryszard S. Michalski:
  Should Decision Trees be Learned from Examples of from Decision Rules? 395-404
  
• Hakim Lounis:
  Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification. 405-414
  
• Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou:
  Automatic Theorem Generation in Plane Geometry. 415-424
  
• Attilio Giordana, Lorenza Saitta, Cristina Baroglio:
  Learning Simple Recursive Theories. 425-434
  

Invited Talk V

• Luc De Raedt, Nada Lavrac:
  The Many Faces of Inductive Logic Programming. 435-449
  

Methodologies

• Michael Bateman, Sean Martin, Andrew Slade:
  CONSENSUS: A Method for the Development of Distributed Intelligent Systems. 450-465
  
• Honghua Gan:
  Script and Frame: Mixed Natural Language Understanding System with Default Theory. 466-475
  
• Marta Franová, Yves Kodratoff, Martine Gross:
  Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? 476-485
  
• Georges Grosz, Colette Rolland:
  Representing the Knowledge used during the Requirement Engineering Activity with Generic Structures. 486-495
  
• Stefano Caselli, Antonio Natali, Francesco Zanichelli:
  Development of a Programming Environment for Intelligent Robotics. 496-507
  

Knowledge Representation

• Andrea Schaerf:
  On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. 508-517
  
• Stanislaw Ambroszkiewicz:
  Mutual Knowledge. 518-527
  
• Krishnaprasad Thirunarayan:
  Expressive Extensions to Inheritance Networks. 528-537
  
• Guilherme Bittencourt:
  A Connectionist-Symbolic Cognitive Model. 538-547
  
• Mauro Di Manzo, Enrico Giunchiglia:
  Multi-Context Systems as a Tool to Model Temporal Evolution. 548-557
  

Invited Talk VI

• Erik Sandewall:
  Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. 558-570
  

Manufacturing

• Christoph Klauck, Johannes Schwagereit:
  GGD: Graph Grammar Developer for Features in CAD/CAM. 571-580
  
• Kesheng Wang:
  A Knowledge-based Approach to Group Analysis in Automated Manufacturing Systems. 581-590
  
• Bei-Tseng Bill Chu, He Du:
  CENTER: A System Architecture for Matching Design and Manufacturing. 591-600
  
• Michael W. Sobolewski:
  Knowledge-Based System Integration in a Concurrent Engineering Environment. 601-611
  

Learning and Adaptive Systems II

• Patricia Charlton:
  A Reflective Strategic Problem Solving Model. 612-621
  
• Beat Wüthrich:
  On the Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases. 622-631
  
• Robert Zembowicz, Jan M. Zytkow:
  Recognition of Functional Dependencies in Data. 632-641
  
• Roman Slowinski:
  Rough Set Learning of Preferential Attitude in Multi-Criteria Decision Making. 642-651