7. ISMIS 1993: Trondheim, Norway

Henryk Jan Komorowski, Zbigniew W. Ras (Eds.): Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings. Lecture Notes in Computer Science 689 Springer 1993, ISBN 3-540-56804-2 BibTeX

@proceedings{DBLP:conf/ismis/1993,
  editor    = {Henryk Jan Komorowski and
               Zbigniew W. Ras},
  title     = {Methodologies for Intelligent Systems, 7th International Symposium,
               ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings},
  booktitle = {ISMIS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {689},
  year      = {1993},
  isbn      = {3-540-56804-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk I

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

Logic for Artificial Intelligence I

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

Expert Systems

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

Invited Talk II

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

Logic for Artificial Intelligence II

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

Intelligent Databases

Levent V. Orman: Knowledge Management by Example. 172-185 BibTeX
Hasanat M. Dewan, Salvatore J. Stolfo: System Reorganization and Load Balancing of Parallel Database Rule Processing. 186-197 BibTeX
Terry Gaasterland, Jorge Lobo: Using Semantic Information for Processing Negation and Disjunction in Logic Programs. 198-208 BibTeX
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 BibTeX

Invited Talk III

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

Logic for Artificial Intelligence III

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

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 BibTeX
Andrzej Skowron: Boolean Reasoning for Decision Rules Generation. 295-305 BibTeX
C. W. R. Chau, Pawan Lingras, S. K. Michael Wong: Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions. 306-315 BibTeX
Churn-Jung Liau, Bertrand I-Peng Lin: Reasoning about Higher Order Uncertainty in Possiblistic Logic. 316-325 BibTeX
Cecylia Rauszer: Approximation Methods for Knowledge Representation Systems. 326-337 BibTeX

Invited Talk IV

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

Constraint Programming

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

Learning and Adaptive Systems I

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

Invited Talk V

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

Methodologies

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

Knowledge Representation

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

Invited Talk VI

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

Manufacturing

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

Learning and Adaptive Systems II

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