Algorithmic learning for knowledge-based systems: GOSLER final report
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin u.a.
Springer
1995
|
Schriftenreihe: | Lecture notes in computer science
961 : Lecture notes in artificial intelligence |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | X, 510 S. |
ISBN: | 3540602178 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV010322266 | ||
003 | DE-604 | ||
005 | 19951129 | ||
007 | t| | ||
008 | 950724s1995 gw |||| 00||| eng d | ||
016 | 7 | |a 944853366 |2 DE-101 | |
020 | |a 3540602178 |9 3-540-60217-8 | ||
035 | |a (OCoLC)32923184 | ||
035 | |a (DE-599)BVBBV010322266 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-20 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
050 | 0 | |a QA76.76.E95A47 1995 | |
082 | 0 | |a 006.3/3 |2 20 | |
082 | 0 | |a 006.3/3 20 | |
084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
084 | |a DAT 708f |2 stub | ||
084 | |a 28 |2 sdnb | ||
245 | 1 | 0 | |a Algorithmic learning for knowledge-based systems |b GOSLER final report |c Klaus P. Jantke ... (ed.) |
264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
300 | |a X, 510 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 961 : Lecture notes in artificial intelligence | |
650 | 4 | |a Algorithmes | |
650 | 7 | |a Algorithmes |2 ram | |
650 | 7 | |a Algoritmen |2 gtt | |
650 | 7 | |a Expertsystemen |2 gtt | |
650 | 7 | |a Intelligence artificielle |2 ram | |
650 | 4 | |a Systèmes experts (Informatique) | |
650 | 7 | |a Systèmes experts (informatique) |2 ram | |
650 | 7 | |a algorithme apprentissage |2 inriac | |
650 | 7 | |a fonction récursive |2 inriac | |
650 | 7 | |a inférence inductive |2 inriac | |
650 | 7 | |a langage formel |2 inriac | |
650 | 7 | |a système base connaissance |2 inriac | |
650 | 7 | |a théorie apprentissage |2 inriac | |
650 | 4 | |a Künstliche Intelligenz | |
650 | 4 | |a Expert systems (Computer science) | |
650 | 4 | |a Computer algorithms | |
650 | 0 | 7 | |a Mathematische Lerntheorie |0 (DE-588)4169103-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Maschinelles Lernen |0 (DE-588)4193754-5 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Mathematische Lerntheorie |0 (DE-588)4169103-9 |D s |
689 | 0 | 1 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Maschinelles Lernen |0 (DE-588)4193754-5 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Jantke, Klaus P. |d 1951- |e Sonstige |0 (DE-588)109775562 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 961 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 961 : Lecture | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006869519&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006869519 |
Datensatz im Suchindex
_version_ | 1820874847443484672 |
---|---|
adam_text |
TABLE
OF
CONTENTS
1
INDUCTIVE
INFERENCE
THEORY
1.1
INDUCTIVE
INFERENCE
OF
RECURSIVE
FUNCTIONS
ROLF
WIEHAGEN
AND
THOMAS
ZEUGMANN
.
1
LEARNING
AND
CONSISTENCY
RUSIQS
FREIVALDS,
EFIM
B.
KINBER
AND
ROLF
WIEHAGEN
.
25
ERROR
DETECTING
IN
INDUCTIVE
INFERENCE
RUSIGS
FREIVALDS,
EFIM
B.
KINBER
AND
ROLF
WIEHAGEN
.
49
LEARNING
FROM
GOOD
EXAMPLES
ROBERT
DALEY
AND
BALA
KALYANASUNDARAM
.
63
TOWARDS
REDUCTION
ARGUMENTS
FOR
FINITE
LEARNING
JOHN
CASE,
MANDAYAM
SURAJ
AND
SANJAY
JAIN
.
76
NOT-SO-NEARLY-MINIMAL-SIZE
PROGRAM
INFERENCE
ANDRIS
AMBAINIS
.
96
OPTIMIZATION
PROBLEM
IN
INDUCTIVE
INFERENCE
SANJAY
JAIN
AND
ARUN
SHARMA
.
108
ON
IDENTIFICATION
BY
TEAMS
AND
PROBABILISTIC
MACHINES
KALVIS
APSLTIS
.
146
TOPOLOGICAL
CONSIDERATIONS
IN
COMPOSING
TEAMS
OF
LEARNING
MACHINES
RUSIGS
FREIVALDS,
EFIM
B.
KINBER
AND
CARL
H.
SMITH
.
155
PROBABILISTIC
VERSUS
DETERMINISTIC
MEMORY
LIMITED
LEARNING
WILLIAM
I.
GASARCH,
MARK
G.
PLESZKOCH
AND
MAHENDRAN
VELAUTHAPILLAI
.
162
CLASSIFICATION
USING
INFORMATION
1.2
INDUCTIVE
INFERENCE
OF
FORMAL
LANGUAGES
ROLF
WIEHAGEN,
CARL
H.
SMITH
AND
THOMAS
ZEUGMANN
.
174
CLASSIFYING
RECURSIVE
PREDICATES
AND
LANGUAGES
THOMAS
ZEUGMANN
AND
STEFFEN
LANGE
.
190
A
GUIDED
TOUR
ACROSS
THE
BOUNDARIES
OF
LEARNING
RECURSIVE
LANGUAGES
TAKESHI
SHINOHARA
AND
SETSUO
ARIKAWA
.
259
PATTERN
INFERENCE
X
PHIL
WATSON
.
292
INDUCTIVE
LEARNING
OF
RECURRENCE
TERM
LANGUAGES
FROM
POSITIVE
DATA
YUJI
TAKADA
.
316
LEARNING
FORMAL
LANGUAGES
BASED
ON
CONTROL
SETS
2
INDUCTIVE
INFERENCE
FOR
ARTIFICIAL
INTELLIGENCE
2.1
THEORETICAL
APPROACHES
CHRISTOPH
GLOBIG
AND
STEFAN
WESS
.
340
LEARNING
IN
CASE-BASED
CLASSIFICATION
ALGORITHMS
CHRISTIAN
POSTHOFF
AND
MICHAEL
SCHLOSSER
.
363
OPTIMAL
STRATEGIES
-
LEARNING
FROM
EXAMPLES
-
BOOLEAN
EQUATIONS
GERHARD
MEHLSAM,
HERMANN
KAINDL
AND
WILHELM
BARTH
.
391
FEATURE
CONSTRUCTION
DURING
TREE
LEARNING
ANDREAS
ALBRECHT
.
404
ON
LOWER
BOUNDS
FOR
THE
DEPTH
OF
THRESHOLD
CIRCUITS
WITH
WEIGHTS
FROM
{-1,0,+1}
EBERHARD
PIPPIG
.417
STRUCTURING
NEURAL
NETWORKS
AND
PAC-LEAMING
ULF
GOLDAMMER
.435
INDUCTIVE
SYNTHESIS
OF
REWRITE
PROGRAMS
2.2
SYSTEMS
GUNTER
GRIESER
.
467
TJFS
-
A
TERM
REWRITING
LABORATORY
(NOT
ONLY)
FOR
EXPERIMENTS
IN
AUTOMATIC
PROGRAM
SYNTHESIS
HANS-RAINER
BEICK
AND
VENTSISLAV
STANKOV
.
482
GOSLERP
-
A
LOGIC
PROGRAMMING
TOOL
FOR
INDUCTIVE
INFERENCE
AUTOR
INDEX
.
511 |
any_adam_object | 1 |
author_GND | (DE-588)109775562 |
building | Verbundindex |
bvnumber | BV010322266 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.76.E95A47 1995 |
callnumber-search | QA76.76.E95A47 1995 |
callnumber-sort | QA 276.76 E95 A47 41995 |
callnumber-subject | QA - Mathematics |
classification_rvk | ST 300 |
classification_tum | DAT 708f |
ctrlnum | (OCoLC)32923184 (DE-599)BVBBV010322266 |
dewey-full | 006.3/3 006.3/320 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 006 - Special computer methods |
dewey-raw | 006.3/3 006.3/3 20 |
dewey-search | 006.3/3 006.3/3 20 |
dewey-sort | 16.3 13 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
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">BV010322266</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951129</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950724s1995 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944853366</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540602178</subfield><subfield code="9">3-540-60217-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32923184</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010322266</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.E95A47 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 708f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmic learning for knowledge-based systems</subfield><subfield code="b">GOSLER final report</subfield><subfield code="c">Klaus P. Jantke ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 510 S.</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">961 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithmes</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithmes</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algoritmen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Expertsystemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes experts (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes experts (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme apprentissage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fonction récursive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">inférence inductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système base connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie apprentissage</subfield><subfield code="2">inriac</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">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Lerntheorie</subfield><subfield code="0">(DE-588)4169103-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Maschinelles Lernen</subfield><subfield code="0">(DE-588)4193754-5</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">Mathematische Lerntheorie</subfield><subfield code="0">(DE-588)4169103-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</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">Maschinelles Lernen</subfield><subfield code="0">(DE-588)4193754-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jantke, Klaus P.</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)109775562</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">961 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">961 : Lecture</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=006869519&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006869519</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV010322266 |
illustrated | Not Illustrated |
indexdate | 2025-01-10T15:06:14Z |
institution | BVB |
isbn | 3540602178 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006869519 |
oclc_num | 32923184 |
open_access_boolean | |
owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
physical | X, 510 S. |
publishDate | 1995 |
publishDateSearch | 1995 |
publishDateSort | 1995 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Algorithmic learning for knowledge-based systems GOSLER final report Klaus P. Jantke ... (ed.) Berlin u.a. Springer 1995 X, 510 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 961 : Lecture notes in artificial intelligence Algorithmes Algorithmes ram Algoritmen gtt Expertsystemen gtt Intelligence artificielle ram Systèmes experts (Informatique) Systèmes experts (informatique) ram algorithme apprentissage inriac fonction récursive inriac inférence inductive inriac langage formel inriac système base connaissance inriac théorie apprentissage inriac Künstliche Intelligenz Expert systems (Computer science) Computer algorithms Mathematische Lerntheorie (DE-588)4169103-9 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf Maschinelles Lernen (DE-588)4193754-5 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematische Lerntheorie (DE-588)4169103-9 s Wissensbasiertes System (DE-588)4197554-6 s DE-604 Maschinelles Lernen (DE-588)4193754-5 s Jantke, Klaus P. 1951- Sonstige (DE-588)109775562 oth Lecture notes in computer science 961 : Lecture notes in artificial intelligence (DE-604)BV000000607 961 : Lecture DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006869519&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Algorithmic learning for knowledge-based systems GOSLER final report Lecture notes in computer science Algorithmes Algorithmes ram Algoritmen gtt Expertsystemen gtt Intelligence artificielle ram Systèmes experts (Informatique) Systèmes experts (informatique) ram algorithme apprentissage inriac fonction récursive inriac inférence inductive inriac langage formel inriac système base connaissance inriac théorie apprentissage inriac Künstliche Intelligenz Expert systems (Computer science) Computer algorithms Mathematische Lerntheorie (DE-588)4169103-9 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Maschinelles Lernen (DE-588)4193754-5 gnd |
subject_GND | (DE-588)4169103-9 (DE-588)4197554-6 (DE-588)4193754-5 (DE-588)4143413-4 |
title | Algorithmic learning for knowledge-based systems GOSLER final report |
title_auth | Algorithmic learning for knowledge-based systems GOSLER final report |
title_exact_search | Algorithmic learning for knowledge-based systems GOSLER final report |
title_full | Algorithmic learning for knowledge-based systems GOSLER final report Klaus P. Jantke ... (ed.) |
title_fullStr | Algorithmic learning for knowledge-based systems GOSLER final report Klaus P. Jantke ... (ed.) |
title_full_unstemmed | Algorithmic learning for knowledge-based systems GOSLER final report Klaus P. Jantke ... (ed.) |
title_short | Algorithmic learning for knowledge-based systems |
title_sort | algorithmic learning for knowledge based systems gosler final report |
title_sub | GOSLER final report |
topic | Algorithmes Algorithmes ram Algoritmen gtt Expertsystemen gtt Intelligence artificielle ram Systèmes experts (Informatique) Systèmes experts (informatique) ram algorithme apprentissage inriac fonction récursive inriac inférence inductive inriac langage formel inriac système base connaissance inriac théorie apprentissage inriac Künstliche Intelligenz Expert systems (Computer science) Computer algorithms Mathematische Lerntheorie (DE-588)4169103-9 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Maschinelles Lernen (DE-588)4193754-5 gnd |
topic_facet | Algorithmes Algoritmen Expertsystemen Intelligence artificielle Systèmes experts (Informatique) Systèmes experts (informatique) algorithme apprentissage fonction récursive inférence inductive langage formel système base connaissance théorie apprentissage Künstliche Intelligenz Expert systems (Computer science) Computer algorithms Mathematische Lerntheorie Wissensbasiertes System Maschinelles Lernen Aufsatzsammlung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006869519&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT jantkeklausp algorithmiclearningforknowledgebasedsystemsgoslerfinalreport |