Methodologies for Intelligent Systems

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.