Abe J.M., da Silva Filho J.I. (eds.) Advances in Logic, Artificial Intelligence and Robotics, LAPTEC 2002

IOS Press, 2002. — 286 p.This book contains approved and invited papers of the 3rd Congress of Logic Applied to Technology – LAPTEC 2002, held in Sao Paulo, Brazil, from November 11 to 13, 2002. Logic (Classical and Non-Classical) is being increasingly connected with almost every scientific discipline and human activity. In this volume we have emphasized its role in Artificial Intelligence, Robotics, Informatics in general, Technology, and correlated themes.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
Arbitrariness: Putting Computer Creativity to Work in Aesthetic Domains
An Overview of Fuzzy Numbers and Fuzzy Arithmetic
Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System
Meme-Gene Coevolution and Cognitive Mathematics
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
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
Data Mining in Large Base using Rough Set Techniques7
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.