Research Papers - Probabilistic First-Order Theory Revision from Examples
Autor*in: |
Paes, Aline [verfasserIn] |
---|
Format: |
Artikel |
---|
Erschienen: |
2005 |
---|
Umfang: |
17 |
---|
Übergeordnetes Werk: |
Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 3625(2005), Seite 295-311 |
---|---|
Übergeordnetes Werk: |
volume:3625 ; year:2005 ; pages:295-311 ; extent:17 |
Katalog-ID: |
OLC1678177806 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC1678177806 | ||
003 | DE-627 | ||
005 | 20220224091804.0 | ||
007 | tu | ||
008 | 050826s2005 xx ||||| 00| ||und c | ||
028 | 5 | 2 | |a sw050826 |
035 | |a (DE-627)OLC1678177806 | ||
035 | |a (DE-599)GBVOLC1678177806 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
082 | 0 | 4 | |a 004 |a 620 |
082 | 0 | 4 | |a 620 |q AVZ |
100 | 1 | |a Paes, Aline |e verfasserin |4 aut | |
245 | 1 | 0 | |a Research Papers - Probabilistic First-Order Theory Revision from Examples |
264 | 1 | |c 2005 | |
300 | |a 17 | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
700 | 1 | |a Revoredo, Kate |4 oth | |
700 | 1 | |a Zaverucha, Gerson |4 oth | |
700 | 1 | |a Costa, Vitor Santos |4 oth | |
773 | 0 | 8 | |i Enthalten in |t Lecture notes in computer science |d Berlin, Germany : Springer, 1973 |g 3625(2005), Seite 295-311 |w (DE-627)129300152 |w (DE-600)121909-1 |w (DE-576)014492687 |x 0302-9743 |
773 | 1 | 8 | |g volume:3625 |g year:2005 |g pages:295-311 |g extent:17 |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-TEC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a SSG-OPC-BBI | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_105 | ||
912 | |a GBV_ILN_2018 | ||
951 | |a AR | ||
952 | |d 3625 |j 2005 |h 295-311 |g 17 |
author_variant |
a p ap |
---|---|
matchkey_str |
article:03029743:2005----::eerhaesrbblsifrtreterr |
hierarchy_sort_str |
2005 |
publishDate |
2005 |
allfields |
sw050826 (DE-627)OLC1678177806 (DE-599)GBVOLC1678177806 DE-627 ger DE-627 rakwb 004 620 620 AVZ Paes, Aline verfasserin aut Research Papers - Probabilistic First-Order Theory Revision from Examples 2005 17 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Revoredo, Kate oth Zaverucha, Gerson oth Costa, Vitor Santos oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 3625(2005), Seite 295-311 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:3625 year:2005 pages:295-311 extent:17 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 3625 2005 295-311 17 |
spelling |
sw050826 (DE-627)OLC1678177806 (DE-599)GBVOLC1678177806 DE-627 ger DE-627 rakwb 004 620 620 AVZ Paes, Aline verfasserin aut Research Papers - Probabilistic First-Order Theory Revision from Examples 2005 17 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Revoredo, Kate oth Zaverucha, Gerson oth Costa, Vitor Santos oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 3625(2005), Seite 295-311 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:3625 year:2005 pages:295-311 extent:17 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 3625 2005 295-311 17 |
allfields_unstemmed |
sw050826 (DE-627)OLC1678177806 (DE-599)GBVOLC1678177806 DE-627 ger DE-627 rakwb 004 620 620 AVZ Paes, Aline verfasserin aut Research Papers - Probabilistic First-Order Theory Revision from Examples 2005 17 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Revoredo, Kate oth Zaverucha, Gerson oth Costa, Vitor Santos oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 3625(2005), Seite 295-311 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:3625 year:2005 pages:295-311 extent:17 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 3625 2005 295-311 17 |
allfieldsGer |
sw050826 (DE-627)OLC1678177806 (DE-599)GBVOLC1678177806 DE-627 ger DE-627 rakwb 004 620 620 AVZ Paes, Aline verfasserin aut Research Papers - Probabilistic First-Order Theory Revision from Examples 2005 17 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Revoredo, Kate oth Zaverucha, Gerson oth Costa, Vitor Santos oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 3625(2005), Seite 295-311 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:3625 year:2005 pages:295-311 extent:17 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 3625 2005 295-311 17 |
allfieldsSound |
sw050826 (DE-627)OLC1678177806 (DE-599)GBVOLC1678177806 DE-627 ger DE-627 rakwb 004 620 620 AVZ Paes, Aline verfasserin aut Research Papers - Probabilistic First-Order Theory Revision from Examples 2005 17 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Revoredo, Kate oth Zaverucha, Gerson oth Costa, Vitor Santos oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 3625(2005), Seite 295-311 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:3625 year:2005 pages:295-311 extent:17 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 3625 2005 295-311 17 |
source |
Enthalten in Lecture notes in computer science 3625(2005), Seite 295-311 volume:3625 year:2005 pages:295-311 extent:17 |
sourceStr |
Enthalten in Lecture notes in computer science 3625(2005), Seite 295-311 volume:3625 year:2005 pages:295-311 extent:17 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
Lecture notes in computer science |
authorswithroles_txt_mv |
Paes, Aline @@aut@@ Revoredo, Kate @@oth@@ Zaverucha, Gerson @@oth@@ Costa, Vitor Santos @@oth@@ |
publishDateDaySort_date |
2005-01-01T00:00:00Z |
hierarchy_top_id |
129300152 |
dewey-sort |
14 |
id |
OLC1678177806 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1678177806</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224091804.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">050826s2005 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw050826</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1678177806</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1678177806</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Paes, Aline</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Research Papers - Probabilistic First-Order Theory Revision from Examples</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17</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">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Revoredo, Kate</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zaverucha, Gerson</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Costa, Vitor Santos</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">3625(2005), Seite 295-311</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:3625</subfield><subfield code="g">year:2005</subfield><subfield code="g">pages:295-311</subfield><subfield code="g">extent:17</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">3625</subfield><subfield code="j">2005</subfield><subfield code="h">295-311</subfield><subfield code="g">17</subfield></datafield></record></collection>
|
author |
Paes, Aline |
spellingShingle |
Paes, Aline ddc 004 ddc 620 Research Papers - Probabilistic First-Order Theory Revision from Examples |
authorStr |
Paes, Aline |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)129300152 |
format |
Article |
dewey-ones |
004 - Data processing & computer science 620 - Engineering & allied operations |
delete_txt_mv |
keep |
author_role |
aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0302-9743 |
topic_title |
004 620 620 AVZ Research Papers - Probabilistic First-Order Theory Revision from Examples |
topic |
ddc 004 ddc 620 |
topic_unstemmed |
ddc 004 ddc 620 |
topic_browse |
ddc 004 ddc 620 |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
author2_variant |
k r kr g z gz v s c vs vsc |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_parent_id |
129300152 |
dewey-tens |
000 - Computer science, knowledge & systems 620 - Engineering |
hierarchy_top_title |
Lecture notes in computer science |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 |
title |
Research Papers - Probabilistic First-Order Theory Revision from Examples |
ctrlnum |
(DE-627)OLC1678177806 (DE-599)GBVOLC1678177806 |
title_full |
Research Papers - Probabilistic First-Order Theory Revision from Examples |
author_sort |
Paes, Aline |
journal |
Lecture notes in computer science |
journalStr |
Lecture notes in computer science |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works 600 - Technology |
recordtype |
marc |
publishDateSort |
2005 |
contenttype_str_mv |
txt |
container_start_page |
295 |
author_browse |
Paes, Aline |
container_volume |
3625 |
physical |
17 |
class |
004 620 620 AVZ |
format_se |
Aufsätze |
author-letter |
Paes, Aline |
dewey-full |
004 620 |
title_sort |
research papers - probabilistic first-order theory revision from examples |
title_auth |
Research Papers - Probabilistic First-Order Theory Revision from Examples |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 |
title_short |
Research Papers - Probabilistic First-Order Theory Revision from Examples |
remote_bool |
false |
author2 |
Revoredo, Kate Zaverucha, Gerson Costa, Vitor Santos |
author2Str |
Revoredo, Kate Zaverucha, Gerson Costa, Vitor Santos |
ppnlink |
129300152 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth oth oth |
up_date |
2024-07-04T01:27:20.266Z |
_version_ |
1803609901908361216 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1678177806</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224091804.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">050826s2005 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw050826</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1678177806</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1678177806</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Paes, Aline</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Research Papers - Probabilistic First-Order Theory Revision from Examples</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17</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">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Revoredo, Kate</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zaverucha, Gerson</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Costa, Vitor Santos</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">3625(2005), Seite 295-311</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:3625</subfield><subfield code="g">year:2005</subfield><subfield code="g">pages:295-311</subfield><subfield code="g">extent:17</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">3625</subfield><subfield code="j">2005</subfield><subfield code="h">295-311</subfield><subfield code="g">17</subfield></datafield></record></collection>
|
score |
7.4000654 |