This volume contains papers selected for presentation at theSeventh International Symposium on Methodologies forIntelligent Systems (ISMIS '93), held at the NorwegianInstitute of Technology, Trondheim, Norway, in June 1993.

On extended disjunctive logic programs.- Model finding strategies in semantically guided instance-based theorem proving.- An expressive three-valued logic with two negations.- Compiling proof search in semantic tableaux.- Short CNF in finitely-valued logics.- Defining variants of default logic: A modal approach.- An admissible heuristic search algorithm.- Building an expert system language interpreter with the rule network technique.- Input-driven control of rule-based expert systems.- Case-based planning for medical diagnosis.- MethoDex: A methodology for Expert Systems development.- Towards intelligent databases.- Combining classification and nonmonotonic inheritance reasoning: A first step.- Mechanical proof systems for logic II, consensus programs and their processing.- The logic of only knowing as a unified framework for non-monotonic reasoning.- Terminological logic involving time and evolution: A preliminary report.- Knowledge management by example.- System reorganization and load balancing of parallel database rule processing.- Using semantic information for processing negation and disjunction in logic programs.- On the interpretation of set-oriented fuzzy quantified queries and their evaluation in a database management system.- Methodologies for knowledge-based software engineering.- Updating logic programs.- Expressing program requirements using refinement lattices.- Finding logical consequences using unskolemization.- Controlled explanation systems.- Signed formulas: A liftable meta-logic for multiple-valued logics.- New design concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-Centered architectures.- Boolean reasoning for decision rules generation.- Upper and lower entropies of belief functions using compatible probability functions.- Reasoning about higher order uncertainty in possibilistic logic.- Approximation methods for knowledge representation systems.- Modelling of industrial systems.- On the satisfiability of symmetrical constrained satisfaction problems.- A logical reconstruction of constraint relaxation hierarchies in logic programming.- A performance evaluation of backtrack-bounded search methods for N-ary constraint networks.- Finite domain consistency techniques: Their combination and application in computer-aided process planning.- Should decision trees be learned from examples or from decision rules?.- Integrating machine-learning techniques in knowledge-based systems verification.- Automatic theorem generation in plane geometry.- Learning simple recursive theories.- The many faces of inductive logic programming.- CONSENSUS: A method for the development of distributed intelligent systems.- Script and frame: Mixed natural language understanding system with default theory.- Constructive matching methodology: Formally creative or Intelligent inductive theorem proving?.- Representing the knowledge used during the Requirement engineering activity with generic structures.- Development of a programming environment for intelligent robotics.- On the complexity of the instance checking problem in concept languages with existential quantification.- Mutual knowledge.- Expressive extensions to inheritance networks.- A connectionist-symbolic cognitive model.- Multi-Context systems as a tool to model temporal evolution.- Systematic assessment of temporal reasoning methods for use in autonomous agents.- GGD: Graph Grammar Developer for features in CAD/CAM.- A knowledge-Based approach to group analysis in automated manufacturing systems.- CENTER: A system architecture for matching design and manufacturing.- Knowledge-based system integration in a concurrent engineering environment.- A reflective strategic problem solving model.- On the learning of rule uncertainties and their integration into probabilistic knowledge bases.- Recognition of functional dependencies in data.- Rough set learning of preferential attitude in multi-criteria decision making.