| Document Type
|
:
|
BL
|
| Record Number
|
:
|
965806
|
| Doc. No
|
:
|
b720176
|
| Main Entry
|
:
|
Congress of Logic Applied to Technology(3rd :2002 :, São Paulo, Brazil)
|
| Title & Author
|
:
|
Advances in logic, artificial intelligence, and robotics : : LAPTEC 2002 /\ edited by Jair Minoro Abe and João Inácio da Silva Filho.
|
| Publication Statement
|
:
|
Amsterdam ;Washington, DC :: IOS Press/Ohmsha,, 2002.
|
| Series Statement
|
:
|
Frontiers in artificial intelligence and applications ;; v. 85
|
| Page. NO
|
:
|
1 online resource (viii, 277 pages) :: illustrations
|
| ISBN
|
:
|
1417511400
|
|
|
:
|
: 1586032925
|
|
|
:
|
: 1601294026
|
|
|
:
|
: 9781417511402
|
|
|
:
|
: 9781586032920
|
|
|
:
|
: 9781601294029
|
|
|
:
|
1586032925
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Artificial intelligence, Congresses.
|
| Subject
|
:
|
Logic, Symbolic and mathematical, Congresses.
|
| Subject
|
:
|
Robotics, Congresses.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.
|
| Subject
|
:
|
COMPUTERS-- Intelligence (AI) Semantics.
|
| Subject
|
:
|
Inteligência artificial (congressos)
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Lógica simbólica (congressos)
|
| Subject
|
:
|
Robótica (congressos)
|
| Subject
|
:
|
Robotics.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Robotics.
|
| Dewey Classification
|
:
|
006.3
|
| LC Classification
|
:
|
Q334.C69 2002eb
|
| NLM classification
|
:
|
TP18-532clc
|
| Added Entry
|
:
|
Abe, Jair Minoro.
|
|
|
:
|
Silva Filho, João Inácio da.
|