Advances in logic, artificial intelligence, and robotics: LAPTEC 2002
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press/Ohmsha
2002
|
| Series: | Frontiers in artificial intelligence and applications
v. 85 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | 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 |
| Physical Description: | 1 Online-Ressource (viii, 277 p.) |
| ISBN: | 1417511400 9781417511402 1601294026 9781601294029 9781586032920 1586032925 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042967362 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151030s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 1417511400 |c electronic bk. |9 1-4175-1140-0 | ||
| 020 | |a 9781417511402 |c electronic bk. |9 978-1-4175-1140-2 | ||
| 020 | |a 1601294026 |9 1-60129-402-6 | ||
| 020 | |a 9781601294029 |9 978-1-60129-402-9 | ||
| 020 | |a 9781586032920 |9 978-1-58603-292-0 | ||
| 020 | |a 1586032925 |9 1-58603-292-5 | ||
| 020 | |a 1586032925 |9 1-58603-292-5 | ||
| 035 | |a (OCoLC)228124768 | ||
| 035 | |a (DE-599)BVBBV042967362 | ||
| 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 < 2002, São Paulo, Brazil> |e Verfasser |4 aut | |
| 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 |
| 264 | 1 | |a Amsterdam |b IOS Press/Ohmsha |c 2002 | |
| 300 | |a 1 Online-Ressource (viii, 277 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. 85 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |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 | ||
| 500 | |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 | ||
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Robotics | |
| 650 | 7 | |a COMPUTERS / Enterprise Applications / Business Intelligence Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Intelligence (AI) & Semantics |2 bisacsh | |
| 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 | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Robotics |2 fast | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 4 | |a Robotics |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Abe, Jair Minoro |e Sonstige |4 oth | |
| 700 | 1 | |a Silva Filho, João Inácio da |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110130 |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-028393230 | ||
Record in the Search Index
| _version_ | 1804175294537400320 |
|---|---|
| any_adam_object | |
| author_corporate | Congress of Logic Applied to Technology < 2002, São Paulo, Brazil> |
| author_corporate_role | aut |
| author_facet | Congress of Logic Applied to Technology < 2002, São Paulo, Brazil> |
| author_sort | Congress of Logic Applied to Technology < 2002, São Paulo, Brazil> |
| building | Verbundindex |
| bvnumber | BV042967362 |
| collection | ZDB-4-EBA ZDB-4-EBU |
| ctrlnum | (OCoLC)228124768 (DE-599)BVBBV042967362 |
| 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>03370nmm a2200649zcb4500</leader><controlfield tag="001">BV042967362</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151030s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1417511400</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4175-1140-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781417511402</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4175-1140-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601294026</subfield><subfield code="9">1-60129-402-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601294029</subfield><subfield code="9">978-1-60129-402-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586032920</subfield><subfield code="9">978-1-58603-292-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586032925</subfield><subfield code="9">1-58603-292-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586032925</subfield><subfield code="9">1-58603-292-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)228124768</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042967362</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 < 2002, São Paulo, Brazil></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, 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="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press/Ohmsha</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 277 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. 85</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">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="500" 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="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Robotics</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">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="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="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="650" ind1=" " ind2="4"><subfield code="a">Robotics</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">Abe, Jair Minoro</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Silva Filho, João Inácio da</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=110130</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-028393230</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042967362 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:14:00Z |
| institution | BVB |
| isbn | 1417511400 9781417511402 1601294026 9781601294029 9781586032920 1586032925 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028393230 |
| oclc_num | 228124768 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 277 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBU FAW_PDA_EBA FLA_PDA_EBU |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | IOS Press/Ohmsha |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Congress of Logic Applied to Technology < 2002, São Paulo, Brazil> Verfasser aut Advances in logic, artificial intelligence, and robotics LAPTEC 2002 edited by Jair Minoro Abe and João Inácio da Silva Filho Amsterdam IOS Press/Ohmsha 2002 1 Online-Ressource (viii, 277 p.) txt rdacontent c rdamedia cr rdacarrier 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 Artificial intelligence Logic, Symbolic and mathematical Robotics COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Inteligência artificial (congressos) larpcal Robótica (congressos) larpcal Lógica simbólica (congressos) larpcal Artificial intelligence fast Logic, Symbolic and mathematical fast Robotics fast Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Robotics Congresses (DE-588)1071861417 Konferenzschrift gnd-content Abe, Jair Minoro Sonstige oth Silva Filho, João Inácio da Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110130 Aggregator Volltext |
| spellingShingle | Advances in logic, artificial intelligence, and robotics LAPTEC 2002 Artificial intelligence Logic, Symbolic and mathematical Robotics COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Inteligência artificial (congressos) larpcal Robótica (congressos) larpcal Lógica simbólica (congressos) larpcal Artificial intelligence fast Logic, Symbolic and mathematical fast Robotics fast Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Robotics Congresses |
| subject_GND | (DE-588)1071861417 |
| 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 Logic, Symbolic and mathematical Robotics COMPUTERS / Enterprise Applications / Business Intelligence Tools bisacsh COMPUTERS / Intelligence (AI) & Semantics bisacsh Inteligência artificial (congressos) larpcal Robótica (congressos) larpcal Lógica simbólica (congressos) larpcal Artificial intelligence fast Logic, Symbolic and mathematical fast Robotics fast Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Robotics Congresses |
| topic_facet | Artificial intelligence Logic, Symbolic and mathematical Robotics COMPUTERS / Enterprise Applications / Business Intelligence Tools COMPUTERS / Intelligence (AI) & Semantics Inteligência artificial (congressos) Robótica (congressos) Lógica simbólica (congressos) Künstliche Intelligenz Artificial intelligence Congresses Logic, Symbolic and mathematical Congresses Robotics Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=110130 |
| work_keys_str_mv | AT congressoflogicappliedtotechnology2002saopaulobrazil advancesinlogicartificialintelligenceandroboticslaptec2002 AT abejairminoro advancesinlogicartificialintelligenceandroboticslaptec2002 AT silvafilhojoaoinacioda advancesinlogicartificialintelligenceandroboticslaptec2002 |