04407nam 22006974a 450 991044982400332120200520144314.01-280-50573-797866105057391-4175-1140-0600-00-0334-X1-60129-402-6(CKB)1000000000243894(EBL)267472(OCoLC)228124768(SSID)ssj0000098880(PQKBManifestationID)11124779(PQKBTitleCode)TC0000098880(PQKBWorkID)10155528(PQKB)11051863(MiAaPQ)EBC267472(Au-PeEL)EBL267472(CaPaEBR)ebr10116456(CaONFJC)MIL50573(EXLCZ)99100000000024389420020829d2002 uy 0engur|n|---|||||txtccrAdvances in logic, artificial intelligence, and robotics[electronic resource] LAPTEC 2002 /edited by Jair Minoro Abe and João Inácio da Silva FilhoAmsterdam ;Washington, DC IOS Press/Ohmsha20021 online resource (286 p.)Frontiers in artificial intelligence and applications ;v. 85Description based upon print version of record.1-58603-292-5 Includes bibliographical references and index.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 SystemMeme-Gene Coevolution and Cognitive MathematicsNeuronal 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 SetsParaconsistent Knowledge for Misspelling Noise Reduction in DocumentsAutomata 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 SystemsLTLAS: a Language Based on Temporal Logic for Agents Systems SpecificationFuzzy Identification of a pH Neutralization Process; A Fuzzy Reed-Frost Model for Epidemic Spreading; Invited Talks - Abstracts; Author IndexLogic (both classical and non-classical) is being increasingly related with other fields in almost every scientific discipline and human activity. This work covers its role in artificial intelligence, robotics, informatics, technology, and correlated themes.Frontiers in artificial intelligence and applications ;v. 85.Artificial intelligenceCongressesLogic, Symbolic and mathematicalCongressesRoboticsCongressesElectronic books.Artificial intelligenceLogic, Symbolic and mathematicalRobotics006.3Abe Jair Minoro739806Silva Filho João Inácio da879444MiAaPQMiAaPQMiAaPQBOOK9910449824003321Advances in logic, artificial intelligence, and robotics1963706UNINA