Cover -- Title page -- Contents -- Retriever Prototype of a Case Based Reasoning: A Study Case -- Dynamic Compaction Process of Metal Powder Media within Dies -- Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation -- Annotated Logic and Negation as Failure -- Multi-agent System for Distribution System Operation -- ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains -- An Overview of Fuzzy Numbers and Fuzzy Arithmetic -- The Brain and Arithmetic Calculation -- Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System -- Meme-Gene Coevolution and Cognitive Mathematics -- Neuronal Plasticity: How Memes Control Genes -- The Influence of Heterogeneity in the Control of Diseases -- Paraconsistent Logics viewed as a Foundation of Data Warehouses -- Visualization of Class Structures using Piecewise Linear Classifiers -- Design of Tree Classifiers using Interactive Data Exploration -- Clustering Based on Gap and Structure -- Tables in Relational Databases from a Point of View of Possible-Worlds-Restriction -- On Some Different Interpretations of the Generalized Modus Ponens using Type-2 Fuzzy Sets -- Paraconsistent Knowledge for Misspelling Noise Reduction in Documents -- Automata with Concurrency Relations - A Survey -- Learning with Skewed Class Distributions -- An Enlargement of Theorems for Sentential Calculus -- A Real-time Specification Language -- Defuzzification in Medical Diagonis -- Fuzzy Rules in Asymptomatic HIV Virus Infected Individuals Model -- Categorical Limits and Reuse of Algebraic Specifications -- Constructive Program Synthesis using Intuitionist Logic and Natural Deduction -- An Agent-oriented Inference Engine Applied for Supervisory Control of Automated Manufacturing Systems -- LTLAS: a Language Based on Temporal Logic for Agents Systems Specification.

Fuzzy Identification of a pH Neutralization Process -- A Fuzzy Reed-Frost Model for Epidemic Spreading -- Invited Talks - Abstracts -- Data Mining in Large Base using Rough Set Techniques -- An Automaton Model for Concurrent Processes -- It is a Fundamental Limitation to Base Probability Theory on Bivalent Logic -- Polysynthetic Class Theory for the 21st Century -- Development of a Fuzzy Genetic System for Data Classification -- Why the Problem P = NP is so Difficult -- The Importance of Evaluating Learning Algorithms during the Data Mining Process -- Author Index.