Advances in logic, artificial intelligence, and robotics :: LAPTEC 2002 /
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.
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, DC :
IOS Press/Ohmsha,
2002.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 85. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (viii, 277 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 1417511400 9781417511402 1601294026 9781601294029 9781586032920 1586032925 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn228124768 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 020829s2002 ne a ob 101 0 eng | ||
| 010 | |z 2002112411 | ||
| 040 | |a Nz |b eng |e pn |c UV0 |d OCLCQ |d N$T |d YDXCP |d CAI |d IDEBK |d OCLCQ |d DKDLA |d MERUC |d CCO |d E7B |d OCLCQ |d MHW |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d OCLCO |d SLY |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d EBLCP |d OCLCQ |d AZK |d AGLDB |d MOR |d PIFBR |d ZCU |d OCLCQ |d JBG |d OCLCQ |d U3W |d BRL |d STF |d WRM |d VTS |d ICG |d INT |d VT2 |d OCLCQ |d A6Q |d OCLCQ |d G3B |d DKC |d AU@ |d OCLCQ |d OCL |d OCLCQ |d K6U |d OCL |d UKCRE |d OCLCQ |d OCLCO |d OCLCQ |d INARC |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 56044284 |a 191037933 |a 276799392 |a 473747670 |a 475303580 |a 559967258 |a 647478604 |a 666964162 |a 722445031 |a 728039641 |a 880331079 |a 888542367 |a 961541882 |a 962672593 |a 988415812 |a 992072922 |a 1037445694 |a 1038579873 |a 1045526235 |a 1055355093 |a 1076300916 |a 1081217517 |a 1153494689 |a 1228557939 |a 1330337291 | ||
| 020 | |a 1417511400 |q (electronic bk.) | ||
| 020 | |a 9781417511402 |q (electronic bk.) | ||
| 020 | |a 1601294026 | ||
| 020 | |a 9781601294029 | ||
| 020 | |a 9781586032920 | ||
| 020 | |a 1586032925 | ||
| 020 | |z 1586032925 | ||
| 035 | |a (OCoLC)228124768 |z (OCoLC)56044284 |z (OCoLC)191037933 |z (OCoLC)276799392 |z (OCoLC)473747670 |z (OCoLC)475303580 |z (OCoLC)559967258 |z (OCoLC)647478604 |z (OCoLC)666964162 |z (OCoLC)722445031 |z (OCoLC)728039641 |z (OCoLC)880331079 |z (OCoLC)888542367 |z (OCoLC)961541882 |z (OCoLC)962672593 |z (OCoLC)988415812 |z (OCoLC)992072922 |z (OCoLC)1037445694 |z (OCoLC)1038579873 |z (OCoLC)1045526235 |z (OCoLC)1055355093 |z (OCoLC)1076300916 |z (OCoLC)1081217517 |z (OCoLC)1153494689 |z (OCoLC)1228557939 |z (OCoLC)1330337291 | ||
| 050 | 4 | |a Q334 |b .C69 2002eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a COM |x 005030 |2 bisacsh | |
| 072 | 7 | |a COM |x 004000 |2 bisacsh | |
| 082 | 7 | |a 006.3 |2 22 | |
| 084 | |a TP18-532 |2 clc | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a Congress of Logic Applied to Technology |n (3rd : |d 2002 : |c São Paulo, Brazil) | |
| 245 | 1 | 0 | |a Advances in logic, artificial intelligence, and robotics : |b LAPTEC 2002 / |c edited by Jair Minoro Abe and João Inácio da Silva Filho. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press/Ohmsha, |c 2002. | ||
| 300 | |a 1 online resource (viii, 277 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 | ||
| 347 | |a data file | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 85 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Robotics |v Congresses. | |
| 650 | 6 | |a Intelligence artificielle |v Congrès. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 6 | |a Robotique |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 | 0 | 7 | |a Artificial intelligence. |2 cct |
| 650 | 0 | 7 | |a Logic, Symbolic and mathematical. |2 cct |
| 650 | 0 | 7 | |a Robotics. |2 cct |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Robotics |2 fast | |
| 650 | 7 | |a Inteligência artificial (congressos) |2 larpcal | |
| 650 | 7 | |a Robótica (congressos) |2 larpcal | |
| 650 | 7 | |a Lógica simbólica (congressos) |2 larpcal | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Abe, Jair Minoro. | |
| 700 | 1 | |a Silva Filho, João Inácio da. | |
| 776 | 0 | 8 | |i Print version: |a Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil). |t Advances in logic, artificial intelligence, and robotics. |d Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002 |w (DLC) 2002112411 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 85. |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=110130 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL267472 | ||
| 938 | |a EBSCOhost |b EBSC |n 110130 | ||
| 938 | |a YBP Library Services |b YANK |n 2628474 | ||
| 938 | |a Internet Archive |b INAR |n advancesinlogica0000cong | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn228124768 |
|---|---|
| _version_ | 1816881666025586688 |
| adam_text | |
| any_adam_object | |
| author2 | Abe, Jair Minoro Silva Filho, João Inácio da |
| author2_role | |
| author2_variant | j m a jm jma f j i d s fjid fjids |
| author_corporate | Congress of Logic Applied to Technology São Paulo, Brazil |
| author_corporate_role | |
| author_facet | Abe, Jair Minoro Silva Filho, João Inácio da Congress of Logic Applied to Technology São Paulo, Brazil |
| author_sort | Congress of Logic Applied to Technology São Paulo, Brazil |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 .C69 2002eb |
| callnumber-search | Q334 .C69 2002eb |
| callnumber-sort | Q 3334 C69 42002EB |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)228124768 |
| 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>05236cam a2200817 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn228124768</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">020829s2002 ne a ob 101 0 eng </controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2002112411</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">Nz</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">UV0</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">CAI</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKDLA</subfield><subfield code="d">MERUC</subfield><subfield code="d">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">SLY</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">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">BRL</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">A6Q</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">G3B</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCL</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">56044284</subfield><subfield code="a">191037933</subfield><subfield code="a">276799392</subfield><subfield code="a">473747670</subfield><subfield code="a">475303580</subfield><subfield code="a">559967258</subfield><subfield code="a">647478604</subfield><subfield code="a">666964162</subfield><subfield code="a">722445031</subfield><subfield code="a">728039641</subfield><subfield code="a">880331079</subfield><subfield code="a">888542367</subfield><subfield code="a">961541882</subfield><subfield code="a">962672593</subfield><subfield code="a">988415812</subfield><subfield code="a">992072922</subfield><subfield code="a">1037445694</subfield><subfield code="a">1038579873</subfield><subfield code="a">1045526235</subfield><subfield code="a">1055355093</subfield><subfield code="a">1076300916</subfield><subfield code="a">1081217517</subfield><subfield code="a">1153494689</subfield><subfield code="a">1228557939</subfield><subfield code="a">1330337291</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1417511400</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781417511402</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601294026</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601294029</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586032920</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586032925</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586032925</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)228124768</subfield><subfield code="z">(OCoLC)56044284</subfield><subfield code="z">(OCoLC)191037933</subfield><subfield code="z">(OCoLC)276799392</subfield><subfield code="z">(OCoLC)473747670</subfield><subfield code="z">(OCoLC)475303580</subfield><subfield code="z">(OCoLC)559967258</subfield><subfield code="z">(OCoLC)647478604</subfield><subfield code="z">(OCoLC)666964162</subfield><subfield code="z">(OCoLC)722445031</subfield><subfield code="z">(OCoLC)728039641</subfield><subfield code="z">(OCoLC)880331079</subfield><subfield code="z">(OCoLC)888542367</subfield><subfield code="z">(OCoLC)961541882</subfield><subfield code="z">(OCoLC)962672593</subfield><subfield code="z">(OCoLC)988415812</subfield><subfield code="z">(OCoLC)992072922</subfield><subfield code="z">(OCoLC)1037445694</subfield><subfield code="z">(OCoLC)1038579873</subfield><subfield code="z">(OCoLC)1045526235</subfield><subfield code="z">(OCoLC)1055355093</subfield><subfield code="z">(OCoLC)1076300916</subfield><subfield code="z">(OCoLC)1081217517</subfield><subfield code="z">(OCoLC)1153494689</subfield><subfield code="z">(OCoLC)1228557939</subfield><subfield code="z">(OCoLC)1330337291</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q334</subfield><subfield code="b">.C69 2002eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">QA</subfield><subfield code="2">lcco</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">005030</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">004000</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="084" ind1=" " ind2=" "><subfield code="a">TP18-532</subfield><subfield code="2">clc</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">(3rd :</subfield><subfield code="d">2002 :</subfield><subfield code="c">São Paulo, Brazil)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in logic, artificial intelligence, and robotics :</subfield><subfield code="b">LAPTEC 2002 /</subfield><subfield code="c">edited by Jair Minoro Abe and João Inácio da Silva Filho.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press/Ohmsha,</subfield><subfield code="c">2002.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 277 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="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 85</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</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="0"><subfield code="a">Robotics</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="6"><subfield code="a">Robotique</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="0" ind2="7"><subfield code="a">Artificial intelligence.</subfield><subfield code="2">cct</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="2">cct</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Robotics.</subfield><subfield code="2">cct</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="7"><subfield code="a">Robotics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligência artificial (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Robótica (congressos)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica simbólica (congressos)</subfield><subfield code="2">larpcal</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">Abe, Jair Minoro.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Silva Filho, João Inácio da.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil).</subfield><subfield code="t">Advances in logic, artificial intelligence, and robotics.</subfield><subfield code="d">Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002</subfield><subfield code="w">(DLC) 2002112411</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 85.</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=110130</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL267472</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">110130</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2628474</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">advancesinlogica0000cong</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-ocn228124768 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:20Z |
| institution | BVB |
| isbn | 1417511400 9781417511402 1601294026 9781601294029 9781586032920 1586032925 |
| language | English |
| oclc_num | 228124768 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 277 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | IOS Press/Ohmsha, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in artificial intelligence and applications ; |
| spelling | Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil) Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / edited by Jair Minoro Abe and João Inácio da Silva Filho. Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002. 1 online resource (viii, 277 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Frontiers in artificial intelligence and applications ; v. 85 Includes bibliographical references and index. 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. 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. Print version record. Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. Robotics Congresses. Intelligence artificielle Congrès. Logique symbolique et mathématique Congrès. Robotique Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Artificial intelligence. cct Logic, Symbolic and mathematical. cct Robotics. cct Artificial intelligence fast Logic, Symbolic and mathematical fast Robotics fast Inteligência artificial (congressos) larpcal Robótica (congressos) larpcal Lógica simbólica (congressos) larpcal Conference papers and proceedings fast Abe, Jair Minoro. Silva Filho, João Inácio da. Print version: Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil). Advances in logic, artificial intelligence, and robotics. Amsterdam ; Washington, DC : IOS Press/Ohmsha, 2002 (DLC) 2002112411 Frontiers in artificial intelligence and applications ; v. 85. 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=110130 Volltext |
| spellingShingle | Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / Frontiers in artificial intelligence and applications ; 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. Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. Robotics Congresses. Intelligence artificielle Congrès. Logique symbolique et mathématique Congrès. Robotique Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Artificial intelligence. cct Logic, Symbolic and mathematical. cct Robotics. cct Artificial intelligence fast Logic, Symbolic and mathematical fast Robotics fast Inteligência artificial (congressos) larpcal Robótica (congressos) larpcal Lógica simbólica (congressos) larpcal |
| title | Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / |
| title_auth | Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / |
| title_exact_search | Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / |
| title_full | Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / edited by Jair Minoro Abe and João Inácio da Silva Filho. |
| title_fullStr | Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / edited by Jair Minoro Abe and João Inácio da Silva Filho. |
| title_full_unstemmed | Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / edited by Jair Minoro Abe and João Inácio da Silva Filho. |
| title_short | Advances in logic, artificial intelligence, and robotics : |
| title_sort | advances in logic artificial intelligence and robotics laptec 2002 |
| title_sub | LAPTEC 2002 / |
| topic | Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. Robotics Congresses. Intelligence artificielle Congrès. Logique symbolique et mathématique Congrès. Robotique Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Artificial intelligence. cct Logic, Symbolic and mathematical. cct Robotics. cct Artificial intelligence fast Logic, Symbolic and mathematical fast Robotics fast Inteligência artificial (congressos) larpcal Robótica (congressos) larpcal Lógica simbólica (congressos) larpcal |
| topic_facet | Artificial intelligence Congresses. Logic, Symbolic and mathematical Congresses. Robotics Congresses. Intelligence artificielle Congrès. Logique symbolique et mathématique Congrès. Robotique Congrès. COMPUTERS Enterprise Applications Business Intelligence Tools. COMPUTERS Intelligence (AI) & Semantics. Artificial intelligence. Logic, Symbolic and mathematical. Robotics. Artificial intelligence Logic, Symbolic and mathematical Robotics Inteligência artificial (congressos) Robótica (congressos) Lógica simbólica (congressos) Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=110130 |
| work_keys_str_mv | AT congressoflogicappliedtotechnologysaopaulobrazil advancesinlogicartificialintelligenceandroboticslaptec2002 AT abejairminoro advancesinlogicartificialintelligenceandroboticslaptec2002 AT silvafilhojoaoinacioda advancesinlogicartificialintelligenceandroboticslaptec2002 |