Advances in logic based intelligent systems :: selected papers of LAPTEC 2005 /
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...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, DC :
IOS Press,
©2005.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 132. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (xi, 289 pages) : illustrations |
| Format: | 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. |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781607501466 1607501465 1423799267 9781423799269 1601291264 9781601291264 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn491257093 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 091221s2005 ne a ob 101 0 eng d | ||
| 040 | |a IOSPR |b eng |e pn |c IOSPR |d IOSPR |d N$T |d YDXCP |d OCLCE |d OCLCQ |d IDEBK |d NRU |d OCLCQ |d DEBSZ |d OCLCF |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d EBLCP |d OCLCQ |d AGLDB |d MERUC |d OCLCQ |d VTS |d OCLCQ |d STF |d OCLCQ |d M8D |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 71302346 |a 191037905 |a 607635667 |a 607693630 |a 971589251 |a 978052076 |a 987690439 |a 992582043 |a 1047921952 |a 1112226521 |a 1113927539 |a 1119149700 |a 1157023091 |a 1157565796 |a 1178685740 | ||
| 020 | |a 9781607501466 | ||
| 020 | |a 1607501465 | ||
| 020 | |a 1423799267 |q (electronic bk.) | ||
| 020 | |a 9781423799269 |q (electronic bk.) | ||
| 020 | |a 1601291264 | ||
| 020 | |a 9781601291264 | ||
| 020 | |z 1586035681 | ||
| 020 | |z 9781586035686 | ||
| 035 | |a (OCoLC)491257093 |z (OCoLC)71302346 |z (OCoLC)191037905 |z (OCoLC)607635667 |z (OCoLC)607693630 |z (OCoLC)971589251 |z (OCoLC)978052076 |z (OCoLC)987690439 |z (OCoLC)992582043 |z (OCoLC)1047921952 |z (OCoLC)1112226521 |z (OCoLC)1113927539 |z (OCoLC)1119149700 |z (OCoLC)1157023091 |z (OCoLC)1157565796 |z (OCoLC)1178685740 | ||
| 037 | |a 978-1-58603-568-6 |b IOS Press |n http://www.iospress.nl | ||
| 042 | |a dlr | ||
| 050 | 4 | |a Q334 |b .C69 2005 | |
| 072 | 7 | |a COM |x COM004000 |2 bisacsh | |
| 082 | 7 | |a 006.3 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a Congress of Logic Applied to Technology |n (5th : |d 2005 : |c Himegi, Japan) | |
| 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 | 3 | |a LAPTEC 2005 | |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press, |c ©2005. | ||
| 300 | |a 1 online resource (xi, 289 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 132 | |
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |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. | ||
| 505 | 0 | |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. | |
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |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. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 6 | |a Intelligence artificielle |v Congrès. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Enterprise Applications |x Business Intelligence Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Intelligence (AI) & Semantics. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Nakamatsu, Kazumi. | |
| 700 | 1 | |a Abe, Jair Minoro. | |
| 710 | 2 | |a IOS Press. |0 http://id.loc.gov/authorities/names/no2015091156 | |
| 758 | |i has work: |a Advances in logic based intelligent systems (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3879PDgQRQD3RgJjTm9Qq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan). |t Advances in logic based intelligent systems. |d Amsterdam ; Washington, DC : IOS Press, ©2005 |z 1586035681 |z 9781586035686 |w (DLC) 2005935645 |w (OCoLC)64549115 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 132. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=163997 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL265965 | ||
| 938 | |a EBSCOhost |b EBSC |n 163997 | ||
| 938 | |a YBP Library Services |b YANK |n 2470352 | ||
| 938 | |a YBP Library Services |b YANK |n 3207163 | ||
| 938 | |a YBP Library Services |b YANK |n 2628203 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn491257093 |
|---|---|
| _version_ | 1816881702021103616 |
| adam_text | |
| any_adam_object | |
| author2 | Nakamatsu, Kazumi Abe, Jair Minoro |
| author2_role | |
| author2_variant | k n kn j m a jm jma |
| author_corporate | Congress of Logic Applied to Technology Himegi, Japan IOS Press |
| author_corporate_role | |
| author_facet | Nakamatsu, Kazumi Abe, Jair Minoro Congress of Logic Applied to Technology Himegi, Japan IOS Press |
| author_sort | Congress of Logic Applied to Technology Himegi, Japan |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 .C69 2005 |
| callnumber-search | Q334 .C69 2005 |
| callnumber-sort | Q 3334 C69 42005 |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)491257093 |
| 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 Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05213cam a2200769 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn491257093</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">091221s2005 ne a ob 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">IOSPR</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">IOSPR</subfield><subfield code="d">IOSPR</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">NRU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">71302346</subfield><subfield code="a">191037905</subfield><subfield code="a">607635667</subfield><subfield code="a">607693630</subfield><subfield code="a">971589251</subfield><subfield code="a">978052076</subfield><subfield code="a">987690439</subfield><subfield code="a">992582043</subfield><subfield code="a">1047921952</subfield><subfield code="a">1112226521</subfield><subfield code="a">1113927539</subfield><subfield code="a">1119149700</subfield><subfield code="a">1157023091</subfield><subfield code="a">1157565796</subfield><subfield code="a">1178685740</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607501466</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607501465</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423799267</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423799269</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601291264</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601291264</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586035681</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586035686</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)491257093</subfield><subfield code="z">(OCoLC)71302346</subfield><subfield code="z">(OCoLC)191037905</subfield><subfield code="z">(OCoLC)607635667</subfield><subfield code="z">(OCoLC)607693630</subfield><subfield code="z">(OCoLC)971589251</subfield><subfield code="z">(OCoLC)978052076</subfield><subfield code="z">(OCoLC)987690439</subfield><subfield code="z">(OCoLC)992582043</subfield><subfield code="z">(OCoLC)1047921952</subfield><subfield code="z">(OCoLC)1112226521</subfield><subfield code="z">(OCoLC)1113927539</subfield><subfield code="z">(OCoLC)1119149700</subfield><subfield code="z">(OCoLC)1157023091</subfield><subfield code="z">(OCoLC)1157565796</subfield><subfield code="z">(OCoLC)1178685740</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-58603-568-6</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q334</subfield><subfield code="b">.C69 2005</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Congress of Logic Applied to Technology</subfield><subfield code="n">(5th :</subfield><subfield code="d">2005 :</subfield><subfield code="c">Himegi, Japan)</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="3" ind2=" "><subfield code="a">LAPTEC 2005</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2005.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 289 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 132</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="520" 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="505" ind1="0" 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="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[Place of publication not identified] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" 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><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Intelligence artificielle</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Enterprise Applications</subfield><subfield code="x">Business Intelligence Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">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="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nakamatsu, Kazumi.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abe, Jair Minoro.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IOS Press.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2015091156</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Advances in logic based intelligent systems (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PD3879PDgQRQD3RgJjTm9Qq</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan).</subfield><subfield code="t">Advances in logic based intelligent systems.</subfield><subfield code="d">Amsterdam ; Washington, DC : IOS Press, ©2005</subfield><subfield code="z">1586035681</subfield><subfield code="z">9781586035686</subfield><subfield code="w">(DLC) 2005935645</subfield><subfield code="w">(OCoLC)64549115</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 132.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=163997</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL265965</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">163997</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2470352</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3207163</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2628203</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn491257093 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:55Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/no2015091156 |
| isbn | 9781607501466 1607501465 1423799267 9781423799269 1601291264 9781601291264 |
| language | English |
| oclc_num | 491257093 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xi, 289 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | IOS Press, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in artificial intelligence and applications ; |
| spelling | Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan) Advances in logic based intelligent systems : selected papers of LAPTEC 2005 / edited by Kazumi Nakamatsu and Jair Minoro Abe. LAPTEC 2005 Amsterdam ; Washington, DC : IOS Press, ©2005. 1 online resource (xi, 289 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Frontiers in artificial intelligence and applications ; v. 132 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. Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL 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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. 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 Conference papers and proceedings fast Nakamatsu, Kazumi. Abe, Jair Minoro. IOS Press. http://id.loc.gov/authorities/names/no2015091156 has work: Advances in logic based intelligent systems (Text) https://id.oclc.org/worldcat/entity/E39PD3879PDgQRQD3RgJjTm9Qq https://id.oclc.org/worldcat/ontology/hasWork Print version: Congress of Logic Applied to Technology (5th : 2005 : Himegi, Japan). Advances in logic based intelligent systems. Amsterdam ; Washington, DC : IOS Press, ©2005 1586035681 9781586035686 (DLC) 2005935645 (OCoLC)64549115 Frontiers in artificial intelligence and applications ; v. 132. http://id.loc.gov/authorities/names/n92019289 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=163997 Volltext |
| spellingShingle | Advances in logic based intelligent systems : selected papers of LAPTEC 2005 / Frontiers in artificial intelligence and applications ; 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. Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. 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 |
| 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 | Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. 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 |
| topic_facet | Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. 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 Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=163997 |
| work_keys_str_mv | AT congressoflogicappliedtotechnologyhimegijapan advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT nakamatsukazumi advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT abejairminoro advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT iospress advancesinlogicbasedintelligentsystemsselectedpapersoflaptec2005 AT congressoflogicappliedtotechnologyhimegijapan laptec2005 AT nakamatsukazumi laptec2005 AT abejairminoro laptec2005 AT iospress laptec2005 |