Advances in logic based intelligent systems: selected papers of LAPTEC 2005
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
IOS Press
c2005
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications
v. 132 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references and index 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 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. |
| Beschreibung: | 1 Online-Ressource (xi, 289 p.) |
| ISBN: | 9781607501466 1607501465 1423799267 9781423799269 1601291264 9781601291264 1586035681 9781586035686 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042961975 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151030s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 9781607501466 |9 978-1-60750-146-6 | ||
| 020 | |a 1607501465 |9 1-60750-146-5 | ||
| 020 | |a 1423799267 |c electronic bk. |9 1-4237-9926-7 | ||
| 020 | |a 9781423799269 |c electronic bk. |9 978-1-4237-9926-9 | ||
| 020 | |a 1601291264 |9 1-60129-126-4 | ||
| 020 | |a 9781601291264 |9 978-1-60129-126-4 | ||
| 020 | |a 1586035681 |9 1-58603-568-1 | ||
| 020 | |a 9781586035686 |9 978-1-58603-568-6 | ||
| 035 | |a (OCoLC)491257093 | ||
| 035 | |a (DE-599)BVBBV042961975 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 110 | 2 | |a Congress of Logic Applied to Technology < 2005, Himegi, Japan> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Advances in logic based intelligent systems |b selected papers of LAPTEC 2005 |c edited by Kazumi Nakamatsu and Jair Minoro Abe |
| 246 | 1 | 3 | |a LAPTEC 2005 |
| 264 | 1 | |a Amsterdam |b IOS Press |c c2005 | |
| 300 | |a 1 Online-Ressource (xi, 289 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications |v v. 132 | |
| 500 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a 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 | ||
| 500 | |a 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. | ||
| 650 | 4 | |a Intelligence artificielle / Congrès | |
| 650 | 4 | |a Logique symbolique et mathématique / Congrès | |
| 650 | 7 | |a COMPUTERS / Enterprise Applications / Business Intelligence Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Intelligence (AI) & Semantics |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Nakamatsu, Kazumi |e Sonstige |4 oth | |
| 700 | 1 | |a Abe, Jair Minoro |e Sonstige |4 oth | |
| 710 | 2 | |a IOS Press |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=163997 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA |a ZDB-4-EBU | ||
| 940 | 1 | |q FAW_PDA_EBA | |
| 940 | 1 | |q FLA_PDA_EBU | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028387841 | ||
Datensatz im Suchindex
| _version_ | 1804175284190052352 |
|---|---|
| any_adam_object | |
| author_corporate | Congress of Logic Applied to Technology < 2005, Himegi, Japan> |
| author_corporate_role | aut |
| author_facet | Congress of Logic Applied to Technology < 2005, Himegi, Japan> |
| author_sort | Congress of Logic Applied to Technology < 2005, Himegi, Japan> |
| building | Verbundindex |
| bvnumber | BV042961975 |
| collection | ZDB-4-EBA ZDB-4-EBU |
| ctrlnum | (OCoLC)491257093 (DE-599)BVBBV042961975 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03474nmm a2200625zcb4500</leader><controlfield tag="001">BV042961975</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151030s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607501466</subfield><subfield code="9">978-1-60750-146-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607501465</subfield><subfield code="9">1-60750-146-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423799267</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4237-9926-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423799269</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4237-9926-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601291264</subfield><subfield code="9">1-60129-126-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601291264</subfield><subfield code="9">978-1-60129-126-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586035681</subfield><subfield code="9">1-58603-568-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586035686</subfield><subfield code="9">978-1-58603-568-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)491257093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042961975</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Congress of Logic Applied to Technology < 2005, Himegi, Japan></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in logic based intelligent systems</subfield><subfield code="b">selected papers of LAPTEC 2005</subfield><subfield code="c">edited by Kazumi Nakamatsu and Jair Minoro Abe</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">LAPTEC 2005</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">c2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 289 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">v. 132</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Enterprise Applications / Business Intelligence Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Intelligence (AI) & Semantics</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nakamatsu, Kazumi</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abe, Jair Minoro</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IOS Press</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=163997</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield><subfield code="a">ZDB-4-EBU</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_EBA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_EBU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028387841</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042961975 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:13:50Z |
| institution | BVB |
| isbn | 9781607501466 1607501465 1423799267 9781423799269 1601291264 9781601291264 1586035681 9781586035686 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028387841 |
| oclc_num | 491257093 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xi, 289 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBU FAW_PDA_EBA FLA_PDA_EBU |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Congress of Logic Applied to Technology < 2005, Himegi, Japan> Verfasser aut Advances in logic based intelligent systems selected papers of LAPTEC 2005 edited by Kazumi Nakamatsu and Jair Minoro Abe LAPTEC 2005 Amsterdam IOS Press c2005 1 Online-Ressource (xi, 289 p.) txt rdacontent c rdamedia cr rdacarrier Frontiers in artificial intelligence and applications v. 132 Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references and index 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 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. Intelligence artificielle / Congrès Logique symbolique et mathématique / Congrès COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Artificial intelligence fast Logic, Symbolic and mathematical fast Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses (DE-588)1071861417 Konferenzschrift gnd-content Nakamatsu, Kazumi Sonstige oth Abe, Jair Minoro Sonstige oth IOS Press Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=163997 Aggregator Volltext |
| spellingShingle | Advances in logic based intelligent systems selected papers of LAPTEC 2005 Intelligence artificielle / Congrès Logique symbolique et mathématique / Congrès COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Artificial intelligence fast Logic, Symbolic and mathematical fast Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Advances in logic based intelligent systems selected papers of LAPTEC 2005 |
| title_alt | LAPTEC 2005 |
| title_auth | Advances in logic based intelligent systems selected papers of LAPTEC 2005 |
| title_exact_search | Advances in logic based intelligent systems selected papers of LAPTEC 2005 |
| title_full | Advances in logic based intelligent systems selected papers of LAPTEC 2005 edited by Kazumi Nakamatsu and Jair Minoro Abe |
| title_fullStr | Advances in logic based intelligent systems selected papers of LAPTEC 2005 edited by Kazumi Nakamatsu and Jair Minoro Abe |
| title_full_unstemmed | Advances in logic based intelligent systems selected papers of LAPTEC 2005 edited by Kazumi Nakamatsu and Jair Minoro Abe |
| title_short | Advances in logic based intelligent systems |
| title_sort | advances in logic based intelligent systems selected papers of laptec 2005 |
| title_sub | selected papers of LAPTEC 2005 |
| topic | Intelligence artificielle / Congrès Logique symbolique et mathématique / Congrès COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Artificial intelligence fast Logic, Symbolic and mathematical fast Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses |
| topic_facet | Intelligence artificielle / Congrès Logique symbolique et mathématique / Congrès COMPUTERS / Enterprise Applications / Business Intelligence Tools COMPUTERS / Intelligence (AI) & Semantics Artificial intelligence Logic, Symbolic and mathematical Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=163997 |
| work_keys_str_mv | AT congressoflogicappliedtotechnology2005himegijapan advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT nakamatsukazumi advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT abejairminoro advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT iospress advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT congressoflogicappliedtotechnology2005himegijapan laptec2005 AT nakamatsukazumi laptec2005 AT abejairminoro laptec2005 AT iospress laptec2005 |