Document Type
|
:
|
BL
|
Record Number
|
:
|
1020937
|
Doc. No
|
:
|
b775307
|
Main Entry
|
:
|
Congress of Logic Applied to Technology(5th :2005 :, Himegi, Japan)
|
Title & Author
|
:
|
Advances in logic based intelligent systems : : selected papers of LAPTEC 2005 /\ edited by Kazumi Nakamatsu and Jair Minoro Abe.
|
Publication Statement
|
:
|
Amsterdam ;Washington, DC :: IOS Press,, ©2005.
|
Series Statement
|
:
|
Frontiers in artificial intelligence and applications ;; v. 132
|
Page. NO
|
:
|
1 online resource (xi, 289 pages) :: illustrations
|
ISBN
|
:
|
1423799267
|
|
:
|
: 1601291264
|
|
:
|
: 1607501465
|
|
:
|
: 9781423799269
|
|
:
|
: 9781601291264
|
|
:
|
: 9781607501466
|
|
:
|
1586035681
|
|
:
|
9781586035686
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
Contents
|
:
|
Title page; Dedication; Preface; Contents; Constructive Logic and Situation Theory; Hybrid Particle Swarm Optimizer with Mutation; An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited; Data Transformation in Modern Petrol Engine Tune-up; Testing Significance in Bayesian Classifiers; Obtaining Membership Functions from a Neuron Fuzzy System Extended by Kohonen Network; EVALPSN-Based Process Control in Brewery Plants; Decision Making Based on Paraconsistent Annotated Logic; Intelligent Safety Verification for Pipeline Based on EVALPSN.
|
Abstract
|
:
|
LAPTEC' 2005 promoted the discussion and interaction between researchers and practitioners focused on both theoretical and practical disciplines concerning logics applied to technology, with diverse backgrounds including all kinds of intelligent systems having classical or non-classical logics as underlying common matters.
|
Subject
|
:
|
Artificial intelligence, Congresses.
|
Subject
|
:
|
Logic, Symbolic and mathematical, Congresses.
|
Subject
|
:
|
Intelligence artificielle, Congrès.
|
Subject
|
:
|
Logique symbolique et mathématique, Congrès.
|
Subject
|
:
|
Artificial intelligence.
|
Subject
|
:
|
COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.
|
Subject
|
:
|
COMPUTERS-- Intelligence (AI) Semantics.
|
Subject
|
:
|
Logic, Symbolic and mathematical.
|
Dewey Classification
|
:
|
006.3
|
LC Classification
|
:
|
Q334.C69 2005
|
Added Entry
|
:
|
Abe, Jair Minoro.
|
|
:
|
Nakamatsu, Kazumi.
|
Added Entry
|
:
|
IOS Press.
|
Parallel Title
|
:
|
LAPTEC 2005
|