Inconsistency tolerance:
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inc...
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2004
|
Schriftenreihe: | Lecture notes in computer science
3300 |
Schlagworte: | |
Zusammenfassung: | Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field. |
Beschreibung: | 293 S. Ill., graph. Darst. |
ISBN: | 3540242600 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV019709886 | ||
003 | DE-604 | ||
005 | 20050524 | ||
007 | t| | ||
008 | 050223s2004 xx ad|| |||| 00||| eng d | ||
020 | |a 3540242600 |9 3-540-24260-0 | ||
035 | |a (OCoLC)58052462 | ||
035 | |a (DE-599)BVBBV019709886 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-739 |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
050 | 0 | |a QA76.9.L63 | |
082 | 0 | |a 620.0045 |2 22 | |
084 | |a MAT 030f |2 stub | ||
084 | |a DAT 540f |2 stub | ||
084 | |a DAT 517f |2 stub | ||
245 | 1 | 0 | |a Inconsistency tolerance |c Leopoldo Bertossi ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2004 | |
300 | |a 293 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 3300 | |
520 | 3 | |a Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field. | |
650 | 4 | |a Logique informatique | |
650 | 4 | |a Tolérance (Technologie) - Informatique | |
650 | 4 | |a Datenverarbeitung | |
650 | 4 | |a Computer logic | |
650 | 4 | |a Tolerance (Engineering) |x Data processing | |
650 | 0 | 7 | |a Datenintegration |0 (DE-588)4197730-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Informationsverarbeitung |0 (DE-588)4161678-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Abfrageverarbeitung |0 (DE-588)4378490-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Inkonsistenz |0 (DE-588)4226191-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Informationsverarbeitung |0 (DE-588)4161678-9 |D s |
689 | 0 | 1 | |a Inkonsistenz |0 (DE-588)4226191-0 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
689 | 2 | 1 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |D s |
689 | 2 | |5 DE-604 | |
689 | 3 | 0 | |a Abfrageverarbeitung |0 (DE-588)4378490-2 |D s |
689 | 3 | 1 | |a Datenintegration |0 (DE-588)4197730-0 |D s |
689 | 3 | 2 | |a Konsistenz |g Informatik |0 (DE-588)4214306-8 |D s |
689 | 3 | |5 DE-604 | |
700 | 1 | |a Bertossi, Leopoldo |e Sonstige |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 3300 |w (DE-604)BV000000607 |9 3300 | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013037274 |
Datensatz im Suchindex
_version_ | 1820874956318179328 |
---|---|
adam_text | |
any_adam_object | |
building | Verbundindex |
bvnumber | BV019709886 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.9.L63 |
callnumber-search | QA76.9.L63 |
callnumber-sort | QA 276.9 L63 |
callnumber-subject | QA - Mathematics |
classification_rvk | SS 4800 |
classification_tum | MAT 030f DAT 540f DAT 517f |
ctrlnum | (OCoLC)58052462 (DE-599)BVBBV019709886 |
dewey-full | 620.0045 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 620 - Engineering and allied operations |
dewey-raw | 620.0045 |
dewey-search | 620.0045 |
dewey-sort | 3620.0045 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Informatik Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV019709886</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050524</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050223s2004 xx ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540242600</subfield><subfield code="9">3-540-24260-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)58052462</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019709886</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.0045</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Inconsistency tolerance</subfield><subfield code="c">Leopoldo Bertossi ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">293 S.</subfield><subfield code="b">Ill., graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3300</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Tolérance (Technologie) - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Tolerance (Engineering)</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenintegration</subfield><subfield code="0">(DE-588)4197730-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parakonsistente Logik</subfield><subfield code="0">(DE-588)4226190-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationsverarbeitung</subfield><subfield code="0">(DE-588)4161678-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abfrageverarbeitung</subfield><subfield code="0">(DE-588)4378490-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inkonsistenz</subfield><subfield code="0">(DE-588)4226191-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informationsverarbeitung</subfield><subfield code="0">(DE-588)4161678-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Inkonsistenz</subfield><subfield code="0">(DE-588)4226191-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Parakonsistente Logik</subfield><subfield code="0">(DE-588)4226190-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Abfrageverarbeitung</subfield><subfield code="0">(DE-588)4378490-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Datenintegration</subfield><subfield code="0">(DE-588)4197730-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Konsistenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4214306-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bertossi, Leopoldo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3300</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3300</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013037274</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV019709886 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:07:58Z |
institution | BVB |
isbn | 3540242600 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013037274 |
oclc_num | 58052462 |
open_access_boolean | |
owner | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
physical | 293 S. Ill., graph. Darst. |
publishDate | 2004 |
publishDateSearch | 2004 |
publishDateSort | 2004 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Inconsistency tolerance Leopoldo Bertossi ... (eds.) Berlin [u.a.] Springer 2004 293 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3300 Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field. Logique informatique Tolérance (Technologie) - Informatique Datenverarbeitung Computer logic Tolerance (Engineering) Data processing Datenintegration (DE-588)4197730-0 gnd rswk-swf Konsistenz Informatik (DE-588)4214306-8 gnd rswk-swf Parakonsistente Logik (DE-588)4226190-9 gnd rswk-swf Informationsverarbeitung (DE-588)4161678-9 gnd rswk-swf Abfrageverarbeitung (DE-588)4378490-2 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf Inkonsistenz (DE-588)4226191-0 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Informationsverarbeitung (DE-588)4161678-9 s Inkonsistenz (DE-588)4226191-0 s DE-604 Parakonsistente Logik (DE-588)4226190-9 s Datenbanksystem (DE-588)4113276-2 s Konsistenz Informatik (DE-588)4214306-8 s Abfrageverarbeitung (DE-588)4378490-2 s Datenintegration (DE-588)4197730-0 s Bertossi, Leopoldo Sonstige oth Lecture notes in computer science 3300 (DE-604)BV000000607 3300 |
spellingShingle | Inconsistency tolerance Lecture notes in computer science Logique informatique Tolérance (Technologie) - Informatique Datenverarbeitung Computer logic Tolerance (Engineering) Data processing Datenintegration (DE-588)4197730-0 gnd Konsistenz Informatik (DE-588)4214306-8 gnd Parakonsistente Logik (DE-588)4226190-9 gnd Informationsverarbeitung (DE-588)4161678-9 gnd Abfrageverarbeitung (DE-588)4378490-2 gnd Datenbanksystem (DE-588)4113276-2 gnd Inkonsistenz (DE-588)4226191-0 gnd |
subject_GND | (DE-588)4197730-0 (DE-588)4214306-8 (DE-588)4226190-9 (DE-588)4161678-9 (DE-588)4378490-2 (DE-588)4113276-2 (DE-588)4226191-0 (DE-588)4143413-4 |
title | Inconsistency tolerance |
title_auth | Inconsistency tolerance |
title_exact_search | Inconsistency tolerance |
title_full | Inconsistency tolerance Leopoldo Bertossi ... (eds.) |
title_fullStr | Inconsistency tolerance Leopoldo Bertossi ... (eds.) |
title_full_unstemmed | Inconsistency tolerance Leopoldo Bertossi ... (eds.) |
title_short | Inconsistency tolerance |
title_sort | inconsistency tolerance |
topic | Logique informatique Tolérance (Technologie) - Informatique Datenverarbeitung Computer logic Tolerance (Engineering) Data processing Datenintegration (DE-588)4197730-0 gnd Konsistenz Informatik (DE-588)4214306-8 gnd Parakonsistente Logik (DE-588)4226190-9 gnd Informationsverarbeitung (DE-588)4161678-9 gnd Abfrageverarbeitung (DE-588)4378490-2 gnd Datenbanksystem (DE-588)4113276-2 gnd Inkonsistenz (DE-588)4226191-0 gnd |
topic_facet | Logique informatique Tolérance (Technologie) - Informatique Datenverarbeitung Computer logic Tolerance (Engineering) Data processing Datenintegration Konsistenz Informatik Parakonsistente Logik Informationsverarbeitung Abfrageverarbeitung Datenbanksystem Inkonsistenz Aufsatzsammlung |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT bertossileopoldo inconsistencytolerance |