Matches in Library of Congress for { <http://lccn.loc.gov/2001095319> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2001095319 contributor B8972858.
- 2001095319 contributor B8972859.
- 2001095319 created "c2001.".
- 2001095319 date "2001".
- 2001095319 date "c2001.".
- 2001095319 dateCopyrighted "c2001.".
- 2001095319 description "Includes bibliographical references and index.".
- 2001095319 description "Machine generated contents note: Preface v --Annotated Logics Qt and Model Theory, J.M. Abe I -- The Degree of Inconsistency in Paraconsistent Logics, S. Akama and J.M. Abe 13 -- ParaFrame: A Paraconsistent Frame System, B.C. Avila and F. Hembecker 23 -- Some Model Theory of Ordered Structures and Undefinability Results, -- R. Bianconi 31 -- Evolutionary Approach to Design of Artificial Neural Networks, -- L.M. Lima de Campos, M. Roisenberg and G.A. Lima de Campos 35 -- Fuzzy Conceptual Graphs for the Semantic Web, T.H. Cao 43 -- Logic and Valuations, N.C.A. da Costa 52 -- Emmy: A Paraconsistent Autonomous Mobile Robot, J.I. da Silva Filho -- and J.M. Abe 53 -- A Treatment of Limit Figures of Quadratic Transformations as One-way Functions in Authentication for Pictures or Documents of Digital Contents, T. Da-te, -- T. Yoshikawa, H. Shioya and H. Noanaka 62 -- Toward a Domain-Theoretic Modelling of Measuring Processes, G.P. Dimuro and A. C. da Rocha Costa 68 -- Logic of Incursive Synchronization Applied to the Anticipation of a Chaotic Epidemic, D.M. Dubois 76 -- Rules from Supervised Neural Networks in Data Mining Tasks, N.F.F. Ebecken and E.R. Hruschka 84 -- Applications of Product Boolean Algebras in Cluster Analysis, C.G. Gonzalez and E.C. Maia 101 -- On Finite BCK with Condition (S), K. Iseki 109 -- Some Fundamental Theorems on BCK, K. Iseki 123 -- Note on the Structure of Weak Interlaced Bilattice K(L), M. Kondo 129 -- Decision-Making System based on Fuzzy and Paraconsistent Logics, G. Lambert-Torres, C.I. de Almeida Costa and H. Gonzaga 135 -- A Polysynthetic Theory of Sets, E.G.K. Ldpez-Escobar 147 -- Reasons and Ways to Cope with a Spectrum of Logics, A. Martini, U. Wolter and E.H. Haeusler 148 -- The Logic of Medical Diagnosis, E. Massad and N.R.S. Ortega 156 -- Representation of Incompleteness and Inconsistency in Possible-Worlds Semantics, T. Murai, G. Resconi and Y. Sato 166 -- Applications of EVALP Based Reasoning, K. Nakamatsu, J.M. Abe and A. Suzuki 174 -- Logic - A Key of New Information Technology, S. Ohsuga 186 -- Non Local Computation by Semantic Field (Semantic Web), G. Resconi and T. Murai 200 -- Ehrenfeucht Theorem for the Annotated Logics Qt, A. Scalzitti and J.M. Abe 208 -- A Formalization for Signal Analysis of Information in Annotated Paraconsistent ogics, A. Scalzitti, J.I. da Silva Filho and J.M. Abe 215 Rule and Agent Oriented Software Architecture for Controlling Automated Manufacturing Systems, J.M. Simao, P.R.O. da Silva, P.C. Stadzisz and L.A. Kiinzle -- What Can Be Inferred Without Embracive World-Knowledge, P. Smrz -- Semantic Computation by Humans, Computers and Robots, P. Suppes -- A New Approach to Type-2 Fuzzy Sets, H. Thiele -- A Concurrent Algorithm for Logical Subsumption, I. Tonin and G. Bittencourt -- On Interpolation and Modularity for Ultrafilter Logic, P.A.S. Veloso -- On a Logical Framework for 'Generally', S.R.M. Veloso and P.A.S. Veloso --Author Index.".
- 2001095319 extent "x, 287 p. :".
- 2001095319 identifier "1586032062 (IOS Press)".
- 2001095319 identifier 2001095319.html.
- 2001095319 isPartOf "Frontiers in artificial intelligence and applications, 0922-6389 ; v. 71".
- 2001095319 issued "2001".
- 2001095319 issued "c2001.".
- 2001095319 language "eng".
- 2001095319 publisher "Amsterdam ; Washington, DC : IOS Press,".
- 2001095319 subject "006.3 22".
- 2001095319 subject "Artificial intelligence Congresses.".
- 2001095319 subject "Logic, Symbolic and mathematical Congresses.".
- 2001095319 subject "Q334 .C69 2001".
- 2001095319 subject "Robotics Congresses.".
- 2001095319 tableOfContents "Machine generated contents note: Preface v --Annotated Logics Qt and Model Theory, J.M. Abe I -- The Degree of Inconsistency in Paraconsistent Logics, S. Akama and J.M. Abe 13 -- ParaFrame: A Paraconsistent Frame System, B.C. Avila and F. Hembecker 23 -- Some Model Theory of Ordered Structures and Undefinability Results, -- R. Bianconi 31 -- Evolutionary Approach to Design of Artificial Neural Networks, -- L.M. Lima de Campos, M. Roisenberg and G.A. Lima de Campos 35 -- Fuzzy Conceptual Graphs for the Semantic Web, T.H. Cao 43 -- Logic and Valuations, N.C.A. da Costa 52 -- Emmy: A Paraconsistent Autonomous Mobile Robot, J.I. da Silva Filho -- and J.M. Abe 53 -- A Treatment of Limit Figures of Quadratic Transformations as One-way Functions in Authentication for Pictures or Documents of Digital Contents, T. Da-te, -- T. Yoshikawa, H. Shioya and H. Noanaka 62 -- Toward a Domain-Theoretic Modelling of Measuring Processes, G.P. Dimuro and A. C. da Rocha Costa 68 -- Logic of Incursive Synchronization Applied to the Anticipation of a Chaotic Epidemic, D.M. Dubois 76 -- Rules from Supervised Neural Networks in Data Mining Tasks, N.F.F. Ebecken and E.R. Hruschka 84 -- Applications of Product Boolean Algebras in Cluster Analysis, C.G. Gonzalez and E.C. Maia 101 -- On Finite BCK with Condition (S), K. Iseki 109 -- Some Fundamental Theorems on BCK, K. Iseki 123 -- Note on the Structure of Weak Interlaced Bilattice K(L), M. Kondo 129 -- Decision-Making System based on Fuzzy and Paraconsistent Logics, G. Lambert-Torres, C.I. de Almeida Costa and H. Gonzaga 135 -- A Polysynthetic Theory of Sets, E.G.K. Ldpez-Escobar 147 -- Reasons and Ways to Cope with a Spectrum of Logics, A. Martini, U. Wolter and E.H. Haeusler 148 -- The Logic of Medical Diagnosis, E. Massad and N.R.S. Ortega 156 -- Representation of Incompleteness and Inconsistency in Possible-Worlds Semantics, T. Murai, G. Resconi and Y. Sato 166 -- Applications of EVALP Based Reasoning, K. Nakamatsu, J.M. Abe and A. Suzuki 174 -- Logic - A Key of New Information Technology, S. Ohsuga 186 -- Non Local Computation by Semantic Field (Semantic Web), G. Resconi and T. Murai 200 -- Ehrenfeucht Theorem for the Annotated Logics Qt, A. Scalzitti and J.M. Abe 208 -- A Formalization for Signal Analysis of Information in Annotated Paraconsistent ogics, A. Scalzitti, J.I. da Silva Filho and J.M. Abe 215 Rule and Agent Oriented Software Architecture for Controlling Automated Manufacturing Systems, J.M. Simao, P.R.O. da Silva, P.C. Stadzisz and L.A. Kiinzle -- What Can Be Inferred Without Embracive World-Knowledge, P. Smrz -- Semantic Computation by Humans, Computers and Robots, P. Suppes -- A New Approach to Type-2 Fuzzy Sets, H. Thiele -- A Concurrent Algorithm for Logical Subsumption, I. Tonin and G. Bittencourt -- On Interpolation and Modularity for Ultrafilter Logic, P.A.S. Veloso -- On a Logical Framework for 'Generally', S.R.M. Veloso and P.A.S. Veloso --Author Index.".
- 2001095319 title "Logic, artificial intelligence, and robotics : LAPTEC 2001 / edited by Jair Minoro Abe and João Inácio da Silva Filho.".
- 2001095319 type "text".