| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Guilherme Bittencourt.
A Connectionist-Symbolic Cognitive Model.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
 (0)
|
1993 |
|
|
Patrick Bosc, Ludovic Lietard, Olivier Pivert.
On the Interpretation of Set-Oriented Fuzzy Quantified Queries and Their Evaluation in a Database Management System.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Stanislaw Ambroszkiewicz.
Mutual Knowledge.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou.
Automatic Theorem Generation in Plane Geometry.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama.
A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
François Bry.
Towards Intelligent Databases.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Honghua Gan.
Script and Frame: Mixed Natural Language Understanding System with Default Theory.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Douglas R. Busch.
An Expressive Three-valued Logic with Two Negations.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Michael Bateman, Sean Martin, Andrew Slade.
CONSENSUS: A Method for the Development of Distributed Intelligent Systems.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Pierre Berlandier.
A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Stefano Caselli, Antonio Natali, Francesco Zanichelli.
Development of a Programming Environment for Intelligent Robotics.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Ritu Chadha, David A. Plaisted.
Finding Logical Consequences Using Unskolemization.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Patricia Charlton.
A Reflective Strategic Problem Solving Model.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Hasanat M. Dewan, Salvatore J. Stolfo.
System Reorganization and Load Balancing of Parallel Database Rule Processing.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
C. W. R. Chau, Pawan Lingras, S. K. Michael Wong.
Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Jianhua Chen.
The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Bei-Tseng Bill Chu, He Du.
CENTER: A System Architecture for Matching Design and Manufacturing.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Heng Chu, David A. Plaisted.
Model Finding Strategies in Semantically Guided Instance-based Theorem Proving.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Gabriel Valiente.
Input-Driven Control of Rule-Based Expert Systems.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Marta Franová, Yves Kodratoff, Martine Gross.
Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Terry Gaasterland, Jorge Lobo.
Using Semantic Information for Processing Negation and Disjunction in Logic Programs.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Attilio Giordana, Lorenza Saitta, Cristina Baroglio.
Learning Simple Recursive Theories.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Laura Giordano.
Defining Variants of Default Logic: a Modal Approach.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Georges Grosz, Colette Rolland.
Representing the Knowledge used during the Requirement Engineering Activity with Generic Structures.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Reiner Hähnle.
Short CNF in Finitely-Valued Logics.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Ibrahim F. Imam, Ryszard S. Michalski.
Should Decision Trees be Learned from Examples of from Decision Rules?
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Christoph Klauck, Johannes Schwagereit.
GGD: Graph Grammar Developer for Features in CAD/CAM.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
J. P. Klut, Jan H. P. Eloff.
MethoDex: A Methodology for Expert Systems Development.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Patrick Lambrix, Ralph Rönnquist.
Terminological Logic Involving Time and Evolution: A Preliminary Report.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Shie-Jue Lee, Chih-Hung Wu.
Building an Expert System Language Interpreter with the Rule Network Technique.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Nicola Leone, Luigi Palopoli, Massimo Romeo.
Updating Logic Programs.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Churn-Jung Liau, Bertrand I-Peng Lin.
Reasoning about Higher Order Uncertainty in Possiblistic Logic.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Manfred Meyer, Jörg P. Müller.
Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Lennart Ljung.
Modelling of Industrial Systems.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Beatriz López, Enric Plaza.
Case-Based Planning for Medical Diagnosis.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Hakim Lounis.
Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Jack Minker, Carolina Ruiz.
On Extended Disjunctive Logic Programs.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Michael R. Lowry.
Methodologies for Knowledge-Based Software Engineering.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Neil V. Murray, Erik Rosenthal.
Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Mauro Di Manzo, Enrico Giunchiglia.
Multi-Context Systems as a Tool to Model Temporal Evolution.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Levent V. Orman.
Knowledge Management by Example.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Lin Padgham, Bernhard Nebel.
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Erik Sandewall.
Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Andrea Schaerf.
On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Joachim Posegga.
Compiling Proof Search in Semantic Tableaux.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Jean-François Puget.
On the Satisfiability of Symmetrical Constrained Satisfaction Problems.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Li-Yen Shue, Reza Zamani.
An Admissible Heuristic Search Algorithm.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Luc De Raedt, Nada Lavrac.
The Many Faces of Inductive Logic Programming.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Arcot Rajasekar.
Controlled Explanation Systems.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Andrzej Skowron.
Boolean Reasoning for Decision Rules Generation.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Helena Rasiowa, Victor W. Marek.
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract).
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Roman Slowinski.
Rough Set Learning of Preferential Attitude in Multi-Criteria Decision Making.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Cecylia Rauszer.
Approximation Methods for Knowledge Representation Systems.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Michael W. Sobolewski.
Knowledge-Based System Integration in a Concurrent Engineering Environment.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy.
Expressing Program Requirements Using Refinement Lattices.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani.
New Design Concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-centered Architectures.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Krishnaprasad Thirunarayan.
Expressive Extensions to Inheritance Networks.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Robert Zembowicz, Jan M. Zytkow.
Recognition of Functional Dependencies in Data.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Beat Wüthrich.
On the Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
|
|
Kesheng Wang.
A Knowledge-based Approach to Group Analysis in Automated Manufacturing Systems.
|
Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings 1993 |
(0)
|
1993 |
db/conf/ismis/ismis93.html