標(biāo)題: Titlebook: Logic Program Synthesis and Transformation - Meta-Programming in Logic; 4th International Wo Laurent Fribourg,Franco Turini Conference proc [打印本頁(yè)] 作者: 延展 時(shí)間: 2025-3-21 16:26
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic影響因子(影響力)
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic影響因子(影響力)學(xué)科排名
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic網(wǎng)絡(luò)公開度
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic被引頻次
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic被引頻次學(xué)科排名
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic年度引用
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic年度引用學(xué)科排名
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic讀者反饋
書目名稱Logic Program Synthesis and Transformation - Meta-Programming in Logic讀者反饋學(xué)科排名
作者: Ophthalmoscope 時(shí)間: 2025-3-21 23:18 作者: 背帶 時(shí)間: 2025-3-22 00:43 作者: 仇恨 時(shí)間: 2025-3-22 05:44 作者: Indurate 時(shí)間: 2025-3-22 08:59
https://doi.org/10.1007/3-540-58792-6Debugging; Inductive Logic Programming; Induktives Logisches Programmieren; Meta-Programmieren; Meta-Pro作者: 擁擠前 時(shí)間: 2025-3-22 14:04 作者: 細(xì)胞學(xué) 時(shí)間: 2025-3-22 18:21 作者: Conspiracy 時(shí)間: 2025-3-23 00:39 作者: palpitate 時(shí)間: 2025-3-23 02:12 作者: SPURN 時(shí)間: 2025-3-23 09:01
N. Bensaou,I. Guessarian Figuren, Handlungselemente und der spezifisch K?stnersche Erz?hlton als Bausteine der Erinnerung an die eigene Kindheit oder als aktuelle Lektüreerfahrung pr?sent und bilden so im unüberschaubaren kulturellen Code zitier- und gemeinschaftsf?hige Fixpunkte. Mit seinem kinderliterarischen Werk hat Er作者: inhibit 時(shí)間: 2025-3-23 11:44
Dmitri Boulanger,Maurice Bruynooghe Figuren, Handlungselemente und der spezifisch K?stnersche Erz?hlton als Bausteine der Erinnerung an die eigene Kindheit oder als aktuelle Lektüreerfahrung pr?sent und bilden so im unüberschaubaren kulturellen Code zitier- und gemeinschaftsf?hige Fixpunkte. Mit seinem kinderliterarischen Werk hat Er作者: Electrolysis 時(shí)間: 2025-3-23 15:44
J. Cook,J. P. Gallagher Figuren, Handlungselemente und der spezifisch K?stnersche Erz?hlton als Bausteine der Erinnerung an die eigene Kindheit oder als aktuelle Lektüreerfahrung pr?sent und bilden so im unüberschaubaren kulturellen Code zitier- und gemeinschaftsf?hige Fixpunkte. Mit seinem kinderliterarischen Werk hat Er作者: Dedication 時(shí)間: 2025-3-23 20:29 作者: CUMB 時(shí)間: 2025-3-23 23:06
David Gilbert,Christopher Hogger,Jirí Zlatuskauar 1999 Vertreter aus acht L?ndern teilnahmen. Wie sich zeigte, ist im Bereich der Geisteswissenschaften eine klare Grenzziehung zwischen diesen Orientierungen schwierig. Wie Jean Webb (University College Worcester, GB) feststellte, finden im Rahmen der Kinder- und Jugendliteraturforschung so unter作者: 煉油廠 時(shí)間: 2025-3-24 05:33
Kung-Kiu Lau,Mario Ornaghioder freie Dichtung?“ — so oder ?hnlich lauteten bis vor nicht allzu langer Zeit die Alternativen, zwischen denen ein jeder glaubte w?hlen zu müssen, der sich auf diesem kulturellen Feld — theoretisch oder praktisch — engagieren wollte. Ein letztes Mal flackerte diese vermeintliche Schlüssel-, ja, m作者: 無(wú)動(dòng)于衷 時(shí)間: 2025-3-24 10:29 作者: PUT 時(shí)間: 2025-3-24 10:55 作者: 說(shuō)笑 時(shí)間: 2025-3-24 18:50 作者: 雜役 時(shí)間: 2025-3-24 19:02
Chiaki Sakama,Hirohisa Sekin) Rezeptions- oder Leserforschung (?Wer sind die Leser eines Textes?“) oder (?Wie wird der Leser einem Text eingeschrieben?“) auf das der Erz?hl- oder Kommunikationsforschung bzw. der Wirkungs?sthetik. Als prominenteste, zum Teil konkurrierende Modelle für die Analyse von Leserentwürfeh w?ren dieje作者: Awning 時(shí)間: 2025-3-25 02:53
Giovanni Semeraro,Floriana Esposito,Donato Malerba,Clifford Brunk,Michael Pazzanin) Rezeptions- oder Leserforschung (?Wer sind die Leser eines Textes?“) oder (?Wie wird der Leser einem Text eingeschrieben?“) auf das der Erz?hl- oder Kommunikationsforschung bzw. der Wirkungs?sthetik. Als prominenteste, zum Teil konkurrierende Modelle für die Analyse von Leserentwürfeh w?ren dieje作者: confide 時(shí)間: 2025-3-25 05:58 作者: 溫順 時(shí)間: 2025-3-25 08:50
Paul Tarau,Veronica Dahl Wolgast, der — zun?chst jedenfalls — bekanntlich die gesamte fiktionale Jugendliteratur als ‘Afterliteratur’ kennzeichnete und gegen die ‘Kunstliteratur’ abgrenzte. Insofern liegt allerdings ein Bezug zu Wolgast vor, als auch für ihn (als Volksschullehrer in einer Gro?stadt war das seinerzeit nahel作者: 任意 時(shí)間: 2025-3-25 13:04
Geraint A. Wiggins Wolgast, der — zun?chst jedenfalls — bekanntlich die gesamte fiktionale Jugendliteratur als ‘Afterliteratur’ kennzeichnete und gegen die ‘Kunstliteratur’ abgrenzte. Insofern liegt allerdings ein Bezug zu Wolgast vor, als auch für ihn (als Volksschullehrer in einer Gro?stadt war das seinerzeit nahel作者: 令人心醉 時(shí)間: 2025-3-25 16:35 作者: Hyperplasia 時(shí)間: 2025-3-25 21:54
Marion Mirchevaturgeschichtsschreibung leistet dabei auf drei Weisen einen Beitrag zur Herstellung der (kollektiven) Identit?t: (1) Sie tr?gt durch Selektion und Hervorhebung zur Kanonisierung ausgew?hlter Autoren und Werke bei; (2) sie grenzt die deutschsprachige Literatur von der nicht deutschen Literatur ab und作者: 的是兄弟 時(shí)間: 2025-3-26 03:00 作者: 下船 時(shí)間: 2025-3-26 06:30 作者: BROW 時(shí)間: 2025-3-26 10:35 作者: dilute 時(shí)間: 2025-3-26 13:56
A transformation system for definite programs based on termination analysis,l replacement rule together with a multi-step unfolding rule forms a powerful and elegant transformation system for definite programs. It also sheds new light on the relationship between folding and goal replacement, and between different folding rules. Our explicit termination condition contrasts w作者: erythema 時(shí)間: 2025-3-26 20:28 作者: Fabric 時(shí)間: 2025-3-26 21:18
,Partial evaluation of the “real thing”,cts and the operational predicate if-then-else. We outline a denotational semantics for this subset of Prolog and show how partial deduction can be extended to specialise programs of this kind. We point out some of the problems not occurring in partial deduction and show how they can be solved in ou作者: ACE-inhibitor 時(shí)間: 2025-3-27 04:14
Schema-based top-down design of logic programs using abstract data types,ain components to this approach: top-down design, program schemata and ADTs, all of which are already well established notions. Our aim is to combine these ideas in a framework, amenable to support by design tools and allowing the use of existing logic program transformation techniques to optimise t作者: 骯臟 時(shí)間: 2025-3-27 08:28
Generalizing extended execution for normal programs,y means of replacement, simplification and rewriting. This work can be seen as a generalization of . [16] which is in turn an extension of the prolog interpreter. We show the soundness of our generalization and discuss its completeness. Two extensive examples are given. We conclude on the relevance 作者: Abbreviate 時(shí)間: 2025-3-27 10:20 作者: Hla461 時(shí)間: 2025-3-27 17:39
Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL,e their search space. However, they seldom take into account the fact that the lattice defined by Plotkin is a set of equivalence classes rather than simple clauses. This may lead to non-terminating learning processes, since the search gets stuck within an equivalence class, which contains an infini作者: noxious 時(shí)間: 2025-3-27 17:46
,Propagation of inter-argument dependencies in “Tuple-distributive” type inference systems,s, dependencies specified by head-only shared variables cannot be handled, and the inferred types are often very inaccurate. In this paper, we define an unfolding process which propagates such inter-argument dependencies: each call to a predicate that contains head-only shared variables is replaced 作者: Narrative 時(shí)間: 2025-3-28 00:28 作者: 強(qiáng)所 時(shí)間: 2025-3-28 02:47 作者: Oratory 時(shí)間: 2025-3-28 06:48
A model of costs and benefits of meta-level computation,ns. However, the question arises to what extent the cost of meta-computation offsetts the gains made by object-level savings. In this paper we discuss a set of equations that model this trade-off between object-savings and meta-costs. The model shows that there are a number of important limitations 作者: In-Situ 時(shí)間: 2025-3-28 12:59
Logic programs with tests,d Stable Model Semantics are extended to give meaning to programs with ...We consider three possible applications of such programs. It is shown how to define a particular semantics in terms of another one with the help of an appropriate transformation of normal programs into programs with tests. Our作者: paradigm 時(shí)間: 2025-3-28 15:22 作者: intricacy 時(shí)間: 2025-3-28 22:04
A transformation system for definite programs based on termination analysis,, allowing folding with recursive rules, with no distinction between . and . predicates. A proof that Seki‘s transformation system preserves recurrence, an important termination property, is outlined.作者: 革新 時(shí)間: 2025-3-29 02:27 作者: Postmenopause 時(shí)間: 2025-3-29 05:45 作者: 駁船 時(shí)間: 2025-3-29 09:35
der bürgerlichen Kleinfamilie — in einer bemerkenswert autobiographisch fundierten Zuspitzung vor allem die emotionalen Bindungskr?fte zwischen Mutter und Sohn. Vor dem literarischen Aspekt, den Familiengeschichten, soll daher zun?chst auf die Familiengeschichte eingegangen werden.作者: creditor 時(shí)間: 2025-3-29 12:09 作者: 他去就結(jié)束 時(shí)間: 2025-3-29 16:50
N. Bensaou,I. Guessariander bürgerlichen Kleinfamilie — in einer bemerkenswert autobiographisch fundierten Zuspitzung vor allem die emotionalen Bindungskr?fte zwischen Mutter und Sohn. Vor dem literarischen Aspekt, den Familiengeschichten, soll daher zun?chst auf die Familiengeschichte eingegangen werden.作者: 遺留之物 時(shí)間: 2025-3-29 22:04
Dmitri Boulanger,Maurice Bruynoogheder bürgerlichen Kleinfamilie — in einer bemerkenswert autobiographisch fundierten Zuspitzung vor allem die emotionalen Bindungskr?fte zwischen Mutter und Sohn. Vor dem literarischen Aspekt, den Familiengeschichten, soll daher zun?chst auf die Familiengeschichte eingegangen werden.作者: 小口啜飲 時(shí)間: 2025-3-30 01:33 作者: 祖?zhèn)髫?cái)產(chǎn) 時(shí)間: 2025-3-30 07:12 作者: 與野獸博斗者 時(shí)間: 2025-3-30 12:06 作者: Admonish 時(shí)間: 2025-3-30 12:34
Kung-Kiu Lau,Mario Ornaghiage eher ausgewichen sind — ob absichtlich oder unabsichtlich, sei dahingestellt. Das überraschende liegt für mich darin, da? der Kinder- und Jugendliteraturforschung dieses Ausweichen nicht nennenswert geschadet hat. Tats?chlich k?nnen Grundsatz fragen zu Floskeln erstarren, zu leeren Beschw?rungsf作者: 注射器 時(shí)間: 2025-3-30 16:33 作者: mortgage 時(shí)間: 2025-3-30 22:03 作者: Jogging 時(shí)間: 2025-3-31 00:59 作者: Cpr951 時(shí)間: 2025-3-31 08:04
Chiaki Sakama,Hirohisa Sekiiteraturgeschichtliche Forschung immer mit einer Vielzahl historischer Erscheinungsformen zu tun hat, in einer ?gewissen Opposition“ zu theoretischen Modellen; darauf weisen Cordula Kahrmann, Gunter Rei? und Manfred Schluchter hin (Kahrmann/Rei?/Schluchter 1996, 57). Ihr Fazit für die literaturgesch作者: BRINK 時(shí)間: 2025-3-31 09:55
Giovanni Semeraro,Floriana Esposito,Donato Malerba,Clifford Brunk,Michael Pazzaniiteraturgeschichtliche Forschung immer mit einer Vielzahl historischer Erscheinungsformen zu tun hat, in einer ?gewissen Opposition“ zu theoretischen Modellen; darauf weisen Cordula Kahrmann, Gunter Rei? und Manfred Schluchter hin (Kahrmann/Rei?/Schluchter 1996, 57). Ihr Fazit für die literaturgesch作者: 異教徒 時(shí)間: 2025-3-31 16:32 作者: 巧辦法 時(shí)間: 2025-3-31 18:53 作者: 工作 時(shí)間: 2025-4-1 01:01
Geraint A. Wigginskauft wurde,. und mit Blick auf die an das breite Publikum adressierte Literatur, die in Heftchenform seit ca. 1860 bei Preisen von 10 oder 25 Pfg. und in Buchform seit ca. 1870 auf dem Markt erschien.. Die Marktentwicklungen im Jugendbuchsektor, das sah Wolgast scharf, zeigen nicht nur die Herausbi作者: Morsel 時(shí)間: 2025-4-1 05:41 作者: 轉(zhuǎn)折點(diǎn) 時(shí)間: 2025-4-1 09:59
Marion Mirchevacht reflektiert. Die gesellschaftlich-soziokulturelle Entwicklung wird ausgeblendet, so dass eine empirisch nicht haltbare Autonomie vorget?uscht wird.. Wenn Kritik ge?u?ert wurde, dann bezog sie sich nicht so sehr auf die vorgenommene Auswahl und Kanonisierung bestimmter Autoren und Werke, sondern
