Advances in the design of symbolic computation systems

Table of Contents: “…. -- Equational specifications: design, implementation, and reasoning. -- On the algebraic specification of classes and inheritance in object-oriented programming. -- On subtyping in languages for symbolic computation systems. -- Enhanced strict inheritance in TASSO-L. -- Reasoning capabilities. -- Deduction and abduction using a sequent calculus. -- A sequent calculus machine for symbolic computation systems. -- Automated deduction by connection method in an object-oriented environment. -- A general reasoning apparatus for intelligent tutoring systems in mathematics.…”

Fuzzy logic implementation and applications

Table of Contents: “…Fuzzy sets in approximate reasoning: A personal view -- Fuzzy logic control: Fuzzy logic control: A systematic design and performance assessment methodology -- On the compatibility of fuzzy control and conventional control techniques -- On the crisp-type fuzzy controller: Behaviour analysis and improvement -- Fuzzy logic hardware implementations: Design considerations of digital fuzzy logic controllers -- Parallel algorithm for fuzzy logic controller -- Fuzzy flip-flop -- Design automation of fuzzy logic circuits -- Hybrid systems and applications: Neuro-fuzzy systems: Hybrid configurations -- A fuzzy logic approach to handwriting recognition…”

Data fusion support to activity-based intelligence by Antony, Richard T.

Integrated network management V integrated management in a virtual world : proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management, San Diego, C...

Table of Contents: “…Calo -- 1. Multi-level reasoning for managing distributed enterprises and their networks / J. …”