Advances in logic, artificial intelligence, and robotics :
[Book]
LAPTEC 2002 /
edited by Jair Minoro Abe and João Inácio da Silva Filho.
Washington, DC :
IOS Press/Ohmsha,
2002.
1 online resource (viii, 277 pages) :
illustrations
Frontiers in artificial intelligence and applications ;
v. 85
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 System.
0
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.
Advances in logic, artificial intelligence, and robotics.
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.
COM-- 004000
COM-- 005030
QA
006
.
3
22
Q334
.
C69
2002eb
TP18-532
clc
Abe, Jair Minoro.
Silva Filho, João Inácio da.
Congress of Logic Applied to Technology(3rd :2002 :, São Paulo, Brazil)