Proceedings of the Fourth International Workshop on Inductive Logic Programming: September 12 - 14, 1994, Bad Honnef/Bonn, Germany
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Sankt Augustin
GMD
1994
|
| Series: | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien
237 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 403 S. graph. Darst. |
| ISBN: | 3884572377 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009825028 | ||
| 003 | DE-604 | ||
| 005 | 19950913 | ||
| 007 | t | ||
| 008 | 940912s1994 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 942087895 |2 DE-101 | |
| 020 | |a 3884572377 |9 3-88457-237-7 | ||
| 035 | |a (OCoLC)246449368 | ||
| 035 | |a (DE-599)BVBBV009825028 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-739 |a DE-29T |a DE-703 |a DE-91 |a DE-91G |a DE-210 |a DE-634 |a DE-525 | ||
| 084 | |a SI 213 |0 (DE-625)143105: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 706d |2 stub | ||
| 111 | 2 | |a ILP |n 4 |d 1994 |c Honnef |j Verfasser |0 (DE-588)2139722-3 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Fourth International Workshop on Inductive Logic Programming |b September 12 - 14, 1994, Bad Honnef/Bonn, Germany |c (ILP-94). Gesellschaft für Mathematik und Datenverarbeitung mbH. Stefan Wrobel (Ed.) |
| 264 | 1 | |a Sankt Augustin |b GMD |c 1994 | |
| 300 | |a XII, 403 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |v 237 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Induktive Logik |0 (DE-588)4161594-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Honnef |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Induktive Logik |0 (DE-588)4161594-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wrobel, Stefan |e Sonstige |4 oth | |
| 830 | 0 | |a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |v 237 |w (DE-604)BV035611570 |9 237 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006504574&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006504574 | ||
Record in the Search Index
| _version_ | 1804124179676528640 |
|---|---|
| adam_text | Contents
Abstract
ł
Foreword
ii
Conference Organization
iii
Ordering Information
iv
Program Schedule
viii
I Invited Talks
The Art of ILP Applications
A , Morik
3
ILP: An Alternative View
L. Saitta
5
Inductive Reasoning
P.
Vitányi
7
II Papers
Learning Clauses by Tracing Derivations
F. Bergadano, D. Gunetti
11
Specialization of Logic Programs by Pruning SLD-Trees
H.
Boström,
P.
Idestam-Ålmquist
31
vi ILP-94
First-order jk-clausal Theories
are PAC-Learnable (Abstract)
L. De Raedt,
S. Džeroski
49
Inductive Learning of Characteristic Concept Descriptions
W. Emdt
51
Inductive Logic Programming and Philosophy of Science
P.
Flach 71
Inductive Metalogic Programming
A. Hamfelt, J.F.
Nilsson
85
An Efficient Subsumption Algorithm for Inductive Logic Programming
J.-U. Kietz, M.
Lübbe 97
GRDT: Enhancing Model-Based Learning for Its Application in Robot Naviga¬
tion
V. Klingspor
107
MILP-a stochastic approach to Inductive Logic Programming
M. Kovačič
123
A Learnability Model for Universal Representations
S.
Mugghi
on, D. Page
139
Self-Saturation of Definite Clauses
S. Mugghton, D. Page
161
Effective Algorithmic Debugging for Inductive Logic Programming
J. Paakki, T.
Gyimóthy,
T.
Horváth
175
Induction of Maximally General Clauses Consistent with Integrity Constraints
M. S e
bag,
C. R
ou
veiről
195
Mutagenesis: ILP
experiments in a non-determinate biological domain
A. Srinivasan, S. Mugghton, R. King, M.
Sternberg
217
The Arguments of Newly Invented Predicates in ILP
I.
Stahl,
I. Weber
233
Contents
vii
A Note
on Ideal Refinement Operators in Inductive Logic Programming
P. van
der Laag,
S.
Ή.
Nienhuys-Cheng 247
III
Posters
Learning to Recognise Hand-printed Chinese Characters using Inductive Logic
Programming
A. Amin,
C.P. Chen,
С
Sammut, K.C. Sum
263
Learning stage transition rules with Indlog
R.
Camacho 273
Applications of a logical discovery engine
L. Dehaspe, W. Van Laer, L.
De Raedt 291
Finite Element Mesh Design: An Engineering Domain for ILP Application
B. DolŠak,
I. Bratko, A. Jezernik
305
Pruning Methods for Rule Learning Algorithms
J.
Fürnkranz 321
Relational Learning by Heuristic Evaluation of Ground Data
Z. Markov
337
ILP and Automatic Programming: Towards Three Approaches
L. Popeh nský,
P. Flener,
0.
Štěpánková
351
A Bidirectional search for clauses
E. Siou
365
Rulebase Stratification: An approach to theory restructuring
E.
Sommer 377
A three-tiered Confidence Model for Revising Logical Theories
/.
Weber, B.
Tausend 391
Author Index
403
|
| any_adam_object | 1 |
| author_corporate | ILP Honnef |
| author_corporate_role | aut |
| author_facet | ILP Honnef |
| author_sort | ILP Honnef |
| building | Verbundindex |
| bvnumber | BV009825028 |
| classification_rvk | SI 213 |
| classification_tum | DAT 706f DAT 706d |
| ctrlnum | (OCoLC)246449368 (DE-599)BVBBV009825028 |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02041nam a2200445 cb4500</leader><controlfield tag="001">BV009825028</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950913 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940912s1994 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942087895</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3884572377</subfield><subfield code="9">3-88457-237-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246449368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009825028</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 213</subfield><subfield code="0">(DE-625)143105:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ILP</subfield><subfield code="n">4</subfield><subfield code="d">1994</subfield><subfield code="c">Honnef</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2139722-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Fourth International Workshop on Inductive Logic Programming</subfield><subfield code="b">September 12 - 14, 1994, Bad Honnef/Bonn, Germany</subfield><subfield code="c">(ILP-94). Gesellschaft für Mathematik und Datenverarbeitung mbH. Stefan Wrobel (Ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="b">GMD</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 403 S.</subfield><subfield code="b">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">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">237</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Honnef</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wrobel, Stefan</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">237</subfield><subfield code="w">(DE-604)BV035611570</subfield><subfield code="9">237</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006504574&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006504574</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Honnef gnd-content |
| genre_facet | Konferenzschrift 1994 Honnef |
| id | DE-604.BV009825028 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:41:33Z |
| institution | BVB |
| institution_GND | (DE-588)2139722-3 |
| isbn | 3884572377 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006504574 |
| oclc_num | 246449368 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-29T DE-703 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-210 DE-634 DE-525 |
| owner_facet | DE-12 DE-739 DE-29T DE-703 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-210 DE-634 DE-525 |
| physical | XII, 403 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | GMD |
| record_format | marc |
| series | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |
| series2 | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien |
| spelling | ILP 4 1994 Honnef Verfasser (DE-588)2139722-3 aut Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany (ILP-94). Gesellschaft für Mathematik und Datenverarbeitung mbH. Stefan Wrobel (Ed.) Sankt Augustin GMD 1994 XII, 403 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 237 Literaturangaben Induktive Logik (DE-588)4161594-3 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Honnef gnd-content Logische Programmierung (DE-588)4195096-3 s Induktive Logik (DE-588)4161594-3 s DE-604 Wrobel, Stefan Sonstige oth Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 237 (DE-604)BV035611570 237 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006504574&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien Induktive Logik (DE-588)4161594-3 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4161594-3 (DE-588)4195096-3 (DE-588)1071861417 |
| title | Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany |
| title_auth | Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany |
| title_exact_search | Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany |
| title_full | Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany (ILP-94). Gesellschaft für Mathematik und Datenverarbeitung mbH. Stefan Wrobel (Ed.) |
| title_fullStr | Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany (ILP-94). Gesellschaft für Mathematik und Datenverarbeitung mbH. Stefan Wrobel (Ed.) |
| title_full_unstemmed | Proceedings of the Fourth International Workshop on Inductive Logic Programming September 12 - 14, 1994, Bad Honnef/Bonn, Germany (ILP-94). Gesellschaft für Mathematik und Datenverarbeitung mbH. Stefan Wrobel (Ed.) |
| title_short | Proceedings of the Fourth International Workshop on Inductive Logic Programming |
| title_sort | proceedings of the fourth international workshop on inductive logic programming september 12 14 1994 bad honnef bonn germany |
| title_sub | September 12 - 14, 1994, Bad Honnef/Bonn, Germany |
| topic | Induktive Logik (DE-588)4161594-3 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Induktive Logik Logische Programmierung Konferenzschrift 1994 Honnef |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006504574&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035611570 |
| work_keys_str_mv | AT ilphonnef proceedingsofthefourthinternationalworkshoponinductivelogicprogrammingseptember12141994badhonnefbonngermany AT wrobelstefan proceedingsofthefourthinternationalworkshoponinductivelogicprogrammingseptember12141994badhonnefbonngermany |