Advances in logic, artificial intelligence, and robotics :
General Material Designation
[Book]
Other Title Information
LAPTEC 2002 /
First Statement of Responsibility
edited by Jair Minoro Abe and João Inácio da Silva Filho.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Washington, DC :
Name of Publisher, Distributor, etc.
IOS Press/Ohmsha,
Date of Publication, Distribution, etc.
2002.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (viii, 277 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Frontiers in artificial intelligence and applications ;
Volume Designation
v. 85
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
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.
0
SUMMARY OR ABSTRACT
Text of Note
Logic (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.
OTHER EDITION IN ANOTHER MEDIUM
Title
Advances in logic, artificial intelligence, and robotics.
TOPICAL NAME USED AS SUBJECT
Artificial intelligence, Congresses.
Logic, Symbolic and mathematical, Congresses.
Robotics, Congresses.
Artificial intelligence.
Artificial intelligence.
COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.
COMPUTERS-- Intelligence (AI) & Semantics.
Inteligência artificial (congressos)
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Lógica simbólica (congressos)
Robótica (congressos)
Robotics.
Robotics.
(SUBJECT CATEGORY (Provisional
COM-- 004000
COM-- 005030
QA
DEWEY DECIMAL CLASSIFICATION
Number
006
.
3
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
Q334
Book number
.
C69
2002eb
OTHER CLASS NUMBERS
Class number
TP18-532
System Code
clc
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Abe, Jair Minoro.
Silva Filho, João Inácio da.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Congress of Logic Applied to Technology(3rd :2002 :, São Paulo, Brazil)